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.

Author:

N.C.C. Brown

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

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