Uses of Package
uk.ac.man.cs.rainbow.simulator

Packages that use uk.ac.man.cs.rainbow.simulator

Rainbow	Entry points, RMI service classes and application-level wrappers.
uk.ac.man.cs.rainbow	Core and general utility classes.
uk.ac.man.cs.rainbow.compiler
uk.ac.man.cs.rainbow.compiler.declarations
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.networks
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
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.

Classes in uk.ac.man.cs.rainbow.simulator used by Rainbow

RASMCode
A block of RASM code.

Scheduler
System for scheduling Rainbow threads.

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

RASMCode
A block of RASM code.

Classes in uk.ac.man.cs.rainbow.simulator used by uk.ac.man.cs.rainbow.compiler

RASMCode
A block of RASM code.

RASMList
A list of RASM instructions.

Classes in uk.ac.man.cs.rainbow.simulator used by uk.ac.man.cs.rainbow.compiler.declarations

RASMList
A list of RASM instructions.

Classes in uk.ac.man.cs.rainbow.simulator used by uk.ac.man.cs.rainbow.compiler.expressions

RASMList
A list of RASM instructions.

Classes in uk.ac.man.cs.rainbow.simulator used by uk.ac.man.cs.rainbow.compiler.green

RASMList
A list of RASM instructions.

Classes in uk.ac.man.cs.rainbow.simulator used by uk.ac.man.cs.rainbow.compiler.networks

RASMList
A list of RASM instructions.

Classes in uk.ac.man.cs.rainbow.simulator used by uk.ac.man.cs.rainbow.compiler.rasm

RASMList
A list of RASM instructions.

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

RASMList
A list of RASM instructions.

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

RASMList
A list of RASM instructions.

Classes in uk.ac.man.cs.rainbow.simulator used by uk.ac.man.cs.rainbow.compiler.yellow

RASMList
A list of RASM instructions.

Classes in uk.ac.man.cs.rainbow.simulator used by uk.ac.man.cs.rainbow.deadlock

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

SavedState
States saved by threads and schedulers.

Scheduler
System for scheduling Rainbow threads.

StateEnumerator
Simulation state enumerator.

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

Channel
Channels connect Rainbow threads.

Channel.Data
Channels can be turned into first-class data values.

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

Instruction
Superclass of all RASM instructions.

Instruction.MACRO
Instructions implemented in terms of other instructions must be subclasses of this class.

RainbowThread
Superclass of all Rainbow threads.

RASMCode
A block of RASM code.

RASMCode.Exception
Exceptions thrown due to bad assembly code.

RASMCode.Label
A label/location in a block of code.

RASMCode.Label.Data
A label as a value that can be referred to by a virtual machine.

RASMList
A list of RASM instructions.

RASMThread
Rainbow threads that are implemented by executing RASM instructions.

RASMThread.Exception
Exceptions due to problems during the execution of a thread.

RASMThread.TraceListener
Implemented by classes that want to watch what a thread is doing.

ReclaimableSavedState
A saved state that can save space by writing itself out to disk.

Register
Registers for use by Rainbow threads.

Register.Data
Registers can be first class data values.

SavedState
States saved by threads and schedulers.

Scheduler
System for scheduling Rainbow threads.

Scheduler.ExternalExecutionServer
Marker for classes that handle external executions.

Scheduler.LabellingAdapter
An empty implementation of a LabellingListener that is suitable for subclassing to get subsets of the full behaviour.

Scheduler.LabellingListener
Marker for classes that accept labelling notifications.

Scheduler.ThreadingAdapter
An empty implementation of a LabellingListener that is suitable for subclassing to get subsets of the full behaviour.

Scheduler.ThreadingListener
Marker for classes that accept threading notifications.

ThreadSet
"Unordered" collection of threads, where a thread can only belong at most once.

Classes in uk.ac.man.cs.rainbow.simulator used by uk.ac.man.cs.rainbow.simulator.rasm

Channel
Channels connect Rainbow threads.

Instruction
Superclass of all RASM instructions.

Instruction.MACRO
Instructions implemented in terms of other instructions must be subclasses of this class.

RASM.BinaryIntFunction
Binary operations over integers.

RASM.BinaryLogicFunction
Binary operations over logic values.

RASM.ChannelBox
Instructions that take a single channel argument and which may take more than a single step to execute.

RASM.Comparison
Comparison operation between comparable data values.

RASMCode
A block of RASM code.

RASMCode.Label
A label/location in a block of code.

RASMThread
Rainbow threads that are implemented by executing RASM instructions.

RASMThread.Exception
Exceptions due to problems during the execution of a thread.