Package org.jcsp.test
Class WriterProcess
- java.lang.Object
-
- org.jcsp.test.WriterProcess
-
-
Constructor Summary
Constructors Constructor Description WriterProcess(ChannelOutput out, List values, AltingBarrier event)
WriterProcess(ChannelOutput out, List values, AltingBarrier[][] events)
-
-
-
Constructor Detail
-
WriterProcess
public WriterProcess(ChannelOutput out, List values, AltingBarrier[][] events)
-
WriterProcess
public WriterProcess(ChannelOutput out, List values, AltingBarrier event)
-
-