Package org.jcsp.test
Class WriterProcessInt
- java.lang.Object
-
- org.jcsp.test.WriterProcessInt
-
-
Field Summary
Fields Modifier and Type Field Description private AltingBarrier[][]
events
private ChannelOutputInt
out
private int[]
values
-
Constructor Summary
Constructors Constructor Description WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier event)
WriterProcessInt(ChannelOutputInt out, int[] 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 ChannelOutputInt out
-
values
private int[] values
-
events
private AltingBarrier[][] events
-
-
Constructor Detail
-
WriterProcessInt
public WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier[][] events)
-
WriterProcessInt
public WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier event)
-
-