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