All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class epp.TypeCheck 

java.lang.Object
   |
   +----epp.TypeCheck
public class TypeCheck
extends Object
The TypeCheck.java file defines methods of the EPP preprocessor that define the framework of the type checking pass.

Note: This class is provided for the sake of creating javadocs. It does not exist in the actual EPP source code.

See Also:
TypeChecker

Constructor Index

o TypeCheck()

Method Index

o afterTypeCheckingPass()
Called after executing the main portion of the type checking pass.
o beforeTypeCheckingPass()
Called prior to executing the main portion of the type checking pass.
o defaultVarEnv()
Creates and returns a variable environment at the top level.
o defineTypeChecker(Symbol, TypeChecker)
Registers a TypeChecker object to the table of TypeChecker.
o defineTypeNameChecker(Symbol, TypeNameChecker)
Registers a TypeNameChecker object to the table of TypeNameChecker.
o extendTypeChecker(Symbol, TypeChecker)
Extends the registered TypeChecker object using decorator patterns.
o extendTypeNameChecker(Symbol, TypeNameChecker)
Extends the registered TypeNameChecker object using decorator patterns.
o generateTypeNameTable()
Generates a TypeNameTable.
o initTypeCheckerTable()
Initializes the table of TypeChecker.
o initTypeNameCheckerTable()
Initializes the table of TypeNameChecker.
o typeCheckingPass()
Executes the main portion of the type check pass.

Constructors

o TypeCheck 
 public TypeCheck()

Methods

o initTypeCheckerTable 
 public void initTypeCheckerTable()
Initializes the table of TypeChecker. Plug-ins can extend this method and call defineTypeChecker and extendTypeChecker to add/extend type check objects that are registered to the table.

o defineTypeChecker 
 public void defineTypeChecker(Symbol tag,
                               TypeChecker func)
Registers a TypeChecker object to the table of TypeChecker.

See Also:
TypeChecker
o extendTypeChecker 
 public void extendTypeChecker(Symbol tag,
                               TypeChecker func)
Extends the registered TypeChecker object using decorator patterns.

See Also:
TypeChecker
o initTypeNameCheckerTable 
 public void initTypeNameCheckerTable()
Initializes the table of TypeNameChecker.

See Also:
TypeNameChecker
o defineTypeNameChecker 
 public void defineTypeNameChecker(Symbol tag,
                                   TypeNameChecker func)
Registers a TypeNameChecker object to the table of TypeNameChecker.

See Also:
TypeNameChecker
o extendTypeNameChecker 
 public void extendTypeNameChecker(Symbol tag,
                                   TypeNameChecker func)
Extends the registered TypeNameChecker object using decorator patterns.

See Also:
TypeNameChecker
o beforeTypeCheckingPass 
 public void beforeTypeCheckingPass()
Called prior to executing the main portion of the type checking pass.

o typeCheckingPass 
 public void typeCheckingPass()
Executes the main portion of the type check pass. Plug-ins extend this method, to create an environment for dynamic variables while executing this pass, for example.

o generateTypeNameTable 
 public TypeNameTable generateTypeNameTable()
Generates a TypeNameTable. This is a factory method.

See Also:
TypeNameTable
o afterTypeCheckingPass 
 public void afterTypeCheckingPass()
Called after executing the main portion of the type checking pass.

o defaultVarEnv 
 public VarEnv defaultVarEnv()
Creates and returns a variable environment at the top level. 

All Packages  Class Hierarchy  This Package  Previous  Next  Index