|
JIVE Platform Release 0.2.2 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
JIVE Platform Release 0.2.2 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |