Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / tools / widgets / ListEditor.java

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/widgets/ListEditor.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/widgets/ListEditor.java
new file mode 100644 (file)
index 0000000..bbc3f93
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/widgets/ListEditor.java
@@ -0,0 +1,58 @@
+// ListEditor.java\r
+// $Id: ListEditor.java,v 1.1 2010/06/15 12:20:38 smhuang Exp $\r
+// Author: bmahe@sophia.inria.fr\r
+// (c) COPYRIGHT MIT and INRIA, 1997.\r
+// Please first read the full copyright statement in file COPYRIGHT.html\r
+\r
+package org.w3c.tools.widgets;\r
+\r
+import java.awt.BorderLayout;\r
+import java.awt.Button;\r
+import java.awt.Insets;\r
+import java.awt.List;\r
+import java.awt.event.ActionEvent;\r
+import java.awt.event.ActionListener;\r
+\r
+/**\r
+ * ListEditor :\r
+ * @author Benoit Mahe <bmahe@sophia.inria.fr>\r
+ */\r
+\r
+public abstract class ListEditor extends BorderPanel \r
+                                 implements ActionListener \r
+{\r
+\r
+    protected List   list       = null;\r
+    protected Button editButton = null;\r
+\r
+    protected abstract void edit();\r
+\r
+    /**\r
+     * ActionListsner implementation - One of our button was fired.\r
+     * @param evt The ActionEvent.\r
+     */\r
+\r
+    public void actionPerformed(ActionEvent evt) {\r
+       String command = evt.getActionCommand();\r
+       if ( command.equals("edit" ) )\r
+           edit();\r
+    }\r
+\r
+    public ListEditor() {\r
+       this(5,false);\r
+    }\r
+\r
+    public ListEditor(int nbVisible, boolean multiple) {\r
+       super(IN, 2);\r
+       setInsets(new Insets(4,4,4,4));\r
+       editButton = new Button ("Edit");\r
+       editButton.setActionCommand("edit");\r
+       editButton.addActionListener(this);\r
+       list = new List(nbVisible, multiple);\r
+\r
+       setLayout(new BorderLayout());\r
+       add(list, "Center");\r
+       add(editButton,"East");\r
+    }\r
+\r
+}\r