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

All Known Implementing Classes:

ExceptionCaughtSearchQuery, ExecutionHistorySearchQuery, InvariantViolatedSearchQuery, LineExecutedSearchQuery, MethodCalledSearchQuery, MethodReturnedSearchQuery, ObjectCreatedSearchQuery, VariableChangedSearchQuery

Enclosing interface:

SequenceModel

public static interface SequenceModel.EventVisitor

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

Method Summary

void	visit(EventOccurrence event) Visits an EventOccurrernce (other than a MessageSend).
void	visit(MessageSend event) Visits an occurrence of a MessageSend event.

Method Detail

visit

void visit(EventOccurrence event)

Visits an EventOccurrernce (other than a MessageSend).

Parameters:

event - the event occurrence being visited

visit

void visit(MessageSend event)

Visits an occurrence of a MessageSend event.

Parameters:

event - the message send being visited