org.jcsp.test

Class EventRecorder

java.lang.Object

org.jcsp.test.EventRecorder

All Implemented Interfaces:

CSProcess

class EventRecorder
extends java.lang.Object
implements CSProcess

A class that listens out for many guards, and records the order in which they occur Note: do not pass in channel guards, as the process will not perform the necessary input after the guard is selected

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List	observedGuards
private Guard[]	originalGuards
private int	stopOnGuard

Constructor Summary

Constructors

Constructor and Description
EventRecorder(Guard[] guards, int terminateEvent)

Method Summary

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

originalGuards

private Guard[] originalGuards

stopOnGuard

private int stopOnGuard

observedGuards

private java.util.List observedGuards

Constructor Detail

EventRecorder

public EventRecorder(Guard[] guards,
                     int terminateEvent)

Method Detail

getObservedEvents

public Guard[] getObservedEvents()

run

public void run()

Description copied from interface: CSProcess

This defines the actions of the process.

Specified by:

run in interface CSProcess