|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.eclipse.gef.commands.Command uk.ac.kcl.cch.jb.pliny.commands.DeleteResourceCommand
deletes a
Resource
item. It does a "deep"
deletion -- also deleting any LinkableObjects linked to it either
through their surrogateFore
or displayedIn
links, and then any Links that connect deleted LinkableObjects. This
command is invoked through the Resource Explorer.
Constructor Summary | |
DeleteResourceCommand(Resource resource,
String resourceType)
constructs an instance of this command. |
Method Summary | |
void |
execute()
|
void |
undo()
|
Methods inherited from class org.eclipse.gef.commands.Command |
canExecute, canUndo, chain, dispose, getDebugLabel, getLabel, redo, setDebugLabel, setLabel |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public DeleteResourceCommand(Resource resource, String resourceType)
resource
- the resource to be deletedresourceType
- the name of the type of resourceMethod Detail |
public void execute()
public void undo()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |