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

This package provides common datatypes for RAPA and GCL.

See:
Description

Interface Summary

Argument	Marks objects that can be arguments to process/procedure calls.
Channel.Listener	Indicate that a class's objects might want to be told of events on channels.
Constructor	Interface used to mark constructors.
Type	Indicates classes that implement a type useable in RAPA.
Value	Values in RAPA and GCL.
VariableContainer	Indicates classes whose instances can contain variables.

Class Summary

AbstractFunction	Abstract function evaluation map.
AbstractType
Action	An event that happens on a channel.
Application
Binary
Binary.Add	Addition operator.
Binary.Conj	Boolean conjunction operator.
Binary.Disj	Boolean disjunction operator.
Binary.Div	Division operator.
Binary.Equal	Equality operator.
Binary.GT	"Greater-than" comparison operator.
Binary.LT	"Less-than" comparison operator.
Binary.Mul	Multiplication operator.
Binary.Sub	Subtraction operator.
Bool
BooleanType
Channel	A channel upon which RAPA processes can communicate.
Channel.Adapter	Null implementation of a channel listener.
Constant
Expression	Implementations of some methods for values in RAPA and GCL.
FunctionType
GeneralSubstitution	A list of substitutions of one argument for another.
IntegerType
NamedType
NullType
Number
ProductType
Register
Register.Subscripted
Substitution	A linked list of substitutions on variables that will form a Most General Unifier of two values.
TupleExpression
TypeVariable
Unary
Unary.Abs	Sign-removal operator.
Unary.Neg	Numeric negation operator.
Unary.Not	Boolean negation operator.
Unifier	The most general unifier of two expressions.
ValueWhite
Variable
Variable.Named

Exception Summary

AbstractFunction.UnsupportedTopException
AbstractFunction.WrongNumberOfArgumentsException
CompatabilityFailure	Indicates where one kind of argument cannot be mapped to another kind.
NotUnifiable	Indicates where two values are not unifiable with each other for some reason.
Register.NotFoundException	Exception thrown when a request to evaluate a register that is not part of the current state is made.

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

This package provides common datatypes for RAPA and GCL.