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()