org.jcsp.test

Class DelaySyncer

java.lang.Object

org.jcsp.test.DelaySyncer

All Implemented Interfaces:

CSProcess

public class DelaySyncer
extends java.lang.Object
implements CSProcess

Field Summary

Fields

Modifier and Type	Field and Description
(package private) AltingBarrier	barrier
(package private) int	iterations
(package private) int	milliSeconds
(package private) CSTimer	timer

Constructor Summary

Constructors

Constructor and Description
DelaySyncer(AltingBarrier barrier, int milliSeconds, int iterations)

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

AltingBarrier barrier

timer

CSTimer timer

milliSeconds

int milliSeconds

iterations

int iterations

Constructor Detail

DelaySyncer

public DelaySyncer(AltingBarrier barrier,
                   int milliSeconds,
                   int iterations)

Method Detail

run

public void run()

Description copied from interface: CSProcess

This defines the actions of the process.

Specified by:

run in interface CSProcess