Uses of Class
xrel.analyzer.TA

Packages that use TA
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 TA in xrel.analyzer
 

Subclasses of TA in xrel.analyzer
 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 TAUnion
          TODO insert comment here
 

Methods in xrel.analyzer with parameters of type TA
protected  void TA.merge(TA A, int Flags)
          Merges the current automaton with another one.
static java.lang.String TAProduct.getProductName(TA A1, TA A2)
           
 void TAUnion.union(TA A)
           
static java.lang.String TADifference.getDiffName(TA a1, TA a2)
           
 

Constructors in xrel.analyzer with parameters of type TA
TAProduct(TA A1, TA A2, SymTable st, boolean dbg, java.io.PrintStream psOut, boolean force)
           
TADifference(TA A1, TA A2, SymTable st, boolean dbg, java.io.PrintStream psOut)
           
 

Uses of TA in xrel.parser
 

Methods in xrel.parser that return TA
 TA SymTable.search_automaton(java.lang.String nm)
           
 TA SymElement.getInferredType()
           
 

Methods in xrel.parser with parameters of type TA
 TAProduct SymTable.getProductAutomaton(TA A1, TA A2, int BuildPhases, boolean force, boolean debug)
           
 void SymTable.addAutomaton(TA A)
           
 TADifference SymTable.getDiffAutomaton(TA A1, TA A2, int BuildPhases, boolean debug)
           
 void SymElement.setInferredType(TA aut)