s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

Fixed the layout issue with the top information panel in the simulator (the issue introduced in my previous commit). 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@160 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Mark Kattenbelt 20 years ago
parent
5064ae83f1
commit
e8f9369fd3
2 changed files with 264 additions and 138 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 294
      prism/src/userinterface/simulator/GUISimulator.form
  2. 108
      prism/src/userinterface/simulator/GUISimulator.java

294
prism/src/userinterface/simulator/GUISimulator.form
View File

@ -649,7 +649,6 @@
<Property name="border" type="javax.swing.border.Border" editor="org.netbeans.modules.form.editors2.BorderEditor">
<Border info="null"/>
</Property>
<Property name="dividerSize" type="int" value="5"/>
<Property name="orientation" type="int" value="0"/>
<Property name="resizeWeight" type="double" value="0.5"/>
</Properties>
@ -821,143 +820,238 @@
</Constraint>
</Constraints>
<Layout class="org.netbeans.modules.form.compat2.layouts.DesignGridLayout">
<Property name="columns" type="int" value="3"/>
<Property name="horizontalGap" type="int" value="5"/>
<Property name="rows" type="int" value="6"/>
<Property name="verticalGap" type="int" value="5"/>
<Layout class="org.netbeans.modules.form.compat2.layouts.DesignBoxLayout">
<Property name="axis" type="int" value="1"/>
</Layout>
<SubComponents>
<Component class="javax.swing.JLabel" name="modelType">
<Properties>
<Property name="text" type="java.lang.String" value="Model Type:"/>
</Properties>
<AuxValues>
<AuxValue name="JavaCodeGenerator_InitCodePost" type="java.lang.String" value="modelType.setFont(this.getFont().deriveFont(Font.BOLD));"/>
</AuxValues>
</Component>
<Component class="javax.swing.JLabel" name="pathLength">
<Properties>
<Property name="text" type="java.lang.String" value="Path Length:"/>
</Properties>
<AuxValues>
<AuxValue name="JavaCodeGenerator_InitCodePost" type="java.lang.String" value="pathLength.setFont(this.getFont().deriveFont(Font.BOLD));"/>
</AuxValues>
</Component>
<Component class="javax.swing.JLabel" name="totalTime">
<Container class="javax.swing.JPanel" name="topLabels">
<Properties>
<Property name="text" type="java.lang.String" value="Total Time:"/>
</Properties>
<AuxValues>
<AuxValue name="JavaCodeGenerator_InitCodePost" type="java.lang.String" value="totalTime.setFont(this.getFont().deriveFont(Font.BOLD));"/>
</AuxValues>
</Component>
<Component class="javax.swing.JLabel" name="modelTypeLabel">
<Properties>
<Property name="text" type="java.lang.String" value="Unknown"/>
<Property name="border" type="javax.swing.border.Border" editor="org.netbeans.modules.form.editors2.BorderEditor">
<Border info="org.netbeans.modules.form.compat2.border.EmptyBorderInfo">
<EmptyBorder bottom="0" left="10" right="0" top="0"/>
<EmptyBorder bottom="0" left="5" right="5" top="5"/>
</Border>
</Property>
</Properties>
</Component>
<Component class="javax.swing.JLabel" name="pathLengthLabel">
<Properties>
<Property name="text" type="java.lang.String" value="0"/>
<Property name="border" type="javax.swing.border.Border" editor="org.netbeans.modules.form.editors2.BorderEditor">
<Border info="org.netbeans.modules.form.compat2.border.EmptyBorderInfo">
<EmptyBorder bottom="0" left="10" right="0" top="0"/>
</Border>
</Property>
</Properties>
</Component>
<Component class="javax.swing.JLabel" name="totalTimeLabel">
<Layout class="org.netbeans.modules.form.compat2.layouts.DesignGridLayout">
<Property name="columns" type="int" value="3"/>
<Property name="horizontalGap" type="int" value="5"/>
<Property name="rows" type="int" value="1"/>
</Layout>
<SubComponents>
<Component class="javax.swing.JLabel" name="modelType">
<Properties>
<Property name="text" type="java.lang.String" value="Model Type:"/>
</Properties>
<AuxValues>
<AuxValue name="JavaCodeGenerator_InitCodePost" type="java.lang.String" value="modelType.setFont(this.getFont().deriveFont(Font.BOLD));"/>
</AuxValues>
</Component>
<Component class="javax.swing.JLabel" name="pathLength">
<Properties>
<Property name="text" type="java.lang.String" value="Path Length:"/>
</Properties>
<AuxValues>
<AuxValue name="JavaCodeGenerator_InitCodePost" type="java.lang.String" value="pathLength.setFont(this.getFont().deriveFont(Font.BOLD));"/>
</AuxValues>
</Component>
<Component class="javax.swing.JLabel" name="totalTime">
<Properties>
<Property name="text" type="java.lang.String" value="Total Time:"/>
</Properties>
<AuxValues>
<AuxValue name="JavaCodeGenerator_InitCodePost" type="java.lang.String" value="totalTime.setFont(this.getFont().deriveFont(Font.BOLD));"/>
</AuxValues>
</Component>
</SubComponents>
</Container>
<Container class="javax.swing.JPanel" name="topValues">
<Properties>
<Property name="text" type="java.lang.String" value="0.0"/>
<Property name="border" type="javax.swing.border.Border" editor="org.netbeans.modules.form.editors2.BorderEditor">
<Border info="org.netbeans.modules.form.compat2.border.EmptyBorderInfo">
<EmptyBorder bottom="0" left="10" right="0" top="0"/>
<EmptyBorder bottom="5" left="5" right="5" top="0"/>
</Border>
</Property>
</Properties>
</Component>
<Component class="javax.swing.JLabel" name="stateRewards">
<Properties>
<Property name="text" type="java.lang.String" value="State Rewards:"/>
</Properties>
<AuxValues>
<AuxValue name="JavaCodeGenerator_InitCodePost" type="java.lang.String" value="stateRewards.setFont(this.getFont().deriveFont(Font.BOLD));"/>
</AuxValues>
</Component>
<Component class="javax.swing.JLabel" name="transitionRewards">
<Properties>
<Property name="text" type="java.lang.String" value="Transition Rewards:"/>
</Properties>
<AuxValues>
<AuxValue name="JavaCodeGenerator_InitCodePost" type="java.lang.String" value="transitionRewards.setFont(this.getFont().deriveFont(Font.BOLD));"/>
</AuxValues>
</Component>
<Component class="javax.swing.JLabel" name="totalRewards">
<Properties>
<Property name="text" type="java.lang.String" value="Total Reward:"/>
</Properties>
<AuxValues>
<AuxValue name="JavaCodeGenerator_InitCodePost" type="java.lang.String" value="totalRewards.setFont(this.getFont().deriveFont(Font.BOLD));"/>
</AuxValues>
</Component>
<Component class="javax.swing.JLabel" name="stateRewardsLabel">
<Layout class="org.netbeans.modules.form.compat2.layouts.DesignGridLayout">
<Property name="columns" type="int" value="3"/>
<Property name="horizontalGap" type="int" value="5"/>
<Property name="rows" type="int" value="1"/>
</Layout>
<SubComponents>
<Component class="javax.swing.JLabel" name="modelTypeLabel">
<Properties>
<Property name="text" type="java.lang.String" value="Unknown"/>
<Property name="border" type="javax.swing.border.Border" editor="org.netbeans.modules.form.editors2.BorderEditor">
<Border info="org.netbeans.modules.form.compat2.border.EmptyBorderInfo">
<EmptyBorder bottom="0" left="10" right="0" top="0"/>
</Border>
</Property>
</Properties>
</Component>
<Component class="javax.swing.JLabel" name="pathLengthLabel">
<Properties>
<Property name="text" type="java.lang.String" value="0"/>
<Property name="border" type="javax.swing.border.Border" editor="org.netbeans.modules.form.editors2.BorderEditor">
<Border info="org.netbeans.modules.form.compat2.border.EmptyBorderInfo">
<EmptyBorder bottom="0" left="10" right="0" top="0"/>
</Border>
</Property>
</Properties>
</Component>
<Component class="javax.swing.JLabel" name="totalTimeLabel">
<Properties>
<Property name="text" type="java.lang.String" value="0.0"/>
<Property name="border" type="javax.swing.border.Border" editor="org.netbeans.modules.form.editors2.BorderEditor">
<Border info="org.netbeans.modules.form.compat2.border.EmptyBorderInfo">
<EmptyBorder bottom="0" left="10" right="0" top="0"/>
</Border>
</Property>
</Properties>
</Component>
</SubComponents>
</Container>
<Container class="javax.swing.JPanel" name="middleLabels">
<Properties>
<Property name="text" type="java.lang.String" value="0.0"/>
<Property name="border" type="javax.swing.border.Border" editor="org.netbeans.modules.form.editors2.BorderEditor">
<Border info="org.netbeans.modules.form.compat2.border.EmptyBorderInfo">
<EmptyBorder bottom="0" left="10" right="0" top="0"/>
<EmptyBorder bottom="0" left="5" right="5" top="5"/>
</Border>
</Property>
</Properties>
</Component>
<Component class="javax.swing.JLabel" name="transitionRewardsLabel">
<Layout class="org.netbeans.modules.form.compat2.layouts.DesignGridLayout">
<Property name="columns" type="int" value="3"/>
<Property name="horizontalGap" type="int" value="5"/>
<Property name="rows" type="int" value="1"/>
</Layout>
<SubComponents>
<Component class="javax.swing.JLabel" name="stateRewards">
<Properties>
<Property name="text" type="java.lang.String" value="State Rewards:"/>
</Properties>
<AuxValues>
<AuxValue name="JavaCodeGenerator_InitCodePost" type="java.lang.String" value="stateRewards.setFont(this.getFont().deriveFont(Font.BOLD));"/>
</AuxValues>
</Component>
<Component class="javax.swing.JLabel" name="transitionRewards">
<Properties>
<Property name="text" type="java.lang.String" value="Transition Rewards:"/>
</Properties>
<AuxValues>
<AuxValue name="JavaCodeGenerator_InitCodePost" type="java.lang.String" value="transitionRewards.setFont(this.getFont().deriveFont(Font.BOLD));"/>
</AuxValues>
</Component>
<Component class="javax.swing.JLabel" name="totalRewards">
<Properties>
<Property name="text" type="java.lang.String" value="Total Reward:"/>
</Properties>
<AuxValues>
<AuxValue name="JavaCodeGenerator_InitCodePost" type="java.lang.String" value="totalRewards.setFont(this.getFont().deriveFont(Font.BOLD));"/>
</AuxValues>
</Component>
</SubComponents>
</Container>
<Container class="javax.swing.JPanel" name="middleValues">
<Properties>
<Property name="text" type="java.lang.String" value="0.0"/>
<Property name="border" type="javax.swing.border.Border" editor="org.netbeans.modules.form.editors2.BorderEditor">
<Border info="org.netbeans.modules.form.compat2.border.EmptyBorderInfo">
<EmptyBorder bottom="0" left="10" right="0" top="0"/>
<EmptyBorder bottom="5" left="5" right="5" top="0"/>
</Border>
</Property>
</Properties>
</Component>
<Component class="javax.swing.JLabel" name="totalRewardLabel">
<Layout class="org.netbeans.modules.form.compat2.layouts.DesignGridLayout">
<Property name="columns" type="int" value="3"/>
<Property name="horizontalGap" type="int" value="5"/>
<Property name="rows" type="int" value="1"/>
</Layout>
<SubComponents>
<Component class="javax.swing.JLabel" name="stateRewardsLabel">
<Properties>
<Property name="text" type="java.lang.String" value="0.0"/>
<Property name="border" type="javax.swing.border.Border" editor="org.netbeans.modules.form.editors2.BorderEditor">
<Border info="org.netbeans.modules.form.compat2.border.EmptyBorderInfo">
<EmptyBorder bottom="0" left="10" right="0" top="0"/>
</Border>
</Property>
</Properties>
</Component>
<Component class="javax.swing.JLabel" name="transitionRewardsLabel">
<Properties>
<Property name="text" type="java.lang.String" value="0.0"/>
<Property name="border" type="javax.swing.border.Border" editor="org.netbeans.modules.form.editors2.BorderEditor">
<Border info="org.netbeans.modules.form.compat2.border.EmptyBorderInfo">
<EmptyBorder bottom="0" left="10" right="0" top="0"/>
</Border>
</Property>
</Properties>
</Component>
<Component class="javax.swing.JLabel" name="totalRewardLabel">
<Properties>
<Property name="text" type="java.lang.String" value="0.0"/>
<Property name="border" type="javax.swing.border.Border" editor="org.netbeans.modules.form.editors2.BorderEditor">
<Border info="org.netbeans.modules.form.compat2.border.EmptyBorderInfo">
<EmptyBorder bottom="0" left="10" right="0" top="0"/>
</Border>
</Property>
</Properties>
</Component>
</SubComponents>
</Container>
<Container class="javax.swing.JPanel" name="bottomLabels">
<Properties>
<Property name="text" type="java.lang.String" value="0.0"/>
<Property name="border" type="javax.swing.border.Border" editor="org.netbeans.modules.form.editors2.BorderEditor">
<Border info="org.netbeans.modules.form.compat2.border.EmptyBorderInfo">
<EmptyBorder bottom="0" left="10" right="0" top="0"/>
<EmptyBorder bottom="0" left="5" right="5" top="5"/>
</Border>
</Property>
</Properties>
</Component>
<Component class="javax.swing.JLabel" name="definedConstants">
<Properties>
<Property name="text" type="java.lang.String" value="Defined Constants:"/>
</Properties>
<AuxValues>
<AuxValue name="JavaCodeGenerator_InitCodePost" type="java.lang.String" value="definedConstants.setFont(this.getFont().deriveFont(Font.BOLD));"/>
</AuxValues>
</Component>
<Component class="javax.swing.JLabel" name="dummy1">
</Component>
<Component class="javax.swing.JLabel" name="dummy2">
</Component>
<Component class="javax.swing.JLabel" name="definedConstantsLabel">
<Layout class="org.netbeans.modules.form.compat2.layouts.DesignGridLayout">
<Property name="columns" type="int" value="3"/>
<Property name="horizontalGap" type="int" value="5"/>
<Property name="rows" type="int" value="1"/>
</Layout>
<SubComponents>
<Component class="javax.swing.JLabel" name="definedConstants">
<Properties>
<Property name="text" type="java.lang.String" value="Defined Constants:"/>
</Properties>
<AuxValues>
<AuxValue name="JavaCodeGenerator_InitCodePost" type="java.lang.String" value="definedConstants.setFont(this.getFont().deriveFont(Font.BOLD));"/>
</AuxValues>
</Component>
</SubComponents>
</Container>
<Container class="javax.swing.JPanel" name="bottomValues">
<Properties>
<Property name="text" type="java.lang.String" value="Unknown"/>
<Property name="border" type="javax.swing.border.Border" editor="org.netbeans.modules.form.editors2.BorderEditor">
<Border info="org.netbeans.modules.form.compat2.border.EmptyBorderInfo">
<EmptyBorder bottom="0" left="10" right="0" top="0"/>
<EmptyBorder bottom="5" left="5" right="5" top="0"/>
</Border>
</Property>
</Properties>
</Component>
<Layout class="org.netbeans.modules.form.compat2.layouts.DesignGridLayout">
<Property name="columns" type="int" value="3"/>
<Property name="horizontalGap" type="int" value="5"/>
<Property name="rows" type="int" value="1"/>
</Layout>
<SubComponents>
<Component class="javax.swing.JLabel" name="definedConstantsLabel">
<Properties>
<Property name="text" type="java.lang.String" value="Unknown"/>
<Property name="border" type="javax.swing.border.Border" editor="org.netbeans.modules.form.editors2.BorderEditor">
<Border info="org.netbeans.modules.form.compat2.border.EmptyBorderInfo">
<EmptyBorder bottom="0" left="10" right="0" top="0"/>
</Border>
</Property>
</Properties>
</Component>
</SubComponents>
</Container>
</SubComponents>
</Container>
</SubComponents>

108
prism/src/userinterface/simulator/GUISimulator.java
View File

@ -990,21 +990,25 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
topRightPanel = new javax.swing.JPanel();
informationPanel = new javax.swing.JPanel();
innerInformationPanel = new javax.swing.JPanel();
topLabels = new javax.swing.JPanel();
modelType = new javax.swing.JLabel();
pathLength = new javax.swing.JLabel();
totalTime = new javax.swing.JLabel();
topValues = new javax.swing.JPanel();
modelTypeLabel = new javax.swing.JLabel();
pathLengthLabel = new javax.swing.JLabel();
totalTimeLabel = new javax.swing.JLabel();
middleLabels = new javax.swing.JPanel();
stateRewards = new javax.swing.JLabel();
transitionRewards = new javax.swing.JLabel();
totalRewards = new javax.swing.JLabel();
middleValues = new javax.swing.JPanel();
stateRewardsLabel = new javax.swing.JLabel();
transitionRewardsLabel = new javax.swing.JLabel();
totalRewardLabel = new javax.swing.JLabel();
bottomLabels = new javax.swing.JPanel();
definedConstants = new javax.swing.JLabel();
dummy1 = new javax.swing.JLabel();
dummy2 = new javax.swing.JLabel();
bottomValues = new javax.swing.JPanel();
definedConstantsLabel = new javax.swing.JLabel();
buttonPanel = new javax.swing.JPanel();
innerButtonPanel = new javax.swing.JPanel();
@ -1034,7 +1038,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
pathExplorationPanel.setLayout(new java.awt.GridBagLayout());
pathExplorationPanel.setBorder(new javax.swing.border.TitledBorder("Exploration"));
pathExplorationPanel.setBorder(javax.swing.BorderFactory.createTitledBorder("Exploration"));
gridBagConstraints = new java.awt.GridBagConstraints();
gridBagConstraints.gridx = 0;
gridBagConstraints.gridy = 4;
@ -1215,7 +1219,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
pathModificationPanel.setLayout(new java.awt.GridBagLayout());
pathModificationPanel.setBorder(new javax.swing.border.TitledBorder("Path Modification"));
pathModificationPanel.setBorder(javax.swing.BorderFactory.createTitledBorder("Path Modification"));
gridBagConstraints = new java.awt.GridBagConstraints();
gridBagConstraints.gridx = 0;
gridBagConstraints.gridy = 0;
@ -1332,7 +1336,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
jPanel4.setLayout(new java.awt.GridBagLayout());
jPanel4.setBorder(new javax.swing.border.TitledBorder("Formulae"));
jPanel4.setBorder(javax.swing.BorderFactory.createTitledBorder("Formulae"));
jPanel4.setMinimumSize(new java.awt.Dimension(302, 35));
jPanel4.setPreferredSize(new java.awt.Dimension(302, 35));
gridBagConstraints = new java.awt.GridBagConstraints();
@ -1346,7 +1350,6 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
jPanel4.add(jPanel28, gridBagConstraints);
jSplitPane3.setBorder(null);
jSplitPane3.setDividerSize(5);
jSplitPane3.setOrientation(javax.swing.JSplitPane.VERTICAL_SPLIT);
jSplitPane3.setResizeWeight(0.5);
jPanel26.setLayout(new java.awt.GridBagLayout());
@ -1409,77 +1412,103 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
rightPanel.setLayout(new java.awt.BorderLayout());
rightPanel.setBorder(new javax.swing.border.TitledBorder("Simulation Path"));
rightPanel.setBorder(javax.swing.BorderFactory.createTitledBorder("Simulation Path"));
innerRightPanel.setLayout(new java.awt.BorderLayout(0, 10));
innerRightPanel.setBorder(new javax.swing.border.EmptyBorder(new java.awt.Insets(10, 10, 10, 10)));
innerRightPanel.setBorder(javax.swing.BorderFactory.createEmptyBorder(10, 10, 10, 10));
topRightPanel.setLayout(new java.awt.BorderLayout(10, 10));
informationPanel.setLayout(new java.awt.BorderLayout());
informationPanel.setBorder(new javax.swing.border.EtchedBorder());
innerInformationPanel.setLayout(new java.awt.GridLayout(6, 3, 5, 5));
informationPanel.setBorder(javax.swing.BorderFactory.createEtchedBorder());
innerInformationPanel.setLayout(new javax.swing.BoxLayout(innerInformationPanel, javax.swing.BoxLayout.Y_AXIS));
innerInformationPanel.setBorder(new javax.swing.border.EmptyBorder(new java.awt.Insets(5, 5, 5, 5)));
innerInformationPanel.setBorder(javax.swing.BorderFactory.createEmptyBorder(5, 5, 5, 5));
topLabels.setLayout(new java.awt.GridLayout(1, 3, 5, 0));
topLabels.setBorder(javax.swing.BorderFactory.createEmptyBorder(5, 5, 0, 5));
modelType.setText("Model Type:");
modelType.setFont(this.getFont().deriveFont(Font.BOLD));
innerInformationPanel.add(modelType);
topLabels.add(modelType);
pathLength.setText("Path Length:");
pathLength.setFont(this.getFont().deriveFont(Font.BOLD));
innerInformationPanel.add(pathLength);
topLabels.add(pathLength);
totalTime.setText("Total Time:");
totalTime.setFont(this.getFont().deriveFont(Font.BOLD));
innerInformationPanel.add(totalTime);
topLabels.add(totalTime);
innerInformationPanel.add(topLabels);
topValues.setLayout(new java.awt.GridLayout(1, 3, 5, 0));
topValues.setBorder(javax.swing.BorderFactory.createEmptyBorder(0, 5, 5, 5));
modelTypeLabel.setText("Unknown");
modelTypeLabel.setBorder(new javax.swing.border.EmptyBorder(new java.awt.Insets(0, 10, 0, 0)));
innerInformationPanel.add(modelTypeLabel);
modelTypeLabel.setBorder(javax.swing.BorderFactory.createEmptyBorder(0, 10, 0, 0));
topValues.add(modelTypeLabel);
pathLengthLabel.setText("0");
pathLengthLabel.setBorder(new javax.swing.border.EmptyBorder(new java.awt.Insets(0, 10, 0, 0)));
innerInformationPanel.add(pathLengthLabel);
pathLengthLabel.setBorder(javax.swing.BorderFactory.createEmptyBorder(0, 10, 0, 0));
topValues.add(pathLengthLabel);
totalTimeLabel.setText("0.0");
totalTimeLabel.setBorder(new javax.swing.border.EmptyBorder(new java.awt.Insets(0, 10, 0, 0)));
innerInformationPanel.add(totalTimeLabel);
totalTimeLabel.setBorder(javax.swing.BorderFactory.createEmptyBorder(0, 10, 0, 0));
topValues.add(totalTimeLabel);
innerInformationPanel.add(topValues);
middleLabels.setLayout(new java.awt.GridLayout(1, 3, 5, 0));
middleLabels.setBorder(javax.swing.BorderFactory.createEmptyBorder(5, 5, 0, 5));
stateRewards.setText("State Rewards:");
stateRewards.setFont(this.getFont().deriveFont(Font.BOLD));
innerInformationPanel.add(stateRewards);
middleLabels.add(stateRewards);
transitionRewards.setText("Transition Rewards:");
transitionRewards.setFont(this.getFont().deriveFont(Font.BOLD));
innerInformationPanel.add(transitionRewards);
middleLabels.add(transitionRewards);
totalRewards.setText("Total Reward:");
totalRewards.setFont(this.getFont().deriveFont(Font.BOLD));
innerInformationPanel.add(totalRewards);
middleLabels.add(totalRewards);
innerInformationPanel.add(middleLabels);
middleValues.setLayout(new java.awt.GridLayout(1, 3, 5, 0));
middleValues.setBorder(javax.swing.BorderFactory.createEmptyBorder(0, 5, 5, 5));
stateRewardsLabel.setText("0.0");
stateRewardsLabel.setBorder(new javax.swing.border.EmptyBorder(new java.awt.Insets(0, 10, 0, 0)));
innerInformationPanel.add(stateRewardsLabel);
stateRewardsLabel.setBorder(javax.swing.BorderFactory.createEmptyBorder(0, 10, 0, 0));
middleValues.add(stateRewardsLabel);
transitionRewardsLabel.setText("0.0");
transitionRewardsLabel.setBorder(new javax.swing.border.EmptyBorder(new java.awt.Insets(0, 10, 0, 0)));
innerInformationPanel.add(transitionRewardsLabel);
transitionRewardsLabel.setBorder(javax.swing.BorderFactory.createEmptyBorder(0, 10, 0, 0));
middleValues.add(transitionRewardsLabel);
totalRewardLabel.setText("0.0");
totalRewardLabel.setBorder(new javax.swing.border.EmptyBorder(new java.awt.Insets(0, 10, 0, 0)));
innerInformationPanel.add(totalRewardLabel);
totalRewardLabel.setBorder(javax.swing.BorderFactory.createEmptyBorder(0, 10, 0, 0));
middleValues.add(totalRewardLabel);
innerInformationPanel.add(middleValues);
bottomLabels.setLayout(new java.awt.GridLayout(1, 3, 5, 0));
bottomLabels.setBorder(javax.swing.BorderFactory.createEmptyBorder(5, 5, 0, 5));
definedConstants.setText("Defined Constants:");
definedConstants.setFont(this.getFont().deriveFont(Font.BOLD));
innerInformationPanel.add(definedConstants);
bottomLabels.add(definedConstants);
innerInformationPanel.add(dummy1);
innerInformationPanel.add(bottomLabels);
innerInformationPanel.add(dummy2);
bottomValues.setLayout(new java.awt.GridLayout(1, 3, 5, 0));
bottomValues.setBorder(javax.swing.BorderFactory.createEmptyBorder(0, 5, 5, 5));
definedConstantsLabel.setText("Unknown");
definedConstantsLabel.setBorder(new javax.swing.border.EmptyBorder(new java.awt.Insets(0, 10, 0, 0)));
innerInformationPanel.add(definedConstantsLabel);
definedConstantsLabel.setBorder(javax.swing.BorderFactory.createEmptyBorder(0, 10, 0, 0));
bottomValues.add(definedConstantsLabel);
innerInformationPanel.add(bottomValues);
informationPanel.add(innerInformationPanel, java.awt.BorderLayout.CENTER);
@ -1556,8 +1585,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
add(horizontalSplit, java.awt.BorderLayout.CENTER);
}
// </editor-fold>//GEN-END:initComponents
}// </editor-fold>//GEN-END:initComponents
private void autoTimeCheckStateChanged(javax.swing.event.ChangeEvent evt) {//GEN-FIRST:event_autoTimeCheckStateChanged
@ -2024,13 +2052,13 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
javax.swing.JTextField autoUpdateField;
javax.swing.JTextField backTrackStepField;
javax.swing.JButton backtrackButton;
private javax.swing.JPanel bottomLabels;
private javax.swing.JPanel bottomValues;
private javax.swing.ButtonGroup buttonGroup1;
private javax.swing.JPanel buttonPanel;
javax.swing.JTable currentUpdatesTable;
private javax.swing.JLabel definedConstants;
private javax.swing.JLabel definedConstantsLabel;
private javax.swing.JLabel dummy1;
private javax.swing.JLabel dummy2;
javax.swing.JButton exportPathButton;
private javax.swing.JSplitPane horizontalSplit;
private javax.swing.JPanel informationPanel;
@ -2071,6 +2099,8 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
private javax.swing.JSplitPane jSplitPane3;
private javax.swing.JPanel leftPanel;
javax.swing.JButton manualUpdateField;
private javax.swing.JPanel middleLabels;
private javax.swing.JPanel middleValues;
private javax.swing.JLabel modelType;
private javax.swing.JLabel modelTypeLabel;
javax.swing.JButton newPathButton;
@ -2090,9 +2120,11 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
javax.swing.JTextField stateTimeField;
private javax.swing.JPanel tablePanel;
private javax.swing.JScrollPane tableScroll;
private javax.swing.JPanel topLabels;
private javax.swing.JPanel topLeftPanel;
private javax.swing.JPanel topRightPanel;
private javax.swing.JPanel topSplit;
private javax.swing.JPanel topValues;
private javax.swing.JLabel totalRewardLabel;
private javax.swing.JLabel totalRewards;
private javax.swing.JLabel totalTime;

Write Preview
Loading…
Cancel
Save