|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ExecutionListener
An ExecutionListener listens for events that are issued during the execution of a model by a Manager. In general, an object that implements this interface will probably be a front end such as an applet, a GUI, or a command-line interpreter, or an object that is communicating with a front end. Most of the events that are reported are state changes in the manager.
Some execution events happen in response to an asynchronous request. For example, when the pause() method of a manager is called, a flag is set, and at the end of the next toplevel iteration, the manager will notice the flag and pause execution. In such cases, the execution listeners are not notified when the request occurs, but only when the execution thread has actually been suspended.
Manager
Green (bart) |
Green (neuendor) |
Method Summary | |
---|---|
void |
executionError(Manager manager,
java.lang.Throwable throwable)
Report an execution failure. |
void |
executionFinished(Manager manager)
Report that the current execution has finished and the wrapup sequence has completed normally. |
void |
managerStateChanged(Manager manager)
Report that the manager has changed state. |
Method Detail |
---|
void executionError(Manager manager, java.lang.Throwable throwable)
manager
- The manager controlling the execution.throwable
- The throwable to report.void executionFinished(Manager manager)
manager
- The manager controlling the execution.void managerStateChanged(Manager manager)
manager
- The manager controlling the execution.Manager.getState()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |