|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.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 resource| Method Detail |
public void execute()
public void undo()
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||