public interface ExecutionAspectListener
| Modifier and Type | Interface and Description |
|---|---|
static class |
ExecutionAspectListener.ExecutionEventType
Execution time event types.
|
| Modifier and Type | Method and Description |
|---|---|
void |
event(NamedObj actor,
double physicalTime,
ExecutionAspectListener.ExecutionEventType scheduleEvent)
Plot a new execution event for an actor (i.e. an actor
started/finished execution, was preempted or resumed).
|
void |
initialize(java.util.List<NamedObj> actors,
ActorExecutionAspect scheduler)
Initialize listener.
|
void initialize(java.util.List<NamedObj> actors, ActorExecutionAspect scheduler)
actors - Actors to be scheduled.scheduler - Resource scheduler scheduling actors.void event(NamedObj actor, double physicalTime, ExecutionAspectListener.ExecutionEventType scheduleEvent)
actor - The actor.physicalTime - The physical time when this scheduling event occurred.scheduleEvent - The scheduling event.