org.jcsp.test

Class BarrierSyncer

java.lang.Object

org.jcsp.test.BarrierSyncer

All Implemented Interfaces:

CSProcess

public class BarrierSyncer
extends java.lang.Object
implements CSProcess

A process that syncs on one alting barrier and finishes

Field Summary

Fields

Modifier and Type	Field and Description
private AltingBarrier	barrier

Constructor Summary

Constructors

Constructor and Description
BarrierSyncer(AltingBarrier barrier)

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

barrier

private AltingBarrier barrier

Constructor Detail

BarrierSyncer

public BarrierSyncer(AltingBarrier barrier)

Method Detail

run

public void run()

Description copied from interface: CSProcess

This defines the actions of the process.

Specified by:

run in interface CSProcess