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 ExecutionOccurrence
s and
EventOccurrence
s are added to the model.
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 addedexecution
- the execution occurrence that was addedinitiator
- 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 addedevent
- the event occurrence that was addedexecution
- the containing execution of the added event