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

Packages that use uk.ac.man.cs.rainbow.rapa.data

uk.ac.man.cs.rainbow.compiler
uk.ac.man.cs.rainbow.compiler.tables
uk.ac.man.cs.rainbow.compiler.types	Compiler types.
uk.ac.man.cs.rainbow.datamodel	Data model for Rainbow simulation.
uk.ac.man.cs.rainbow.rapa	This package provides classes that implement RAPA.
uk.ac.man.cs.rainbow.rapa.abstraction	This package provides classes that support abstract interpretation of GCL derived from RAPA.
uk.ac.man.cs.rainbow.rapa.data	This package provides common datatypes for RAPA and GCL.
uk.ac.man.cs.rainbow.rapa.gcl	This package provides classes that define Guarded Command Language.
uk.ac.man.cs.rainbow.simulator	Rainbow simulation system.

Classes in uk.ac.man.cs.rainbow.rapa.data used by uk.ac.man.cs.rainbow.compiler

Channel
A channel upon which RAPA processes can communicate.

Type
Indicates classes that implement a type useable in RAPA.

Value
Values in RAPA and GCL.

Variable

Classes in uk.ac.man.cs.rainbow.rapa.data used by uk.ac.man.cs.rainbow.compiler.tables

Action
An event that happens on a channel.

Channel
A channel upon which RAPA processes can communicate.

Classes in uk.ac.man.cs.rainbow.rapa.data used by uk.ac.man.cs.rainbow.compiler.types

Argument
Marks objects that can be arguments to process/procedure calls.

GeneralSubstitution
A list of substitutions of one argument for another.

Type
Indicates classes that implement a type useable in RAPA.

Classes in uk.ac.man.cs.rainbow.rapa.data used by uk.ac.man.cs.rainbow.datamodel

Argument
Marks objects that can be arguments to process/procedure calls.

Expression
Implementations of some methods for values in RAPA and GCL.

GeneralSubstitution
A list of substitutions of one argument for another.

NotUnifiable
Indicates where two values are not unifiable with each other for some reason.

Substitution
A linked list of substitutions on variables that will form a Most General Unifier of two values.

Type
Indicates classes that implement a type useable in RAPA.

Unifier
The most general unifier of two expressions.

Value
Values in RAPA and GCL.

Variable

VariableContainer
Indicates classes whose instances can contain variables.

Classes in uk.ac.man.cs.rainbow.rapa.data used by uk.ac.man.cs.rainbow.rapa

Action
An event that happens on a channel.

Argument
Marks objects that can be arguments to process/procedure calls.

Channel
A channel upon which RAPA processes can communicate.

GeneralSubstitution
A list of substitutions of one argument for another.

Register

Substitution
A linked list of substitutions on variables that will form a Most General Unifier of two values.

Type
Indicates classes that implement a type useable in RAPA.

Value
Values in RAPA and GCL.

Variable

Variable.Named

Classes in uk.ac.man.cs.rainbow.rapa.data used by uk.ac.man.cs.rainbow.rapa.abstraction

AbstractFunction
Abstract function evaluation map.

AbstractType

Register

Type
Indicates classes that implement a type useable in RAPA.

Value
Values in RAPA and GCL.

Classes in uk.ac.man.cs.rainbow.rapa.data used by uk.ac.man.cs.rainbow.rapa.data

Action
An event that happens on a channel.

Application

Argument
Marks objects that can be arguments to process/procedure calls.

Binary

Bool

Channel
A channel upon which RAPA processes can communicate.

Channel.Listener
Indicate that a class's objects might want to be told of events on channels.

CompatabilityFailure
Indicates where one kind of argument cannot be mapped to another kind.

Expression
Implementations of some methods for values in RAPA and GCL.

GeneralSubstitution
A list of substitutions of one argument for another.

NotUnifiable
Indicates where two values are not unifiable with each other for some reason.

Register

Substitution
A linked list of substitutions on variables that will form a Most General Unifier of two values.

Type
Indicates classes that implement a type useable in RAPA.

Unary

Unifier
The most general unifier of two expressions.

Value
Values in RAPA and GCL.

ValueWhite

Variable

VariableContainer
Indicates classes whose instances can contain variables.

Classes in uk.ac.man.cs.rainbow.rapa.data used by uk.ac.man.cs.rainbow.rapa.gcl

Action
An event that happens on a channel.

Application

Argument
Marks objects that can be arguments to process/procedure calls.

Binary

Binary.Equal
Equality operator.

Channel
A channel upon which RAPA processes can communicate.

Expression
Implementations of some methods for values in RAPA and GCL.

GeneralSubstitution
A list of substitutions of one argument for another.

Number

Register

Substitution
A linked list of substitutions on variables that will form a Most General Unifier of two values.

Unifier
The most general unifier of two expressions.

Value
Values in RAPA and GCL.

VariableContainer
Indicates classes whose instances can contain variables.

Classes in uk.ac.man.cs.rainbow.rapa.data used by uk.ac.man.cs.rainbow.simulator

Argument
Marks objects that can be arguments to process/procedure calls.

Expression
Implementations of some methods for values in RAPA and GCL.

Value
Values in RAPA and GCL.

VariableContainer
Indicates classes whose instances can contain variables.