Uses of Class
javafe.tc.TypeCheck

Packages that use TypeCheck

escjava
escjava.tc
javafe
javafe.tc

Uses of TypeCheck in escjava

Methods in escjava that return TypeCheck

TypeCheck

Main.makeTypeCheck() Called to obtain an instance of the javafe.tc.TypeCheck class (or a subclass thereof).

Uses of TypeCheck in escjava.tc

Subclasses of TypeCheck in escjava.tc

class

TypeCheck

Uses of TypeCheck in javafe

Methods in javafe that return TypeCheck

TypeCheck

FrontEndTool.makeTypeCheck() Called to obtain an instance of the TypeCheck class (or a subclass thereof) to be used for typechecking.

Uses of TypeCheck in javafe.tc

Fields in javafe.tc declared as TypeCheck

static TypeCheck

TypeCheck.inst A (possibly extended) instance of TypeCheck.