Package org.jcsp.test
Class WriterProcessInt
java.lang.Object
org.jcsp.test.WriterProcessInt
- All Implemented Interfaces:
CSProcess
A process that writes out a list of values, synchronizing on the corresponding barrier after each.
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate AltingBarrier[][]
private ChannelOutputInt
private int[]
-
Constructor Summary
ConstructorsConstructorDescriptionWriterProcessInt
(ChannelOutputInt out, int[] values, AltingBarrier event) WriterProcessInt
(ChannelOutputInt out, int[] values, AltingBarrier[][] events) -
Method Summary