info.bioinfweb.treegraph.document.undo.edit
Class ChangeLabelIDEdit
java.lang.Object
info.bioinfweb.treegraph.document.undo.DocumentEdit
info.bioinfweb.treegraph.document.undo.edit.ChangeLabelIDEdit
- All Implemented Interfaces:
- UndoableEdit
public class ChangeLabelIDEdit
- extends DocumentEdit
Changes the IDs of a specified group of labels.
This class should only be used to change the IDs of labels and not to rename an ID in the
document, because it informs document listeners only about general changes in the document and not
about a renamed ID. For this case RenameDataIDEdit
should be used.
- Author:
- Ben Stöver
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
newID
private String newID
labels
private Label[] labels
oldIDs
private String[] oldIDs
ChangeLabelIDEdit
public ChangeLabelIDEdit(Document document,
String newID,
Label[] labels)
redo
public void redo()
throws CannotRedoException
- Specified by:
redo
in interface UndoableEdit
- Overrides:
redo
in class DocumentEdit
- Throws:
CannotRedoException
undo
public void undo()
throws CannotUndoException
- Specified by:
undo
in interface UndoableEdit
- Overrides:
undo
in class DocumentEdit
- Throws:
CannotUndoException
getPresentationName
public String getPresentationName()