From 8f8565a5798c0cea54ef1584f0efdbff536f9a46 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 10 Apr 2007 08:19:23 +0000 Subject: [PATCH] Removed redundant testing code. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@255 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/settings/SettingTable.java | 52 ------------------- .../src/userinterface/util/PropertyTable.java | 43 --------------- 2 files changed, 95 deletions(-) diff --git a/prism/src/settings/SettingTable.java b/prism/src/settings/SettingTable.java index d96fe8eb..932e7d8b 100644 --- a/prism/src/settings/SettingTable.java +++ b/prism/src/settings/SettingTable.java @@ -159,58 +159,6 @@ public class SettingTable extends JPanel implements ListSelectionListener, Table // // private SettingEditor ce; - public static void main(String[]args) - { - JFrame jf = new JFrame("Properties"); - jf.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE); - - - - ArrayList owners = getOwners(); - - - - SettingTable pt = new SettingTable(jf); - pt.setOwners(owners); - - for(int i = 0; i < owners.size(); i++) - { - SettingOwner a = (SettingOwner)owners.get(i); - a.setDisplay(pt); - } - - - jf.getContentPane().add(pt); - jf.getContentPane().setSize(100, 300); - - jf.pack(); - jf.show(); - - } - - public static ArrayList getOwners() - { - ArrayList owners = new ArrayList(); - - Apple a = new Apple("1", 2, "Wednesbury\nWest Midlands", "Bill", 3, true, Color.red, 0); - /*Apple b = new Apple("2", 3, "Wednesbury\nWest Midlands\nis vggfdg", "Bob", 4, false, Color.blue, 1); - Apple c = new Apple("3", 1, "West Brom\nWest Midlands", "Bill", 6, true, Color.yellow, 2); - Apple d = new Apple("4", 10, "Walsall", "Derek",10, false, Color.pink, 3); - Orange e = new Orange("1", 55); - Orange f = new Orange("2", 34); - Orange g = new Orange("3", 44);*/ - - owners.add(a); - /*owners.add(b); - owners.add(c); - owners.add(d); - owners.add(e); - owners.add(f); - owners.add(g);*/ - - return owners; - } - /** This method is called from within the constructor to * initialize the form. * WARNING: Do NOT modify this code. The content of this method is diff --git a/prism/src/userinterface/util/PropertyTable.java b/prism/src/userinterface/util/PropertyTable.java index 11878852..b2482a0e 100644 --- a/prism/src/userinterface/util/PropertyTable.java +++ b/prism/src/userinterface/util/PropertyTable.java @@ -150,49 +150,6 @@ public class PropertyTable extends JPanel implements ListSelectionListener, Tabl private PropertyTable.PropertyCellEditor ce; - /*public static void main(String[]args) - { - JFrame jf = new JFrame("Properties"); - jf.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE); - - PropertyTableModel ptm = new PropertyTableModel(); - - ArrayList owners = getOwners(); - - ptm.setOwners(owners); - - PropertyTable pt = new PropertyTable(ptm); - jf.getContentPane().add(pt); - jf.getContentPane().setSize(100, 300); - - jf.pack(); - jf.show(); - - } - - public static ArrayList getOwners() - { - ArrayList owners = new ArrayList(); - - Apple a = new Apple("1", 2, "Wednesbury\nWest Midlands", "Bill", 3); - Apple b = new Apple("2", 3, "Wednesbury\nWest Midlands", "Bob", 4); - Apple c = new Apple("3", 1, "West Brom\nWest Midlands", "Bill", 6); - Apple d = new Apple("4", 10, "Walsall", "Derek",10); - Orange e = new Orange("1", 55, 43, 44); - Orange f = new Orange("2", 34, 22, 44); - Orange g = new Orange("3", 44, 66, 44); - - owners.add(a); - owners.add(b); - owners.add(c); - owners.add(d); - owners.add(e); - owners.add(f); - owners.add(g); - - return owners; - }*/ - /** This method is called from within the constructor to * initialize the form. * WARNING: Do NOT modify this code. The content of this method is