Package org.jcsp.test

Class ExtendedReaderSync

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

public class ExtendedReaderSync extends Object implements CSProcess
A process that performs a set number of extended inputs, syncing on a barrier as its extended action for each
  • Field Details

    • events

      private AltingBarrier[][] events
    • input

      private ChannelInput input
    • iterations

      private int iterations
    • valuesRead

      private Object[] valuesRead
  • Constructor Details

  • Method Details

    • run

      public void run()
      Description copied from interface: CSProcess
      This defines the actions of the process.
      Specified by:
      run in interface CSProcess
    • getValuesRead

      public Object[] getValuesRead()