resourceeditorinterface.java

来自「很棒的web服务器源代码」· Java 代码 · 共 75 行

JAVA
75
字号
// ResourceEditorInterface.java// $Id: ResourceEditorInterface.java,v 1.7 2000/08/16 21:37:27 ylafon Exp $// (c) COPYRIGHT MIT and INRIA, 1997.// Please first read the full copyright statement in file COPYRIGHT.htmlpackage org.w3c.jigadm.editors ;import java.util.Properties;import org.w3c.jigsaw.admin.RemoteAccessException;import org.w3c.jigsaw.admin.RemoteResource;import org.w3c.jigadm.RemoteResourceWrapper;import org.w3c.jigadm.events.ResourceListener;import org.w3c.tools.resources.Attribute;public interface ResourceEditorInterface {    /**     * Tells if the edited value has changed     * @return true if the value changed.     */    public boolean hasChanged();    /**     * set the current value to be the original value, ie: changed     * must return <strong>false</strong> after a reset.     */    public void clearChanged();    /**     * commit the changes (if any)     * @exception RemoteAccessException if a remote access error occurs.     */    public void commitChanges()	throws RemoteAccessException;    /**     * Get the current value of the edited value     * @return a RemoteResource or <strong>null</strong> if the object was not     * initialized     */    public RemoteResource getValue();    /**     * Add a Listener to this helper.     * @param el a listener     */    public void addResourceListener(ResourceListener el);    /**     * Remove the listener from this helper.     * @param el the listener to be removed.     */    public void removeResourceListener(ResourceListener el);    /**     * initialize the helper     * @param rw the ResourceWrapper of the Resource edited with this helper     * @param p some Properties, used to fine-tune the helper     * @exception RemoteAccessException if a remote access error occurs.     */    public void initialize(RemoteResourceWrapper rw, Properties p)	throws RemoteAccessException;}

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?