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

Enclosing interface:

SequenceModel

public static interface SequenceModel.ExecutionVisitor

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

Method Summary

void	visit(ExecutionOccurrence execution) Visits an ExecutionOccurrence.
boolean	visitChildren(ExecutionOccurrence execution) Returns whether to recursively visit the given execution's children.

Method Detail

visit

void visit(ExecutionOccurrence execution)

Visits an ExecutionOccurrence.

Parameters:

execution - the execution occurrence being visited

visitChildren

boolean visitChildren(ExecutionOccurrence execution)

Returns whether to recursively visit the given execution's children. This method can be used to effectively prune the search space.

Parameters:

execution - the execution whose children can be visited

Returns:

true if the children should be visited, false otherwise