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

This package provides classes that support abstract interpretation of GCL derived from RAPA.

See:
Description

Interface Summary

CharStream

This interface describes a character stream that maintains line and column number positions of the characters.

Class Summary

Abstractor	Abstract execution engine.
Explorer	State-space explorer for abstract states.
NAry	N-ary abstract function implementation.
Parse	Parser for abstractions to apply to GCL.
State	A state in the abstract transition system.
Token	Describes the input token stream.
Transition	A transition in the abstract transition system.
Unary	Unary abstract function implementation.

Exception Summary

NAry.LengthMismatchException
ParseException	This exception is thrown when parse errors are encountered.

Error Summary

TokenMgrError

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

This package provides classes that support abstract interpretation of GCL derived from RAPA.