|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use uk.ac.man.cs.rainbow | |
| 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.errors | |
| 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.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.simulator | Rainbow simulation system. |
| uk.ac.man.cs.rainbow.simulator.rasm | RASM instructions. |
| uk.ac.man.cs.rainbow.temp | Temporary classes. |
| uk.ac.man.cs.rainbow.wvmc | Classes implementing a model-checker. |
Classes in uk.ac.man.cs.rainbow used by Rainbow| RainbowException
|
Superclass of all Rainbow-related exceptions. |
|
Classes in uk.ac.man.cs.rainbow used by uk.ac.man.cs.rainbow| Compiler
|
Basic operations that should be supported by a compiler. Compiler.Error
|
A single error generated by a compiler. Compiler.Exception
|
Exceptions generated by the compilation stage itself. RainbowException
|
Superclass of all Rainbow-related exceptions. TclFormatException
|
Signals that an error occurred when trying to convert to or from a Tcl-formatted string. |
|
Classes in uk.ac.man.cs.rainbow used by uk.ac.man.cs.rainbow.compiler| Compiler
|
Basic operations that should be supported by a compiler. Compiler.Exception
|
Exceptions generated by the compilation stage itself. RainbowException
|
Superclass of all Rainbow-related exceptions. |
|
Classes in uk.ac.man.cs.rainbow used by uk.ac.man.cs.rainbow.compiler.errors| Compiler.SemanticError
|
A single semantic error generated by a compiler. |
|
Classes in uk.ac.man.cs.rainbow used by uk.ac.man.cs.rainbow.datamodel| RainbowException
|
Superclass of all Rainbow-related exceptions. |
|
Classes in uk.ac.man.cs.rainbow used by uk.ac.man.cs.rainbow.deadlock| RainbowError
|
For signalling unrecoverable errors in the Rainbow system. RainbowException
|
Superclass of all Rainbow-related exceptions. |
|
Classes in uk.ac.man.cs.rainbow used by uk.ac.man.cs.rainbow.rapa| RainbowError
|
For signalling unrecoverable errors in the Rainbow system. |
|
Classes in uk.ac.man.cs.rainbow used by uk.ac.man.cs.rainbow.rapa.abstraction| RainbowError
|
For signalling unrecoverable errors in the Rainbow system. RainbowException
|
Superclass of all Rainbow-related exceptions. |
|
Classes in uk.ac.man.cs.rainbow used by uk.ac.man.cs.rainbow.rapa.data| RainbowError
|
For signalling unrecoverable errors in the Rainbow system. RainbowException
|
Superclass of all Rainbow-related exceptions. |
|
Classes in uk.ac.man.cs.rainbow used by uk.ac.man.cs.rainbow.simulator| RainbowError
|
For signalling unrecoverable errors in the Rainbow system. RainbowException
|
Superclass of all Rainbow-related exceptions. TclFormatException
|
Signals that an error occurred when trying to convert to or from a Tcl-formatted string. |
|
Classes in uk.ac.man.cs.rainbow used by uk.ac.man.cs.rainbow.simulator.rasm| RainbowException
|
Superclass of all Rainbow-related exceptions. |
|
Classes in uk.ac.man.cs.rainbow used by uk.ac.man.cs.rainbow.temp| Compiler
|
Basic operations that should be supported by a compiler. Compiler.Errors
|
When there are compiler errors, this class is thrown. Compiler.Exception
|
Exceptions generated by the compilation stage itself. RainbowException
|
Superclass of all Rainbow-related exceptions. |
|
Classes in uk.ac.man.cs.rainbow used by uk.ac.man.cs.rainbow.wvmc| RainbowException
|
Superclass of all Rainbow-related exceptions. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||