jtp.undo
Class UntellUndoManager

java.lang.Object
  |
  +--javax.swing.undo.AbstractUndoableEdit
        |
        +--javax.swing.undo.CompoundEdit
              |
              +--javax.swing.undo.UndoManager
                    |
                    +--jtp.undo.SnapshotUndoManager
                          |
                          +--jtp.undo.UntellUndoManager

All Implemented Interfaces:

EventListener, Serializable, UndoableEdit, UndoableEditListener

public class UntellUndoManager

extends SnapshotUndoManager

Created: Tue May 7 18:06:48 PDT 2002

See Also:

Serialized Form

Field Summary

Fields inherited from class javax.swing.undo.CompoundEdit

edits

Fields inherited from class javax.swing.undo.AbstractUndoableEdit

RedoName, UndoName

Constructor Summary

UntellUndoManager()

Method Summary

List	undoToObject(Object obj) If obj is represented by a TellEdit in this undo manager, all edits up to and including the edit representing obj are undone.

Methods inherited from class jtp.undo.SnapshotUndoManager

getObjectsToldSinceSnapshot, getSnapshot, revertToSnapshot

Methods inherited from class javax.swing.undo.UndoManager

addEdit, canRedo, canUndo, canUndoOrRedo, discardAllEdits, editToBeRedone, editToBeUndone, end, getLimit, getRedoPresentationName, getUndoOrRedoPresentationName, getUndoPresentationName, redo, redoTo, setLimit, toString, trimEdits, trimForLimit, undo, undoableEditHappened, undoOrRedo, undoTo

Methods inherited from class javax.swing.undo.CompoundEdit

die, getPresentationName, isInProgress, isSignificant, lastEdit

Methods inherited from class javax.swing.undo.AbstractUndoableEdit

replaceEdit

Methods inherited from class java.lang.Object

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

Constructor Detail

UntellUndoManager

public UntellUndoManager()

Method Detail

undoToObject

public List undoToObject(Object obj)
                  throws CannotUndoException

If obj is represented by a TellEdit in this undo manager, all edits up to and including the edit representing obj are undone.

Parameters:

obj - a directly asserted object, e.g., a Literal

Returns:

a list of all objects/sentences that were unasserted, including obj, which will be the first thing in the list.

CannotUndoException