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