Package org.jcsp.test
Class ExtendedReaderSyncInt
- java.lang.Object
-
- org.jcsp.test.ExtendedReaderSyncInt
-
-
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.
-
-
-
Constructor Detail
-
ExtendedReaderSyncInt
public ExtendedReaderSyncInt(AltingBarrier[][] barriers, ChannelInputInt in, int iterations)
-
ExtendedReaderSyncInt
public ExtendedReaderSyncInt(AltingBarrier barrier, ChannelInputInt in, int iterations)
-
-