|
ESC/Java2 © 2003,2004,2005,2006 David Cok and Joseph Kiniry © 2005,2006 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
| Class Summary | |
| Datagroups | |
| EnvForGhostLocals | EnvForGhostLocals are used to extend an existing Env with one new local binding, either a local variable definition or a formal parameter. |
| FlowInsensitiveChecks | |
| GhostEnv | This class overrides EnvForTypeSig so that it "sees" ghost and model
fields if FlowInsensitiveChecks.inAnnotation is
true. |
| PrepTypeDeclaration | |
| TypeCheck | |
| Types | |
| TypeSig | |
|
ESC/Java2 © 2003,2004,2005,2006 David Cok and Joseph Kiniry © 2005,2006 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||