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