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

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

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

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

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

Abstractor
Abstract execution engine.

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

NAry.LengthMismatchException

ParseException
This exception is thrown when parse errors are encountered.

State
A state in the abstract transition system.

Token
Describes the input token stream.

Transition
A transition in the abstract transition system.