ptolemy.kernel.util
Interface ChangeListener
- All Known Implementing Classes:
- AbstractBasicGraphModel, ActorGraphFrame, ActorGraphModel, ActorGraphModel.LinkModel.LinkChangeListener, BasicGraphFrame, BreakpointConfigurer, Case, Case, CaseGraphFrame, CaseGraphFrame, ConfigurationEffigy, Configure.Query, ConvertToLazy, DocBuilderEffigy, EditIconFrame, EditParametersDialog, EntityTreeModel.TreeUpdateListener, ExtendedGraphFrame, FmvAutomatonGraphFrame, FmvAutomatonGraphFrame, FSMGraphFrame, FSMGraphFrame, FSMGraphModel, FSMGraphModel, GeneratorAttribute, GeneratorTableauAttribute, GTFrame, GTFrameController.GTActorGraphModel, GTFrameController.GTFSMGraphModel, InterfaceAutomatonGraphFrame, InterfaceAutomatonGraphFrame, MatchResultViewer, ModalModel, ModalModel, ModalRefinement, ModelDisplay, MoMLCommandLineApplication, MoMLParser, MoMLSimpleApplication, MoMLSimpleApplication, MoMLSimpleStatisticalApplication, MoMLUndoEntry, NavigableActorGraphFrame, NavigableEffigy, OpenInstanceDialog, PortConfigurerDialog, PteraGraphFrame, PteraModalModel, PtolemyEffigy, PtolemyQuery, RenameConfigurer, SetVariable, StreamChangeListener, TDLModule, TransformationAttributeController.Listener, TransformationEditor, UnitConstraintsDialog
public interface ChangeListener
A ChangeListener is an interface implemented by objects that are
interested in being kept informed about changes in a model as they
are executed. These listeners are informed when each change is successfully
executed, or when an attempt to execute it results in an exception.
- Since:
- Ptolemy II 1.0
- Version:
- $Id: ChangeListener.java 57040 2010-01-27 20:52:32Z cxh $
- Author:
- Edward A. Lee
- See Also:
ChangeRequest
- Accepted Rating:
- Proposed Rating:
changeExecuted
void changeExecuted(ChangeRequest change)
- React to a change request has been successfully executed.
This method is called after a change request
has been executed successfully.
- Parameters:
change
- The change that has been executed, or null if
the change was not done via a ChangeRequest.
changeFailed
void changeFailed(ChangeRequest change,
java.lang.Exception exception)
- React to a change request has resulted in an exception.
This method is called after a change request was executed,
but during the execution an exception was thrown.
- Parameters:
change
- The change that was attempted or null if
the change was not done via a ChangeRequest.exception
- The exception that resulted.