Skip navigation links

oracle.rules.sdk2.dictionary
Class UndoableEdit

java.lang.Object
oracle.rules.sdk2.dictionary.UndoableEdit

All Implemented Interfaces:

javax.swing.undo.UndoableEdit

public class UndoableEdit

extends java.lang.Object

implements javax.swing.undo.UndoableEdit

Simplified version of javax.swing.undo.UndoableEdit. A swing app should delegate to this class.

Note that undo and redo operations rollback any updates in progress on the RuleDictionary that generated the UndoableEdit.

Method Summary

boolean	addEdit(javax.swing.undo.UndoableEdit anEdit)
boolean	canRedo() True if it is still possible to redo this operation.
boolean	canUndo() True if it is still possible to undo this operation.
void	die() May be sent to inform an edit that it should no longer be used.
java.lang.String	getPresentationName()
java.lang.String	getRedoPresentationName()
java.lang.String	getUndoPresentationName()
boolean	isSignificant()
void	redo() Re-apply the edit, assuming that it has been undone.
boolean	replaceEdit(javax.swing.undo.UndoableEdit anEdit)
void	setPresentationName(java.lang.String pn)
void	setRedoPresentationName(java.lang.String pn)
void	setUndoPresentationName(java.lang.String pn)
void	undo() Undo the edit that was made.

Methods inherited from class java.lang.Object

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

Method Detail

undo

public void undo()
          throws javax.swing.undo.CannotUndoException

Undo the edit that was made.

Specified by:

undo in interface javax.swing.undo.UndoableEdit

Throws:

javax.swing.undo.CannotUndoException

canUndo

public boolean canUndo()

True if it is still possible to undo this operation.

Specified by:

canUndo in interface javax.swing.undo.UndoableEdit

redo

public void redo()
          throws javax.swing.undo.CannotRedoException

Re-apply the edit, assuming that it has been undone.

Specified by:

redo in interface javax.swing.undo.UndoableEdit

Throws:

javax.swing.undo.CannotRedoException

canRedo

public boolean canRedo()

True if it is still possible to redo this operation.

Specified by:

canRedo in interface javax.swing.undo.UndoableEdit

die

public void die()

May be sent to inform an edit that it should no longer be used. This is a useful hook for cleaning up state no longer needed once undoing or redoing is impossible--for example, deleting file resources used by objects that can no longer be undeleted.

UndoManager

calls this before it dequeues edits. Note that this is a one-way operation. There is no "un-die" method.

Specified by:

die in interface javax.swing.undo.UndoableEdit

addEdit

public boolean addEdit(javax.swing.undo.UndoableEdit anEdit)

Specified by:

addEdit in interface javax.swing.undo.UndoableEdit

replaceEdit

public boolean replaceEdit(javax.swing.undo.UndoableEdit anEdit)

Specified by:

replaceEdit in interface javax.swing.undo.UndoableEdit

isSignificant

public boolean isSignificant()

Specified by:

isSignificant in interface javax.swing.undo.UndoableEdit

getPresentationName

public java.lang.String getPresentationName()

Specified by:

getPresentationName in interface javax.swing.undo.UndoableEdit

setPresentationName

public void setPresentationName(java.lang.String pn)

getUndoPresentationName

public java.lang.String getUndoPresentationName()

Specified by:

getUndoPresentationName in interface javax.swing.undo.UndoableEdit

setUndoPresentationName

public void setUndoPresentationName(java.lang.String pn)

getRedoPresentationName

public java.lang.String getRedoPresentationName()

Specified by:

getRedoPresentationName in interface javax.swing.undo.UndoableEdit

setRedoPresentationName

public void setRedoPresentationName(java.lang.String pn)

Skip navigation links