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.

Method Detail

visit

void visit(ExecutionOccurrence execution)

Visits an ExecutionOccurrence.

Parameters:

execution - the execution occurrence being visited