| org.w3c.jigadm.editors.ResourceHelperInterface
All known Subclasses: org.w3c.jigadm.editors.ResourceHelper,
| ResourceHelperInterface | | public interface ResourceHelperInterface (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 resource to be the original resource (ie: the
hasChanged() method must return false now.
to do a "fine tuned" reset, use one of the three following method.
|
| getValue | | public RemoteResource getValue()(Code) | | get the Resource edited with this helper
a RemoteResource |
| hasChanged | | public boolean hasChanged()(Code) | | tells if the edited resource in the helper has changed
true if the values changed.to get more informations about what has changed, you can use the three methods below. |
| removeResourceListener | | public void removeResourceListener(ResourceListener el)(Code) | | Remove the listener from this helper.
Parameters:
el - the listener to be removed. |
| resetChanges | | public void resetChanges()(Code) | | undo the not-yet-commited changes
|
|
|