edu.buffalo.cse.jive.sequence
Interface SequenceModel.Listener

Enclosing interface:

SequenceModel

public static interface SequenceModel.Listener

A listener interface for the SequenceModel. Implementing classes are notified when ExecutionOccurrences and EventOccurrences are added to the model.

Method Summary

void	eventAdded(SequenceModel model, EventOccurrence event, ExecutionOccurrence execution) Called by the model when an EventOccurrence is added to the model.
void	executionAdded(SequenceModel model, ExecutionOccurrence execution, MessageSend initiator) Called by the model when an ExecutionOccurrence is added to the model.

Method Detail

executionAdded

void executionAdded(SequenceModel model,
                    ExecutionOccurrence execution,
                    MessageSend initiator)

Called by the model when an ExecutionOccurrence is added to the model.

Parameters:

model - the model in which the execution is added

execution - the execution occurrence that was added

initiator - the message send that initiated the added execution

eventAdded

void eventAdded(SequenceModel model,
                EventOccurrence event,
                ExecutionOccurrence execution)

Called by the model when an EventOccurrence is added to the model.

Parameters:

model - the model in which the execution is added

event - the event occurrence that was added

execution - the containing execution of the added event