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.

Field Summary

Fields

Modifier and Type	Field	Description
private AltingBarrier[][]	events
private ChannelOutput	out
private List	values

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

Field Details

out

private ChannelOutput out

values

private List values

events

private AltingBarrier[][] events

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