Class WriterProcessInt

java.lang.Object

org.jcsp.test.WriterProcessInt

All Implemented Interfaces:

CSProcess

public class WriterProcessInt
extends Object
implements CSProcess

A process that writes out a list of values, synchronizing on the corresponding barrier after each.

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

Modifier and Type	Method	Description
void	run()	This defines the actions of the process.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

out

private ChannelOutputInt out

values

private int[] values

events

private AltingBarrier[][] events

Constructor Details

WriterProcessInt

public WriterProcessInt(ChannelOutputInt out,
 int[] values,
 AltingBarrier[][] events)

WriterProcessInt

public WriterProcessInt(ChannelOutputInt out,
 int[] values,
 AltingBarrier event)

Method Details

run

public void run()

Description copied from interface: CSProcess

This defines the actions of the process.

Specified by:

run in interface CSProcess