|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |