Package org.jcsp.test

Class 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 Detail

      • originalGuards

        private Guard[] originalGuards
      • stopOnGuard

        private int stopOnGuard
      • observedGuards

        private java.util.List observedGuards
    • Constructor Detail

      • EventRecorder

        public EventRecorder​(Guard[] guards,
                             int terminateEvent)
    • Method Detail

      • 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