edu.buffalo.cse.jive.sequence.java
Interface ThreadActivation

All Superinterfaces:

ExecutionOccurrence, JavaExecutionActivation

public interface ThreadActivation
extends JavaExecutionActivation

A JavaExecutionActivation representing the execution of a thread.

See Also:

JavaExecutionActivation

Nested Class Summary

static interface	ThreadActivation.Exporter A reverse-builder for thread activations.
static interface	ThreadActivation.Importer A builder for thread activations.

Nested classes/interfaces inherited from interface edu.buffalo.cse.jive.sequence.java.JavaExecutionActivation

JavaExecutionActivation.Visitor

Method Summary

ThreadID

thread() Returns the identifier of the thread that the activation represents.

Methods inherited from interface edu.buffalo.cse.jive.sequence.java.JavaExecutionActivation

accept

Methods inherited from interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence

containingModel, context, duration, events, export, id, initiator, isTerminated

Method Detail

thread

ThreadID thread()

Returns the identifier of the thread that the activation represents.

Returns:

the thread identifier of the activation