Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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
PREV NEXT | FRAMES NO FRAMES

## 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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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
PREV NEXT | FRAMES NO FRAMES

The ESC/Java2 Project Homepage