Package org.jcsp.test
Class ExtendedReaderSyncInt
java.lang.Object
org.jcsp.test.ExtendedReaderSyncInt
- All Implemented Interfaces:
CSProcess
A process that performs a set number of extended inputs, syncing on a barrier
as its extended action for each
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate AltingBarrier[][]
private ChannelInputInt
private int
private int[]
-
Constructor Summary
ConstructorsConstructorDescriptionExtendedReaderSyncInt
(AltingBarrier[][] barriers, ChannelInputInt in, int iterations) ExtendedReaderSyncInt
(AltingBarrier barrier, ChannelInputInt in, int iterations) -
Method Summary
-
Field Details
-
events
-
input
-
iterations
private int iterations -
valuesRead
private int[] valuesRead
-
-
Constructor Details
-
ExtendedReaderSyncInt
-
ExtendedReaderSyncInt
-
-
Method Details