|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SpecialNames | |
xrel | This is the main package. |
xrel.analyzer | This package contains the classes that process the output of the parser and that perform static checking of the program. |
xrel.parser | Many classes here are generated by JavaCC / JJTree. |
Uses of SpecialNames in xrel |
Classes in xrel that implement SpecialNames | |
class |
XRel
The main class of the program. |
Uses of SpecialNames in xrel.analyzer |
Classes in xrel.analyzer that implement SpecialNames | |
class |
TADifference
TODO insert comment here |
class |
TAProduct
TODO insert comment here |
class |
TASimple
Tree automata built from this class are either based upon an element of the symbol table of the program (that can be a pattern, a type, a variable or an expression) or the union of a set of these elements. |
class |
Translate
Provides several transform operations to the symbol table. |
class |
WellFormedness
Provides some well-formedness checks on type expressions and patterns. |
Uses of SpecialNames in xrel.parser |
Classes in xrel.parser that implement SpecialNames | |
class |
ASTTag
|
class |
SymTable
The symbol table contains the types, the patterns, the variables and the expressions inside the program. |
class |
XRelParser
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |