public class MergeOperation extends UndoOperation
| Modifier and Type | Field and Description |
|---|---|
private java.util.HashSet<UndoOperation> |
dependencies |
protected Locator |
si1 |
protected Locator |
si2 |
protected TopicMap |
tm |
protected TopicMap |
tmcopy |
isMarker, operationNumber| Constructor and Description |
|---|
MergeOperation(Topic t1,
Topic t2) |
| Modifier and Type | Method and Description |
|---|---|
private void |
addDependencies(Topic t) |
private void |
deleteDependencies(Topic t) |
java.lang.String |
getLabel() |
void |
redo() |
void |
undo() |
canRedo, canUndo, combineWith, getDescription, getOperationNumber, getRedoLabel, getUndoLabel, isMarkerprotected TopicMap tm
protected TopicMap tmcopy
protected Locator si1
protected Locator si2
private java.util.HashSet<UndoOperation> dependencies
public MergeOperation(Topic t1, Topic t2) throws TopicMapException, UndoException
TopicMapExceptionUndoExceptionprivate void addDependencies(Topic t) throws TopicMapException, UndoException
TopicMapExceptionUndoExceptionprivate void deleteDependencies(Topic t) 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