|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjavafe.tc.Env
javafe.tc.EnvForTypeSig
escjava.tc.GhostEnv
This class overrides EnvForTypeSig
so that it "sees" ghost and model
fields if FlowInsensitiveChecks.inAnnotation
is
true
.
Field Summary |
Fields inherited from class javafe.tc.EnvForTypeSig |
parent, peer, staticContext |
Fields inherited from class javafe.tc.Env |
prefixSize, typeEnv, whereDecoration |
Constructor Summary | |
GhostEnv(Env parent,
TypeSig peer,
boolean staticContext)
|
Method Summary | |
Env |
asStaticContext()
Returns a new Env that acts the same as us, except that its current
instance (if any) is not accessible. |
void |
display()
Display information about an Env to System.out . |
FieldDeclVec |
getFields(boolean allFields)
|
FieldDecl |
getGhostField(java.lang.String n,
FieldDecl excluded)
Attempts to find a ghost or model field that belongs to us (including supertypes) with name n that is not equal to excluded , which may
be null . |
protected boolean |
hasField(Identifier id)
Override to make ghost fields visible if FlowInsensitiveChecks.inAnnotation is true . |
static boolean |
isGhostField(FieldDecl field)
Determines if a field is a ghost (not model or Java) field |
static boolean |
isStatic(FieldDecl d)
|
Methods inherited from class javafe.tc.EnvForTypeSig |
getEnclosingClass, getEnclosingInstance, hasMethod, isDuplicate, isStaticContext, locateFieldOrLocal, locateMethod, lookupSimpleTypeName |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public GhostEnv(Env parent, TypeSig peer, boolean staticContext)
Method Detail |
public Env asStaticContext()
Env
that acts the same as us, except that its current
instance (if any) is not accessible.
asStaticContext
in class EnvForTypeSig
public void display()
Env
to System.out
. This function
is intended only for debugging use.
display
in class EnvForTypeSig
public FieldDecl getGhostField(java.lang.String n, FieldDecl excluded)
n
that is not equal to excluded
, which may
be null
.
n
- the name of the ghost field to get.excluded
- a field declaration to avoid.
null
.public static boolean isStatic(FieldDecl d)
public static boolean isGhostField(FieldDecl field)
field
a ghost
field (and not a model or Java field).protected boolean hasField(Identifier id)
FlowInsensitiveChecks.inAnnotation
is true
.
hasField
in class EnvForTypeSig
public FieldDeclVec getFields(boolean allFields)
getFields
in class EnvForTypeSig
|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |