ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

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.
 


ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage