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

Packages that use EventOccurrence

edu.buffalo.cse.jive.sequence	Sequence model used to represent program execution history.
edu.buffalo.cse.jive.ui.search	JIVE runtime search support.
edu.buffalo.cse.jive.ui.search.queries	JIVE search queries.

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

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

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

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

EventOccurrence

SequenceModel.getEventOccurrence(long eventNumber)

Methods in edu.buffalo.cse.jive.sequence that return types with arguments of type EventOccurrence

List<EventOccurrence>	ExecutionOccurrence.events() Returns the list of events that occurred within the execution occurrence.
Iterator<EventOccurrence>	SequenceModel.iterator() Returns an iterator which traverses the sequence model in a depth-first order.
Iterator<EventOccurrence>	SequenceModel.iterator(ExecutionOccurrence root) Returns an iterator which traverses the sequence model in a depth-first order starting at the supplied ExecutionOccurrence.
Iterator<EventOccurrence>	MultiThreadedSequenceModel.iterator(ThreadID thread) Returns an iterator which traverses the thread of execution of the supplied ThreadID in a depth-first order.
List<EventOccurrence>	ExecutionOccurrence.Importer.provideEvents()

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

void	SequenceModel.Listener.eventAdded(SequenceModel model, EventOccurrence event, ExecutionOccurrence execution) Called by the model when an EventOccurrence is added to the model.
void	SequenceModel.EventVisitor.visit(EventOccurrence event) Visits an EventOccurrernce (other than a MessageSend).

Method parameters in edu.buffalo.cse.jive.sequence with type arguments of type EventOccurrence

void	ExecutionOccurrence.Exporter.addEvents(List<EventOccurrence> events)

Uses of EventOccurrence in edu.buffalo.cse.jive.ui.search

Methods in edu.buffalo.cse.jive.ui.search with parameters of type EventOccurrence

protected void

ExecutionHistorySearchQuery.addMatch(EventOccurrence event) Adds a search query match to the search result.

Uses of EventOccurrence in edu.buffalo.cse.jive.ui.search.queries

Fields in edu.buffalo.cse.jive.ui.search.queries with type parameters of type EventOccurrence

protected Map<ThreadID,EventOccurrence>

ExceptionCaughtSearchQuery.lastStepMap A mapping between a thread and the last EOSEvent occurring on it.

Methods in edu.buffalo.cse.jive.ui.search.queries with parameters of type EventOccurrence

void	VariableChangedSearchQuery.visit(EventOccurrence event)
void	ObjectCreatedSearchQuery.visit(EventOccurrence event)
void	MethodReturnedSearchQuery.visit(EventOccurrence event)
void	MethodCalledSearchQuery.visit(EventOccurrence event)
void	LineExecutedSearchQuery.visit(EventOccurrence event)
void	InvariantViolatedSearchQuery.visit(EventOccurrence event)
void	ExceptionCaughtSearchQuery.visit(EventOccurrence event)