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

Field Summary

Fields

Modifier and Type	Field	Description
private AltingBarrier[][]	events
private ChannelInputInt	input
private int	iterations
private int[]	valuesRead

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 Object

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

Field Details

events

private AltingBarrier[][] events

input

private ChannelInputInt input

iterations

private int iterations

valuesRead

private int[] valuesRead

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()