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

Remove a few warnings. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7181 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 13 years ago
parent
86bd5a5d71
commit
c769bb5ac0
1 changed files with 7 additions and 6 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 13
      prism/src/userinterface/simulator/GUISimulator.java

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

@ -46,6 +46,7 @@ import userinterface.model.*;
import userinterface.properties.*; import userinterface.properties.*;
import userinterface.simulator.networking.*; import userinterface.simulator.networking.*;
@SuppressWarnings("serial")
public class GUISimulator extends GUIPlugin implements MouseListener, ListSelectionListener, PrismSettingsListener public class GUISimulator extends GUIPlugin implements MouseListener, ListSelectionListener, PrismSettingsListener
{ {
private static final long serialVersionUID = 1L; private static final long serialVersionUID = 1L;
@ -1012,13 +1013,13 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
innerAutomaticExplorationPanel = new javax.swing.JPanel(); innerAutomaticExplorationPanel = new javax.swing.JPanel();
randomExplorationButton = new javax.swing.JButton(); randomExplorationButton = new javax.swing.JButton();
noStepsExplorePanel = new javax.swing.JPanel(); noStepsExplorePanel = new javax.swing.JPanel();
typeExploreCombo = new javax.swing.JComboBox();
typeExploreCombo = new javax.swing.JComboBox<String>();
inputExploreField = new javax.swing.JTextField(); inputExploreField = new javax.swing.JTextField();
backtrackPanel = new javax.swing.JPanel(); backtrackPanel = new javax.swing.JPanel();
innerBacktrackPanel = new javax.swing.JPanel(); innerBacktrackPanel = new javax.swing.JPanel();
backtrackButton = new javax.swing.JButton(); backtrackButton = new javax.swing.JButton();
noStepsBacktrackPanel = new javax.swing.JPanel(); noStepsBacktrackPanel = new javax.swing.JPanel();
typeBacktrackCombo = new javax.swing.JComboBox();
typeBacktrackCombo = new javax.swing.JComboBox<String>();
inputBacktrackField = new javax.swing.JTextField(); inputBacktrackField = new javax.swing.JTextField();
manualUpdatesPanel = new javax.swing.JPanel(); manualUpdatesPanel = new javax.swing.JPanel();
innerManualUpdatesPanel = new javax.swing.JPanel(); innerManualUpdatesPanel = new javax.swing.JPanel();
@ -1261,7 +1262,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
noStepsExplorePanel.setLayout(new java.awt.GridBagLayout()); noStepsExplorePanel.setLayout(new java.awt.GridBagLayout());
noStepsExplorePanel.setMinimumSize(new java.awt.Dimension(107, 0)); noStepsExplorePanel.setMinimumSize(new java.awt.Dimension(107, 0));
typeExploreCombo.setModel(new javax.swing.DefaultComboBoxModel(new String[] { "Num. steps", "Upto state", "Max. time" }));
typeExploreCombo.setModel(new javax.swing.DefaultComboBoxModel<String>(new String[] { "Num. steps", "Upto state", "Max. time" }));
typeExploreCombo.setToolTipText(""); typeExploreCombo.setToolTipText("");
gridBagConstraints = new java.awt.GridBagConstraints(); gridBagConstraints = new java.awt.GridBagConstraints();
gridBagConstraints.fill = java.awt.GridBagConstraints.BOTH; gridBagConstraints.fill = java.awt.GridBagConstraints.BOTH;
@ -1319,7 +1320,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
noStepsBacktrackPanel.setLayout(new java.awt.GridBagLayout()); noStepsBacktrackPanel.setLayout(new java.awt.GridBagLayout());
noStepsBacktrackPanel.setMinimumSize(new java.awt.Dimension(107, 0)); noStepsBacktrackPanel.setMinimumSize(new java.awt.Dimension(107, 0));
typeBacktrackCombo.setModel(new javax.swing.DefaultComboBoxModel(new String[] { "Num. steps", "To state" }));
typeBacktrackCombo.setModel(new javax.swing.DefaultComboBoxModel<String>(new String[] { "Num. steps", "To state" }));
gridBagConstraints = new java.awt.GridBagConstraints(); gridBagConstraints = new java.awt.GridBagConstraints();
gridBagConstraints.fill = java.awt.GridBagConstraints.BOTH; gridBagConstraints.fill = java.awt.GridBagConstraints.BOTH;
gridBagConstraints.weightx = 2.0; gridBagConstraints.weightx = 2.0;
@ -2061,8 +2062,8 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
private javax.swing.JPanel topValues; private javax.swing.JPanel topValues;
private javax.swing.JLabel totalTime; private javax.swing.JLabel totalTime;
private javax.swing.JLabel totalTimeLabel; private javax.swing.JLabel totalTimeLabel;
private javax.swing.JComboBox typeBacktrackCombo;
private javax.swing.JComboBox typeExploreCombo;
private javax.swing.JComboBox<String> typeBacktrackCombo;
private javax.swing.JComboBox<String> typeExploreCombo;
// End of variables declaration//GEN-END:variables // End of variables declaration//GEN-END:variables

Write Preview
Loading…
Cancel
Save