Uses of Package
edu.buffalo.cse.jive.sequence

Packages that use edu.buffalo.cse.jive.sequence

edu.buffalo.cse.jive.core	JIVE extensions of the JDT Debug model.
edu.buffalo.cse.jive.sequence	Sequence model used to represent program execution history.
edu.buffalo.cse.jive.sequence.java	Java-specific sequence model elements.
edu.buffalo.cse.jive.ui.search	JIVE runtime search support.
edu.buffalo.cse.jive.ui.search.queries	JIVE search queries.

Classes in edu.buffalo.cse.jive.sequence used by edu.buffalo.cse.jive.core

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

Classes in edu.buffalo.cse.jive.sequence used by edu.buffalo.cse.jive.sequence

EventOccurrence
An occurrence of a method call, variable assignment, or any other event of interest within a program execution history.

ExecutionOccurrence
A portion of execution within a program execution history consisting of an environment in which events occur.

ExecutionOccurrence.Exporter
A reverse-builder for execution occurrences.

Message
A Message defines a particular communication between lifelines (or contexts).

Message.MessageKind
The kind of message as defined by the UML specification.

Message.MessageSort
The sort of message as defined by the UML specification.

MessageReceive
An EventOccurrence that results in the termination of a Message.

MessageSend
An EventOccurrence that results in the creation of a Message.

SequenceModel
A representation of a program execution history.

SequenceModel.EventVisitor
A visitor for the sequence model that visits EventOccurrences in the order in which they occurred within the program execution.

SequenceModel.ExecutionVisitor
A visitor for the sequence model that visits ExecutionOccurrences in the order in which they occurred within the program execution.

SequenceModel.Listener
A listener interface for the SequenceModel.

Classes in edu.buffalo.cse.jive.sequence used by edu.buffalo.cse.jive.sequence.java

ExecutionOccurrence
A portion of execution within a program execution history consisting of an environment in which events occur.

ExecutionOccurrence.Exporter
A reverse-builder for execution occurrences.

ExecutionOccurrence.Importer
A builder for execution occurrences.

Classes in edu.buffalo.cse.jive.sequence used by edu.buffalo.cse.jive.ui.search

EventOccurrence
An occurrence of a method call, variable assignment, or any other event of interest within a program execution history.

SequenceModel.EventVisitor
A visitor for the sequence model that visits EventOccurrences in the order in which they occurred within the program execution.

Classes in edu.buffalo.cse.jive.sequence used by edu.buffalo.cse.jive.ui.search.queries

EventOccurrence
An occurrence of a method call, variable assignment, or any other event of interest within a program execution history.

MessageSend
An EventOccurrence that results in the creation of a Message.

SequenceModel.EventVisitor
A visitor for the sequence model that visits EventOccurrences in the order in which they occurred within the program execution.