Uses of Package
xrel.analyzer

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.analyzer

TA
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.parser

TA
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