Rainbow Core

uk.ac.man.cs.rainbow

Core and general utility classes.

Rainbow Simulator

uk.ac.man.cs.rainbow.datamodel	Data model for Rainbow simulation.
uk.ac.man.cs.rainbow.deadlock	Deadlock and temporal model checking.
uk.ac.man.cs.rainbow.simulator	Rainbow simulation system.
uk.ac.man.cs.rainbow.simulator.rasm	RASM instructions.
uk.ac.man.cs.rainbow.temp	Temporary classes.

Model Checker

uk.ac.man.cs.rainbow.wvmc	Classes implementing a model-checker.
uk.ac.man.cs.rainbow.wvmc.parser	CTL*-NNF and LTL parsers.

RAPA Manipulation

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.

Rainbow Compiler

uk.ac.man.cs.rainbow.compiler
uk.ac.man.cs.rainbow.compiler.declarations
uk.ac.man.cs.rainbow.compiler.errors
uk.ac.man.cs.rainbow.compiler.expressions	Compiler expressions.
uk.ac.man.cs.rainbow.compiler.green	Visual Green components.
uk.ac.man.cs.rainbow.compiler.names
uk.ac.man.cs.rainbow.compiler.networks
uk.ac.man.cs.rainbow.compiler.parser
uk.ac.man.cs.rainbow.compiler.rasm
uk.ac.man.cs.rainbow.compiler.tables
uk.ac.man.cs.rainbow.compiler.types	Compiler types.
uk.ac.man.cs.rainbow.compiler.yellow

Other Packages

Rainbow

Entry points, RMI service classes and application-level wrappers.