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