| Interface | Description |
|---|---|
| EventQueueDebugListener |
Interface for the debug listeners that receives event insertion and removal
messages.
|
| TimeAdvanceEvent |
An interface for an event that has time advance, such as ReceiveInput in GT.
|
| Class | Description |
|---|---|
| ActionsAttribute |
An attribute associated with Ptera events containing executable actions.
|
| Event |
A Ptera event is contained by a Ptera controller in a Ptera modal model.
|
| Event.EventParameter |
The parameter to store an argument passed on a scheduling relation to this
event.
|
| Event.RefiringData |
A data structure to store the model time advance for the refire() method to
be called.
|
| EventDebugEvent |
An event indicating the beginning and end of processing an event.
|
| ParametersAttribute |
This attribute keeps the parameters for an Ptera event.
|
| PteraController |
This controller is used in every Ptera modal model.
|
| PteraDebugEvent |
A debug event for Ptera models.
|
| PteraDirector |
A Ptera director implements the Event Relationship Graph semantics, and can be
used by Ptera controllers (instances of
PteraController) in Ptera modal
models (instances of PteraModalModel). |
| PteraDirector.TimedEvent |
The class to encapsulate information to be stored in an entry in the event
queue.
|
| PteraErrorEvent |
A debug event for reporting errors in the execution of Ptera models.
|
| PteraModalModel |
This is a typed composite actor to be a Ptera modal model.
|
| SchedulingRelation |
A scheduling relation is an edge from one Ptera event to another.
|
| VariableScope |
The parser scope that resolves names as attributes of a given container and
those of a superscope.
|