public class SetOccurrenceOperation extends UndoOperation
| Modifier and Type | Field and Description |
|---|---|
protected java.lang.String |
newValue |
protected java.lang.String |
oldValue |
protected Locator |
si |
protected TopicMap |
tm |
protected Locator |
typeSi |
protected Locator |
versionSi |
isMarker, operationNumber| Constructor and Description |
|---|
SetOccurrenceOperation(Topic t,
Topic type,
Topic version,
java.lang.String value) |
| 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 Locator versionSi
protected java.lang.String oldValue
protected java.lang.String newValue
public SetOccurrenceOperation(Topic t, Topic type, Topic version, java.lang.String value) 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