Package org.jcsp.test
Class ExtendedReaderSync
- java.lang.Object
-
- org.jcsp.test.ExtendedReaderSync
-
-
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 Object[]
getValuesRead()
void
run()
This defines the actions of the process.
-
-
-
Constructor Detail
-
ExtendedReaderSync
public ExtendedReaderSync(AltingBarrier[][] barriers, ChannelInput in, int iterations)
-
ExtendedReaderSync
public ExtendedReaderSync(AltingBarrier barrier, ChannelInput in, int iterations)
-
-