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