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

Packages that use SequenceModel.EventVisitor

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 SequenceModel.EventVisitor in edu.buffalo.cse.jive.sequence

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

void	SequenceModel.accept(SequenceModel.EventVisitor visitor) Processes an EventVisitor over the model in a depth-first order.
void	EventOccurrence.accept(SequenceModel.EventVisitor visitor, Object arg) Accepts the EventVisitor.

Uses of SequenceModel.EventVisitor in edu.buffalo.cse.jive.ui.search

Classes in edu.buffalo.cse.jive.ui.search that implement SequenceModel.EventVisitor

class

ExecutionHistorySearchQuery An abstract search query over the execution history of an IJiveDebugTarget.

Uses of SequenceModel.EventVisitor in edu.buffalo.cse.jive.ui.search.queries

Classes in edu.buffalo.cse.jive.ui.search.queries that implement SequenceModel.EventVisitor

class	ExceptionCaughtSearchQuery An IJiveSearchQuery that is used to check whether an exception was caught and, if so, where it was thrown.
class	InvariantViolatedSearchQuery An IJiveSearchQuery that is used to check whether a class invariant was violated.
class	LineExecutedSearchQuery An IJiveSearchQuery that is used to check whether a line is executed.
class	MethodCalledSearchQuery An IJiveSearchQuery that is used to check whether a method was called.
class	MethodReturnedSearchQuery An IJiveSearchQuery that is used to check method returns and optionally conditions on return values.
class	ObjectCreatedSearchQuery An IJiveSearchQuery that is used to search for object creations.
class	VariableChangedSearchQuery An IJiveSearchQuery that is used to check where a variable has changed and also when a condition on the new value holds.