edu.princeton.swing.text

Class HighlightedDocument.UndoableEdit

java.lang.Object

edu.princeton.swing.text.HighlightedDocument.UndoableEdit

All Implemented Interfaces:

javax.swing.undo.UndoableEdit

Enclosing class:

HighlightedDocument

public class HighlightedDocument.UndoableEdit
extends java.lang.Object
implements javax.swing.undo.UndoableEdit

UndoableEdit is a simple implementation of javax.swing.undo.UndoableEdit.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	HighlightedDocument.UndoableEdit(int offset, int length, java.lang.StringBuffer newText, boolean mergable) Creates a new UndoableEdit.
protected	HighlightedDocument.UndoableEdit(int offset, java.lang.StringBuffer oldText, java.lang.StringBuffer newText, boolean mergable)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	addEdit(javax.swing.undo.UndoableEdit edit) Attempts to merge another edit with the current edit.
boolean	canRedo() Returns wheter or not this edit is alive.
boolean	canUndo() Returns wheter or not this edit is alive.
void	die() Frees resources associated with an edit.
java.lang.String	getPresentationName() Returns a string describing the edit.
java.lang.String	getRedoPresentationName() Returns a string describing the edit.
java.lang.String	getUndoPresentationName() Returns a string describing the edit.
boolean	isSignificant() Returns true (this edit involved a document mutation).
void	redo() Redoes an edit.
boolean	replaceEdit(javax.swing.undo.UndoableEdit anEdit) Returns false (this edit should never replace another).
java.lang.String	toString() Returns a string describing the edit.
void	undo() Undoes this edit.

Methods inherited from class java.lang.Object

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

Constructor Detail

HighlightedDocument.UndoableEdit

protected HighlightedDocument.UndoableEdit(int offset,
                                java.lang.StringBuffer oldText,
                                java.lang.StringBuffer newText,
                                boolean mergable)

HighlightedDocument.UndoableEdit

protected HighlightedDocument.UndoableEdit(int offset,
                                int length,
                                java.lang.StringBuffer newText,
                                boolean mergable)

Creates a new UndoableEdit. This should be called *before* the edit is actually performed.

Method Detail

addEdit

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

Attempts to merge another edit with the current edit.

Specified by:

addEdit in interface javax.swing.undo.UndoableEdit

canRedo

public boolean canRedo()

Returns wheter or not this edit is alive.

Specified by:

canRedo in interface javax.swing.undo.UndoableEdit

canUndo

public boolean canUndo()

Returns wheter or not this edit is alive.

Specified by:

canUndo in interface javax.swing.undo.UndoableEdit

die

public void die()

Frees resources associated with an edit.

Specified by:

die in interface javax.swing.undo.UndoableEdit

getPresentationName

public java.lang.String getPresentationName()

Returns a string describing the edit.

Specified by:

getPresentationName in interface javax.swing.undo.UndoableEdit

getRedoPresentationName

public java.lang.String getRedoPresentationName()

Returns a string describing the edit.

Specified by:

getRedoPresentationName in interface javax.swing.undo.UndoableEdit

getUndoPresentationName

public java.lang.String getUndoPresentationName()

Returns a string describing the edit.

Specified by:

getUndoPresentationName in interface javax.swing.undo.UndoableEdit

toString

public java.lang.String toString()

Returns a string describing the edit.

Overrides:

toString in class java.lang.Object

isSignificant

public boolean isSignificant()

Returns true (this edit involved a document mutation).

Specified by:

isSignificant in interface javax.swing.undo.UndoableEdit

redo

public void redo()

Redoes an edit.

Specified by:

redo in interface javax.swing.undo.UndoableEdit

replaceEdit

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

Returns false (this edit should never replace another).

Specified by:

replaceEdit in interface javax.swing.undo.UndoableEdit

undo

public void undo()

Undoes this edit.

Specified by:

undo in interface javax.swing.undo.UndoableEdit