info.bioinfweb.treegraph.document.undo.format
Class OperatorsEdit

java.lang.Object
  info.bioinfweb.treegraph.document.undo.DocumentEdit
      info.bioinfweb.treegraph.document.undo.format.OperatorsEdit

All Implemented Interfaces:

UndoableEdit

public class OperatorsEdit
extends DocumentEdit

This edit changes applies the specified formats to the specified document elements.

Author:

Ben Stöver

Field Summary

private PaintableElement[]	applyElements
private Vector<ElementFormats>	changedFormats Used to store the previous format objects before they are edited to restore them in undo().
private FormatOperator[]	operators

Fields inherited from class info.bioinfweb.treegraph.document.undo.DocumentEdit

document

Constructor Summary

OperatorsEdit(Document document, PaintableElement[] applyElements, FormatOperator[] operators)

Method Summary

String	getPresentationName()
void	redo()
void	undo()

Methods inherited from class info.bioinfweb.treegraph.document.undo.DocumentEdit

addEdit, canRedo, canUndo, die, getRedoPresentationName, getUndoPresentationName, isSignificant, replaceEdit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

applyElements

private PaintableElement[] applyElements

operators

private FormatOperator[] operators

changedFormats

private Vector<ElementFormats> changedFormats

Used to store the previous format objects before they are edited to restore them in undo().

Constructor Detail

OperatorsEdit

public OperatorsEdit(Document document,
                     PaintableElement[] applyElements,
                     FormatOperator[] operators)

Method Detail

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