01: // ServerHelperInterface.java
02: // $Id: ServerHelperInterface.java,v 1.5 2000/08/16 21:37:31 ylafon Exp $
03: // (c) COPYRIGHT MIT and INRIA, 1998.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.jigadmin.editors;
07:
08: /**
09: * The interface for server helpers.
10: * @version $Revision: 1.5 $
11: * @author Benoît Mahé (bmahe@w3.org)
12: */
13: public interface ServerHelperInterface extends EditorInterface {
14:
15: /**
16: * The tooltip property name
17: */
18: public final static String TOOLTIP_P = "tooltip";
19:
20: /**
21: * Get the helper name.
22: * @return a String instance
23: */
24: public String getName();
25:
26: /**
27: * Get the helper tooltip
28: * @return a String
29: */
30: public String getToolTip();
31:
32: }
|