org.jcsp.test

Class WriterProcess

java.lang.Object

org.jcsp.test.WriterProcess

All Implemented Interfaces:

CSProcess

public class WriterProcess
extends java.lang.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 and Description
private AltingBarrier[][]	events
private ChannelOutput	out
private java.util.List	values

Constructor Summary

Constructors

Constructor and Description
WriterProcess(ChannelOutput out, java.util.List values, AltingBarrier event)
WriterProcess(ChannelOutput out, java.util.List values, AltingBarrier[][] events)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

out

private ChannelOutput out

values

private java.util.List values

events

private AltingBarrier[][] events

Constructor Detail

WriterProcess

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

WriterProcess

public WriterProcess(ChannelOutput out,
                     java.util.List values,
                     AltingBarrier event)

Method Detail

run

public void run()

Description copied from interface: CSProcess

This defines the actions of the process.

Specified by:

run in interface CSProcess