Package org.jcsp.test
Class ExtendedReaderSync
java.lang.Object
org.jcsp.test.ExtendedReaderSync
- 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 ChannelInput
private int
private Object[]
-
Constructor Summary
ConstructorsConstructorDescriptionExtendedReaderSync
(AltingBarrier[][] barriers, ChannelInput in, int iterations) ExtendedReaderSync
(AltingBarrier barrier, ChannelInput in, int iterations) -
Method Summary
-
Field Details
-
events
-
input
-
iterations
private int iterations -
valuesRead
-
-
Constructor Details
-
ExtendedReaderSync
-
ExtendedReaderSync
-
-
Method Details