Package org.fxmisc.undo.impl

Class UndoManagerImpl.UndoPositionImpl

java.lang.Object

org.fxmisc.undo.impl.UndoManagerImpl.UndoPositionImpl

All Implemented Interfaces:

UndoManager.UndoPosition

Enclosing class:

UndoManagerImpl<C>

private class UndoManagerImpl.UndoPositionImpl
extends Object
implements UndoManager.UndoPosition

Field Summary

Fields

Modifier and Type	Field	Description
private final ChangeQueue.QueuePosition	queuePos

Constructor Summary

Constructors

Constructor	Description
UndoPositionImpl(ChangeQueue.QueuePosition queuePos)

Method Summary

Modifier and Type	Method	Description
boolean	isValid()	Checks whether this history position is still valid.
void	mark()	Sets the mark of the underlying UndoManager at this position.

Methods inherited from class java.lang.Object

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

Field Details

queuePos

private final ChangeQueue.QueuePosition queuePos

Constructor Details

UndoPositionImpl

UndoPositionImpl(ChangeQueue.QueuePosition queuePos)

Method Details

mark

public void mark()

Description copied from interface: UndoManager.UndoPosition

Sets the mark of the underlying UndoManager at this position. The mark is set whether or not this position is valid. It is OK for an UndoManager to be marked at an invalid position.

Specified by:

mark in interface UndoManager.UndoPosition

isValid

public boolean isValid()

Description copied from interface: UndoManager.UndoPosition

Checks whether this history position is still valid. A position becomes invalid when

• the change immediately preceding the position is undone and then discarded due to another incoming change; or
• the change immediately following the position is forgotten due to history size limit.

Specified by:

isValid in interface UndoManager.UndoPosition