Package org.jcsp.test

Class EventRecorder

java.lang.Object
org.jcsp.test.EventRecorder
All Implemented Interfaces:
CSProcess

class EventRecorder extends 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 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()
      Description copied from interface: CSProcess
      This defines the actions of the process.
      Specified by:
      run in interface CSProcess