edu.rice.cs.drjava.model.repl
Class InteractionsDJDocument.CommandUndoableEdit

java.lang.Object
  javax.swing.undo.AbstractUndoableEdit
      edu.rice.cs.drjava.model.repl.InteractionsDJDocument.CommandUndoableEdit

All Implemented Interfaces:

Serializable, UndoableEdit

Enclosing class:

InteractionsDJDocument

private static class InteractionsDJDocument.CommandUndoableEdit
extends AbstractUndoableEdit

Appending any information for the reduced model from each undo command

Field Summary

private Runnable	_redoCommand
private Runnable	_undoCommand

Fields inherited from class javax.swing.undo.AbstractUndoableEdit

RedoName, UndoName

Constructor Summary

InteractionsDJDocument.CommandUndoableEdit(Runnable undoCommand, Runnable redoCommand)

Method Summary

boolean	isSignificant()
void	redo()
void	undo()

Methods inherited from class javax.swing.undo.AbstractUndoableEdit

addEdit, canRedo, canUndo, die, getPresentationName, getRedoPresentationName, getUndoPresentationName, replaceEdit, toString

Methods inherited from class java.lang.Object

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

Field Detail

_undoCommand

private final Runnable _undoCommand

_redoCommand

private final Runnable _redoCommand

Constructor Detail

InteractionsDJDocument.CommandUndoableEdit

public InteractionsDJDocument.CommandUndoableEdit(Runnable undoCommand,
                                                  Runnable redoCommand)

Method Detail

undo

public void undo()
          throws CannotUndoException

Specified by:

undo in interface UndoableEdit

Overrides:

undo in class AbstractUndoableEdit

Throws:

CannotUndoException

redo

public void redo()
          throws CannotRedoException

Specified by:

redo in interface UndoableEdit

Overrides:

redo in class AbstractUndoableEdit

Throws:

CannotRedoException

isSignificant

public boolean isSignificant()

Specified by:

isSignificant in interface UndoableEdit

Overrides:

isSignificant in class AbstractUndoableEdit