public class RemoveTopicOperation extends UndoOperation
| Modifier and Type | Field and Description |
|---|---|
protected Topic |
copyt |
protected TopicMap |
copytm |
protected Locator |
si |
protected TopicMap |
tm |
isMarker, operationNumber| Constructor and Description |
|---|
RemoveTopicOperation(Topic t) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getLabel() |
void |
redo() |
void |
undo() |
canRedo, canUndo, combineWith, getDescription, getOperationNumber, getRedoLabel, getUndoLabel, isMarkerprotected TopicMap tm
protected Locator si
protected TopicMap copytm
protected Topic copyt
public RemoveTopicOperation(Topic t) throws UndoException, TopicMapException
UndoExceptionTopicMapExceptionpublic void undo()
throws UndoException
undo in class UndoOperationUndoExceptionpublic void redo()
throws UndoException
redo in class UndoOperationUndoExceptionpublic java.lang.String getLabel()
getLabel in class UndoOperationCopyright 2004-2015 Wandora Team