Package org.jcsp.test

Class ExtendedReaderSyncInt

java.lang.Object

org.jcsp.test.ExtendedReaderSyncInt

All Implemented Interfaces:

CSProcess

public class ExtendedReaderSyncInt
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
ExtendedReaderSyncInt(AltingBarrier[][] barriers, ChannelInputInt in, int iterations)
ExtendedReaderSyncInt(AltingBarrier barrier, ChannelInputInt in, int iterations)

Method Summary

Modifier and Type	Method	Description
int[]	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

ExtendedReaderSyncInt

public ExtendedReaderSyncInt(AltingBarrier[][] barriers,
 ChannelInputInt in,
 int iterations)

ExtendedReaderSyncInt

public ExtendedReaderSyncInt(AltingBarrier barrier,
 ChannelInputInt 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 int[] getValuesRead()