Package org.jcsp.test
Class EventRecorder
- java.lang.Object
-
- org.jcsp.test.EventRecorder
-
- All Implemented Interfaces:
CSProcess
class EventRecorder extends java.lang.Object implements CSProcess
A class that listens out for many guards, and records the order in which they occur Note: do not pass in channel guards, as the process will not perform the necessary input after the guard is selected
-
-
Field Summary
Fields Modifier and Type Field Description private java.util.List
observedGuards
private Guard[]
originalGuards
private int
stopOnGuard
-
Constructor Summary
Constructors Constructor Description EventRecorder(Guard[] guards, int terminateEvent)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Guard[]
getObservedEvents()
void
run()
This defines the actions of the process.
-