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, isMarker
protected 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
TopicMapException
UndoException
private void addDependencies(Topic t) throws TopicMapException, UndoException
TopicMapException
UndoException
private void deleteDependencies(Topic t) throws TopicMapException, UndoException
TopicMapException
UndoException
public java.lang.String getLabel()
getLabel
in class UndoOperation
public void undo() throws UndoException
undo
in class UndoOperation
UndoException
public void redo() throws UndoException
redo
in class UndoOperation
UndoException
Copyright 2004-2015 Wandora Team