|
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 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 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 PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |