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