Uses of Interface
xrel.parser.SpecialNames

Packages that use SpecialNames
xrel This is the main package. 
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 SpecialNames in xrel
 

Classes in xrel that implement SpecialNames
 class XRel
          The main class of the program.
 

Uses of SpecialNames in xrel.analyzer
 

Classes in xrel.analyzer that implement SpecialNames
 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 Translate
          Provides several transform operations to the symbol table.
 class WellFormedness
          Provides some well-formedness checks on type expressions and patterns.
 

Uses of SpecialNames in xrel.parser
 

Classes in xrel.parser that implement SpecialNames
 class ASTTag
           
 class SymTable
          The symbol table contains the types, the patterns, the variables and the expressions inside the program.
 class XRelParser