Package org.jcsp.test

Class ExtendedReaderSync

java.lang.Object

org.jcsp.test.ExtendedReaderSync

All Implemented Interfaces:

CSProcess

public class ExtendedReaderSync
extends Object
implements CSProcess

A process that performs a set number of extended inputs, syncing on a barrier as its extended action for each

Author:

N.C.C. Brown

Constructor Summary

Constructors

Constructor	Description
ExtendedReaderSync(AltingBarrier[][] barriers, ChannelInput in, int iterations)
ExtendedReaderSync(AltingBarrier barrier, ChannelInput in, int iterations)

Method Summary

Modifier and Type	Method	Description
Object[]	getValuesRead()
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

Constructor Details

ExtendedReaderSync

public ExtendedReaderSync(AltingBarrier[][] barriers,
 ChannelInput in,
 int iterations)

ExtendedReaderSync

public ExtendedReaderSync(AltingBarrier barrier,
 ChannelInput in,
 int iterations)

Method Details

run

public void run()

Description copied from interface: CSProcess

This defines the actions of the process.

Specified by:

run in interface CSProcess

getValuesRead

public Object[] getValuesRead()