Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / jigadmin / editors / ServerHelperInterface.java

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigadmin/editors/ServerHelperInterface.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigadmin/editors/ServerHelperInterface.java
new file mode 100644 (file)
index 0000000..b46891e
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigadmin/editors/ServerHelperInterface.java
@@ -0,0 +1,33 @@
+// ServerHelperInterface.java\r
+// $Id: ServerHelperInterface.java,v 1.1 2010/06/15 12:25:52 smhuang Exp $\r
+// (c) COPYRIGHT MIT and INRIA, 1998.\r
+// Please first read the full copyright statement in file COPYRIGHT.html\r
+\r
+package org.w3c.jigadmin.editors;\r
+\r
+/**\r
+ * The interface for server helpers.\r
+ * @version $Revision: 1.1 $\r
+ * @author  Benoît Mahé (bmahe@w3.org)\r
+ */\r
+public interface ServerHelperInterface extends EditorInterface {\r
+\r
+    /**\r
+     * The tooltip property name\r
+     */\r
+    public final static String TOOLTIP_P = "tooltip";\r
+\r
+   \r
+    /**\r
+     * Get the helper name.\r
+     * @return a String instance\r
+     */\r
+    public String getName();\r
+\r
+    /**\r
+     * Get the helper tooltip\r
+     * @return a String\r
+     */    \r
+    public String getToolTip();\r
+\r
+}\r