| org.w3c.jigadm.editors.ResourceEditorInterface
All known Subclasses: org.w3c.jigadm.editors.ResourceEditor,
ResourceEditorInterface | public interface ResourceEditorInterface (Code) | | |
addResourceListener | public void addResourceListener(ResourceListener el)(Code) | | Add a Listener to this helper.
Parameters: el - a listener |
clearChanged | public void clearChanged()(Code) | | set the current value to be the original value, ie: changed
must return false after a reset.
|
getValue | public RemoteResource getValue()(Code) | | Get the current value of the edited value
a RemoteResource or null if the object was notinitialized |
hasChanged | public boolean hasChanged()(Code) | | Tells if the edited value has changed
true if the value changed. |
removeResourceListener | public void removeResourceListener(ResourceListener el)(Code) | | Remove the listener from this helper.
Parameters: el - the listener to be removed. |
|
|