edu.buffalo.cse.jive.sequence
Interface ExecutionOccurrence

All Known Subinterfaces:

FilteredMethodActivation, JavaExecutionActivation, MethodActivation, ThreadActivation

public interface ExecutionOccurrence

A portion of execution within a program execution history consisting of an environment in which events occur. An ExecutionOccurrence is initiated by a MessageSend from an immediately preceding execution.

This list of events occurring within an execution occurrence are ordered by when they arose during the program execution. A message send is a special type of event occurrence that results in another execution occurrence. Therefore, events in the resulting execution (and so on recursively) occur in the program execution history before any events occurring after the message send in the original execution occurrence.

See Also:

SequenceModel, EventOccurrence, Message

Nested Class Summary

static interface	ExecutionOccurrence.Exporter A reverse-builder for execution occurrences.
static interface	ExecutionOccurrence.Importer A builder for execution occurrences.

Method Summary

SequenceModel	containingModel() Returns the SequenceModel in which the execution occurrence belongs.
ContourID	context() Returns the context identifier of the execution occurrence.
long	duration() Returns the number of events occurring while the execution occurrence is active.
List<EventOccurrence>	events() Returns the list of events that occurred within the execution occurrence.
void	export(ExecutionOccurrence.Exporter exporter) Exports the execution occurrence to the reverse-builder supplied as a parameter.
ContourID	id() Returns the identifier of the execution occurrence.
MessageSend	initiator() Returns the Message which initiated the execution occurrence.

Method Detail

export

void export(ExecutionOccurrence.Exporter exporter)

Exports the execution occurrence to the reverse-builder supplied as a parameter.

Parameters:

exporter - the reverse-builder

id

ContourID id()

Returns the identifier of the execution occurrence. This is typically the identifier of the method activation in which this execution occurrence represents.

Returns:

the identifier of the execution

context

ContourID context()

Returns the context identifier of the execution occurrence. The context is typically the environment (instance or static) in which the execution took place. The contour ID returned may refer to a virtual contour.

Returns:

the context identifier of the execution

duration

long duration()

Returns the number of events occurring while the execution occurrence is active. This includes events

• contained by the execution,
• contained by execution occurrences resulting from message sends contained within the execution (and so on recursively), and
• occurring on other threads before the execution occurrence completes.

Returns:

the number of events elapsing while the execution occurrence is active

events

List<EventOccurrence> events()

Returns the list of events that occurred within the execution occurrence. The list should not be the underlying list itself, but rather a copy of it.

Returns:

the list of events occurring within the execution

initiator

MessageSend initiator()

Returns the Message which initiated the execution occurrence.

Returns:

the message initiating the execution occurrence

containingModel

SequenceModel containingModel()

Returns the SequenceModel in which the execution occurrence belongs.

Returns:

the sequence model containing the execution