Package org.jcsp.test
Class ExtendedReaderSync
- java.lang.Object
-
- org.jcsp.test.ExtendedReaderSync
-
-
Field Summary
Fields Modifier and Type Field Description private AltingBarrier[][]
events
private ChannelInput
input
private int
iterations
private java.lang.Object[]
valuesRead
-
Constructor Summary
Constructors Constructor Description ExtendedReaderSync(AltingBarrier[][] barriers, ChannelInput in, int iterations)
ExtendedReaderSync(AltingBarrier barrier, ChannelInput in, int iterations)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.Object[]
getValuesRead()
void
run()
This defines the actions of the process.
-
-
-
Field Detail
-
events
private AltingBarrier[][] events
-
input
private ChannelInput input
-
iterations
private int iterations
-
valuesRead
private java.lang.Object[] valuesRead
-
-
Constructor Detail
-
ExtendedReaderSync
public ExtendedReaderSync(AltingBarrier[][] barriers, ChannelInput in, int iterations)
-
ExtendedReaderSync
public ExtendedReaderSync(AltingBarrier barrier, ChannelInput in, int iterations)
-
-