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

Package escjava.tc

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

The ESC/Java2 Project Homepage