Package uk.ac.man.cs.rainbow.rapa

This package provides classes that implement RAPA.

See:
Description

Class Summary

Alpha	RAPA Alpha action.
Assign	RAPA assignment.
BasicNamingContext	Basic implementation of a naming context.
Call	RAPA call to a defined process.
Call.Named	Named call of a process definition.
Choice	RAPA non-deterministic or environment-determined choice.
Examples
GreenDefinitions	Process definitions for basic Green components.
Guard	RAPA (boolean) guard construct.
Hide	RAPA channel hiding operation.
Loop	RAPA looping construct.
NamingContext	General mapping engine for going from process call invokations to the definitions of a process.
NamingContext.Mapping	Callable process definition.
Out	RAPA (multiple) output construct.
Parallel	RAPA parallel composition operator.
ProcessTerm	RAPA process term superclass.
RegDef	RAPA register binding construct.
Sequence	RAPA sequence construct.
Skip	RAPA skip construct.
Synch	RAPA (multiple) input rendezvous construct.
VarDef	RAPA variable binding construct.
Zero	RAPA zero.

Exception Summary

Call.SignatureMismatch	Exception used to indicate an attempt to call a function with the wrong number of arguments.
GreenDefinitions.ConstructorFailure

Package uk.ac.man.cs.rainbow.rapa Description

This package provides classes that implement RAPA.