public interface ICustomAbortableUndoRedoFeature extends ICustomUndoRedoFeature
ICustomUndoRedoFeature this interface
supports cancellation of undo/redo operations.ICustomUndoRedoFeature| Modifier and Type | Method and Description |
|---|---|
boolean |
isAbort()
The Graphiti framework will call this method after
ICustomUndoRedoFeature.preUndo(org.eclipse.graphiti.features.context.IContext)/
ICustomUndoRedoFeature.preRedo(org.eclipse.graphiti.features.context.IContext) have
been called and before the actual undo/redo operation is triggered. |
boolean isAbort()
ICustomUndoRedoFeature.preUndo(org.eclipse.graphiti.features.context.IContext)/
ICustomUndoRedoFeature.preRedo(org.eclipse.graphiti.features.context.IContext) have
been called and before the actual undo/redo operation is triggered. In
case this method returns true, the operation will be
cancelled by the Graphiti framework by throwing an
OperationCanceledException that causes am EMF revert of the
operation.
Implementing classes might e.g. set a flag in
ICustomUndoRedoFeature.preUndo(org.eclipse.graphiti.features.context.IContext)/
ICustomUndoRedoFeature.preRedo(org.eclipse.graphiti.features.context.IContext) as
cancellation indication and check that that flag here.
true in case you want to cancel the current
operation, false otherwise.