JavaScript is disabled on your browser.
All Implemented Interfaces:
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
Constructor Summary
Constructors
Method Summary
All Methods Instance Methods Concrete Methods
void
This defines the actions of the process.
Methods inherited from class java.lang.Object
clone , equals , finalize , getClass , hashCode , notify , notifyAll , toString , wait , wait , wait
Field Details
originalGuards
private Guard [] originalGuards
stopOnGuard
private int stopOnGuard
observedGuards
private List observedGuards
Constructor Details
EventRecorder
public EventRecorder (Guard [] guards,
int terminateEvent)
Method Details
getObservedEvents
public Guard [] getObservedEvents ()
run
public void run ()
This defines the actions of the process.
Specified by:
run
in interface CSProcess