public class AddTypeOperation extends UndoOperation
| Modifier and Type | Field and Description |
|---|---|
protected boolean |
dummy |
protected Locator |
si |
protected TopicMap |
tm |
protected Locator |
typeSi |
isMarker, operationNumber| Constructor and Description |
|---|
AddTypeOperation(Topic t,
Topic type) |
| 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 Locator typeSi
protected boolean dummy
public AddTypeOperation(Topic t, Topic type) throws TopicMapException, UndoException
TopicMapExceptionUndoExceptionpublic java.lang.String getLabel()
getLabel in class UndoOperationpublic void redo()
throws UndoException
redo in class UndoOperationUndoExceptionpublic void undo()
throws UndoException
undo in class UndoOperationUndoExceptionCopyright 2004-2015 Wandora Team