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

Packages that use EnvForTypeSig
escjava.tc   
javafe.tc   
 

Uses of EnvForTypeSig in escjava.tc
 

Subclasses of EnvForTypeSig in escjava.tc
 class GhostEnv
          This class overrides EnvForTypeSig so that it "sees" ghost and model fields if FlowInsensitiveChecks.inAnnotation is true.
 

Methods in escjava.tc that return EnvForTypeSig
protected  EnvForTypeSig FlowInsensitiveChecks.makeEnvForTypeSig(TypeSig s, boolean staticContext)
          Override so that we use GhostEnv instead of EnvForTypeSig.
 

Uses of EnvForTypeSig in javafe.tc
 

Fields in javafe.tc declared as EnvForTypeSig
protected  EnvForTypeSig FlowInsensitiveChecks.rootIEnv
           
protected  EnvForTypeSig FlowInsensitiveChecks.rootSEnv
           
 

Methods in javafe.tc that return EnvForTypeSig
 EnvForTypeSig TypeSig.getEnv(boolean staticContext)
          Return an environment for use in checking code inside us.
protected  EnvForTypeSig PrepTypeDeclaration.getEnvForCurrentSig(TypeSig sig, boolean isStatic)
           
protected  EnvForTypeSig FlowInsensitiveChecks.makeEnvForTypeSig(TypeSig s, boolean staticContext)
          Factory method so subclasses can override.
 


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