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