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

Method Detail

thread

ThreadID thread()

Returns the identifier of the thread that the activation represents.

Returns:

the thread identifier of the activation