From c769bb5ac008f10ae2762fdf69bbdae84a61f85e Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 28 Jul 2013 20:53:46 +0000 Subject: [PATCH] Remove a few warnings. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7181 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/userinterface/simulator/GUISimulator.java | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java index 349f0933..39b9361d 100644 --- a/prism/src/userinterface/simulator/GUISimulator.java +++ b/prism/src/userinterface/simulator/GUISimulator.java @@ -46,6 +46,7 @@ import userinterface.model.*; import userinterface.properties.*; import userinterface.simulator.networking.*; +@SuppressWarnings("serial") public class GUISimulator extends GUIPlugin implements MouseListener, ListSelectionListener, PrismSettingsListener { private static final long serialVersionUID = 1L; @@ -1012,13 +1013,13 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect innerAutomaticExplorationPanel = new javax.swing.JPanel(); randomExplorationButton = new javax.swing.JButton(); noStepsExplorePanel = new javax.swing.JPanel(); - typeExploreCombo = new javax.swing.JComboBox(); + typeExploreCombo = new javax.swing.JComboBox(); inputExploreField = new javax.swing.JTextField(); backtrackPanel = new javax.swing.JPanel(); innerBacktrackPanel = new javax.swing.JPanel(); backtrackButton = new javax.swing.JButton(); noStepsBacktrackPanel = new javax.swing.JPanel(); - typeBacktrackCombo = new javax.swing.JComboBox(); + typeBacktrackCombo = new javax.swing.JComboBox(); inputBacktrackField = new javax.swing.JTextField(); manualUpdatesPanel = 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.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(new String[] { "Num. steps", "Upto state", "Max. time" })); typeExploreCombo.setToolTipText(""); gridBagConstraints = new java.awt.GridBagConstraints(); 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.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(new String[] { "Num. steps", "To state" })); gridBagConstraints = new java.awt.GridBagConstraints(); gridBagConstraints.fill = java.awt.GridBagConstraints.BOTH; gridBagConstraints.weightx = 2.0; @@ -2061,8 +2062,8 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect private javax.swing.JPanel topValues; private javax.swing.JLabel totalTime; private javax.swing.JLabel totalTimeLabel; - private javax.swing.JComboBox typeBacktrackCombo; - private javax.swing.JComboBox typeExploreCombo; + private javax.swing.JComboBox typeBacktrackCombo; + private javax.swing.JComboBox typeExploreCombo; // End of variables declaration//GEN-END:variables