private void |
MergeOperation.addDependencies(Topic t) |
static ModifyAssociationOperation |
ModifyAssociationOperation.addPlayer(Association a,
Topic role,
Topic player) |
static ModifyAssociationOperation |
ModifyAssociationOperation.addPlayers(Association a,
java.util.Map<Topic,Topic> members) |
private void |
MergeOperation.deleteDependencies(Topic t) |
static Association |
RemoveAssociationOperation.findAssociation(TopicMap tm,
Locator type,
java.util.HashMap<Locator,Locator> players) |
void |
AddSubjectIdentifierOperation.redo() |
void |
AddTypeOperation.redo() |
void |
CreateAssociationOperation.redo() |
void |
CreateTopicOperation.redo() |
void |
MergeOperation.redo() |
void |
ModifyAssociationOperation.redo() |
void |
NoOperation.redo() |
void |
RemoveAssociationOperation.redo() |
void |
RemoveSubjectIdentifierOperation.redo() |
void |
RemoveTopicOperation.redo() |
void |
RemoveTypeOperation.redo() |
void |
SetBaseNameOperation.redo() |
void |
SetOccurrenceOperation.redo() |
void |
SetSubjectLocatorOperation.redo() |
void |
SetVariantOperation.redo() |
void |
UndoBuffer.redo() |
void |
UndoMarker.redo() |
abstract void |
UndoOperation.redo() |
private void |
UndoBuffer.redoOne() |
static ModifyAssociationOperation |
ModifyAssociationOperation.removePlayer(Association a,
Topic role) |
static ModifyAssociationOperation |
ModifyAssociationOperation.setType(Association a,
Topic type) |
void |
AddSubjectIdentifierOperation.undo() |
void |
AddTypeOperation.undo() |
void |
CreateAssociationOperation.undo() |
void |
CreateTopicOperation.undo() |
void |
MergeOperation.undo() |
void |
ModifyAssociationOperation.undo() |
void |
NoOperation.undo() |
void |
RemoveAssociationOperation.undo() |
void |
RemoveSubjectIdentifierOperation.undo() |
void |
RemoveTopicOperation.undo() |
void |
RemoveTypeOperation.undo() |
void |
SetBaseNameOperation.undo() |
void |
SetOccurrenceOperation.undo() |
void |
SetSubjectLocatorOperation.undo() |
void |
SetVariantOperation.undo() |
void |
UndoBuffer.undo() |
void |
UndoMarker.undo() |
abstract void |
UndoOperation.undo() |
private void |
UndoBuffer.undoOne() |