ptolemy.domains.pn.kernel.event

Interface PNProcessListener

public interface PNProcessListener

An PNProcessListener is able to receive PNProcessEvents that are issued during the execution of a process by a ProcessThread or director in PN. In general, an object that implements this interface will probably be a front end such as a execution visualization tool for the Ptolemy II system, or an object that is communicating with a front end. The events are issued only when the event actually occurs, not when it is requested. For example: A process receives a call to pause(), but the process may pause some time after the pause was requested. The processPaused() method will not be called until the process actually pauses and corresponding thread is suspended.

Since:

Ptolemy II 0.3

Version:

$Id: PNProcessListener.java 38798 2005-07-08 20:00:01Z cxh $

Author:

Mudit Goel

Accepted Rating:

Red

Proposed Rating:

Yellow (mudit)

Method Summary

Modifier and Type	Method and Description
void	processFinished(PNProcessEvent event) Called to report that the execution of a process finished.
void	processStateChanged(PNProcessEvent event) Called to report that a process has changed its state (i.e. started, or blocked or unblocked, etc.).

Method Detail

processFinished

void processFinished(PNProcessEvent event)

Called to report that the execution of a process finished. The wrapup sequence may or may not have completed normally. The execution event will contain a reference to the actor corresponding to the process that finished and the reason for finishing.

Parameters:

event - A PNProcessEvent that contains a reference to an actor.

processStateChanged

void processStateChanged(PNProcessEvent event)

Called to report that a process has changed its state (i.e. started, or blocked or unblocked, etc.). The PNProcessEvent will contain a reference to the actor corresponding to the process. The event will also indicate the new state and blocking cause, etc.

Parameters:

event - A PNProcessEvent that contains a reference to an actor.