Package xrel.analyzer

This package contains the classes that process the output of the parser and that perform static checking of the program.

See:
          Description

Interface Summary
TABuildPhase TODO insert comment here
TAState TODO insert comment here
 

Class Summary
ElementAutomata Contains the methods to build and show the automata associated to the elements of the symbol table (types, patterns, expressions).
PatternMatching Contains the run-time pattern matching algorithm.
SemanticChecks Contains the semantic error checking.
TA Tree automata are just like normal string automata but elements are trees instead of characters.
TADifference TODO insert comment here
TADifferenceState 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
Translate Provides several transform operations to the symbol table.
WellFormedness Provides some well-formedness checks on type expressions and patterns.
 

Package xrel.analyzer Description

This package contains the classes that process the output of the parser and that perform static checking of the program. It also contains the pattern matching algorithm executed at run-time.

Note that to separate the semantic checks from the run-time algorithms in two distinct packages is almost impossible as run-time algorithms use the same data structure as static algorithms do (the tree automata).