ptolemy.kernel.util
Interface ChangeListener

All Known Implementing Classes:

AbstractBasicGraphModel, ActorGraphFrame, ActorGraphModel, ActorGraphModel.LinkModel.LinkChangeListener, ArgumentConfigurerDialog, BasicGraphFrame, BreakpointConfigurer, Case, CaseGraphFrame, ConfigurationEffigy, DocBuilderEffigy, EditIconFrame, EditParametersDialog, EntityTreeModel.TreeUpdateListener, ExtendedGraphFrame, FSMGraphFrame, FSMGraphModel, GeneratorAttribute, GeneratorTableauAttribute, GTFrame, GTFrameController.GTActorGraphModel, GTFrameController.GTFSMGraphModel, InterfaceAutomatonGraphFrame, MatchResultViewer, ModalModel, ModelDisplay, MoMLParser, MoMLSimpleApplication, MoMLSimpleStatisticalApplication, MoMLUndoEntry, NavigableActorGraphFrame, NavigableEffigy, OpenInstanceDialog, PortConfigurerDialog, PtolemyEffigy, PtolemyQuery, RenameConfigurer, SetVariable, StreamChangeListener, TestApplication, 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,v 1.19 2005/07/08 19:59:15 cxh Exp $

Author:

Edward A. Lee

See Also:

ChangeRequest

Accepted Rating:

Green (neuendor)

Proposed Rating:

Green (eal)

Method Summary

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.