Uses of Interface
edu.buffalo.cse.jive.sequence.SequenceModel

Packages that use SequenceModel

edu.buffalo.cse.jive.sequence

Sequence model used to represent program execution history.

Uses of SequenceModel in edu.buffalo.cse.jive.sequence

Subinterfaces of SequenceModel in edu.buffalo.cse.jive.sequence

interface

MultiThreadedSequenceModel A SequenceModel used to represent a program execution history of a multi-threaded program.

Methods in edu.buffalo.cse.jive.sequence that return SequenceModel

SequenceModel	ExecutionOccurrence.containingModel() Returns the SequenceModel in which the execution occurrence belongs.
SequenceModel	ExecutionOccurrence.Importer.provideContainingModel()

Methods in edu.buffalo.cse.jive.sequence with parameters of type SequenceModel

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