|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TABuildPhase | |
xrel.analyzer | This package contains the classes that process the output of the parser and that perform static checking of the program. |
Uses of TABuildPhase in xrel.analyzer |
Classes in xrel.analyzer that implement TABuildPhase | |
class |
TA
Tree automata are just like normal string automata but elements are trees instead of characters. |
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |