Class WriterProcess

java.lang.Object

org.jcsp.test.WriterProcess

All Implemented Interfaces:

CSProcess

public class WriterProcess
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
WriterProcess(ChannelOutput out, List values, AltingBarrier event)
WriterProcess(ChannelOutput out, List 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

WriterProcess

public WriterProcess(ChannelOutput out,
 List values,
 AltingBarrier[][] events)

WriterProcess

public WriterProcess(ChannelOutput out,
 List 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