Package org.jcsp.test
Class WriterProcess
- java.lang.Object
-
- org.jcsp.test.WriterProcess
-
-
Field Summary
Fields Modifier and Type Field Description private AltingBarrier[][]
events
private ChannelOutput
out
private java.util.List
values
-
Constructor Summary
Constructors Constructor Description WriterProcess(ChannelOutput out, java.util.List values, AltingBarrier event)
WriterProcess(ChannelOutput out, java.util.List values, AltingBarrier[][] events)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
run()
This defines the actions of the process.
-
-
-
Field Detail
-
out
private ChannelOutput out
-
values
private java.util.List values
-
events
private AltingBarrier[][] events
-
-
Constructor Detail
-
WriterProcess
public WriterProcess(ChannelOutput out, java.util.List values, AltingBarrier[][] events)
-
WriterProcess
public WriterProcess(ChannelOutput out, java.util.List values, AltingBarrier event)
-
-