ptolemy.kernel.util

Interface ChangeListener

All Known Implementing Classes:

AbstractBasicGraphModel, ActorGraphFrame, ActorGraphModel, ActorGraphModel.LinkModel.LinkChangeListener, BasicGraphFrame, BreakpointConfigurer, Case, CaseGraphFrame, ChangeRequestTest, ConfigurationEffigy, ConvertToLazy, CurrentExecutionPanel, DocBuilderEffigy, EditIconFrame, EditParametersDialog, EntityTreeModel.TreeUpdateListener, ExecutionChoice, ExtendedGraphFrame, FSMGraphFrame, FSMGraphModel, InterfaceAutomatonGraphFrame, KAREffigy, KeplerGraphFrame, ModalModel, ModalRefinement, ModelDisplay, MoMLCommandLineApplication, MoMLParser, MoMLSimpleApplication, MoMLSimpleApplication, MoMLSimpleStatisticalApplication, MoMLSimpleTimeoutApplication, MoMLUndoEntry, NamedObjId, OpenInstanceDialog, PlotEffigy, PortConfigurerDialog, ProvenanceRecorder, PtolemyEffigy, PtolemyQuery, RenameConfigurer, RenameListener, Rerun, SetVariable, StreamChangeListener, TabbedKeplerGraphFrame, UnitConstraintsDialog, UnloadModelTest, WorkflowManager

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

Author:

Edward A. Lee

See Also:

ChangeRequest

Pt.AcceptedRating:

Green (neuendor)

Pt.ProposedRating:

Green (eal)

Method Summary

Modifier and Type	Method and Description
void	changeExecuted(ChangeRequest change) React to a change request has been successfully executed.
void	changeFailed(ChangeRequest change, java.lang.Exception exception) React to a change request has resulted in an exception.

Method Detail

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.