Package org.jcsp.test

Class ExtendedReaderSyncInt

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

public class ExtendedReaderSyncInt 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 ChannelInputInt input
    • iterations

      private int iterations
    • valuesRead

      private int[] 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 int[] getValuesRead()