class EventRecorder extends java.lang.Object implements CSProcess
Modifier and Type | Field and Description |
---|---|
private java.util.List |
observedGuards |
private Guard[] |
originalGuards |
private int |
stopOnGuard |
Constructor and Description |
---|
EventRecorder(Guard[] guards,
int terminateEvent) |
Modifier and Type | Method and Description |
---|---|
Guard[] |
getObservedEvents() |
void |
run()
This defines the actions of the process.
|