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