|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use xrel.analyzer | |
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. |
Classes in xrel.analyzer used by xrel.analyzerTA
|
Tree automata are just like normal string automata but elements are trees instead of characters. TABuildPhase
|
TODO insert comment here TADifferenceState
|
TODO insert comment here TAState
|
TODO insert comment here |
Classes in xrel.analyzer used by xrel.parserTA
|
Tree automata are just like normal string automata but elements are trees instead of characters. TADifference
|
TODO insert comment here TAProduct
|
TODO insert comment here 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. TAUnion
|
TODO insert comment here |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |