See: Description
| Class | Description |
|---|---|
| AssignToAllElement |
Defines an AssignToAll element.
|
| ClearTemporaryDataElement |
Defines an ExitElement.
|
| Constants |
Defines constantes for the different types of events.
|
| EndSystemElement |
Defines an EndSystemElement.
|
| EnterConfigurationElement |
Defines a EnterConfigurationElement.
|
| EnterElement |
Defines an EnterElement.
|
| ExitElement |
Defines an ExitElement.
|
| FinishRecordingElement |
Defines a FinishRecordingElement.
|
| IoElement |
Defines a ReadIoElement.
|
| MemoryAllocatedElement |
Defines a MemoryAllocatedElement.
|
| MemoryFreedByRecIdElement |
Defines a MemoryFreedByRecIdElement.
|
| NotifyProgramRecordCreationElement |
Defines an ExitElement.
|
| NotifyTimerElement |
Defines an ExitElement.
|
| NotifyValueChangeElement |
Defines an ExitElement.
|
| PrintCurrentState |
Defines an event for signalling that the current state should be printed.
|
| PrintStatisticsElement |
Defines a PrintStatisticsElement.
|
| RecordingStrategiesElement |
Defines a RecordingStrategieseElement.
|
| RegisterElement |
Defines a message element which transports recording of threads e.g. over
network.
|
| StartRecordingElement |
Defines a StartRecordingElement.
|
| StopTimeRecordingElement |
Defines a StopTimeRecordingElement.
|