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, isMarker
protected TopicMap tm
protected Locator si
protected TopicMap copytm
protected Topic copyt
public RemoveTopicOperation(Topic t) throws UndoException, TopicMapException
UndoException
TopicMapException
public void undo() throws UndoException
undo
in class UndoOperation
UndoException
public void redo() throws UndoException
redo
in class UndoOperation
UndoException
public java.lang.String getLabel()
getLabel
in class UndoOperation
Copyright 2004-2015 Wandora Team