|
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 SimpleModifierPragma | |
escjava.ast | |
escjava.translate |
Uses of SimpleModifierPragma in escjava.ast |
Fields in escjava.ast declared as SimpleModifierPragma | |
SimpleModifierPragma |
DerivedMethodDecl.nonnull
|
Methods in escjava.ast that return SimpleModifierPragma | |
static SimpleModifierPragma |
SimpleModifierPragma.make(int tag,
int loc)
|
Methods in escjava.ast with parameters of type SimpleModifierPragma | |
abstract java.lang.Object |
VisitorArgResult.visitSimpleModifierPragma(SimpleModifierPragma x,
java.lang.Object o)
|
abstract void |
Visitor.visitSimpleModifierPragma(SimpleModifierPragma x)
|
Uses of SimpleModifierPragma in escjava.translate |
Methods in escjava.translate that return SimpleModifierPragma | |
static SimpleModifierPragma |
GetSpec.NonNullPragma(GenericVarDecl v)
* Has a particular declaration been declared non_null? |
static SimpleModifierPragma |
GetSpec.superNonNullPragma(GenericVarDecl v)
Returns non-null if the formal parameter is declared non-null in some overridden declaration of the method. |
Methods in escjava.translate with parameters of type SimpleModifierPragma | |
static Expr |
TrAnExpr.typeAndNonNullCorrectAs(GenericVarDecl vd,
Type type,
SimpleModifierPragma nonNullPragma,
boolean forceNonNull,
java.util.Hashtable sp)
|
static ExprVec |
TrAnExpr.typeAndNonNullAllocCorrectAs(GenericVarDecl vd,
Type type,
SimpleModifierPragma nonNullPragma,
boolean forceNonNull,
java.util.Hashtable sp,
boolean mentionAllocated)
Returns a vector of conjuncts. |
private static void |
GetSpec.setNonNullPragma(GenericVarDecl v,
SimpleModifierPragma nonnull)
* Mark v as non_null because of non_null pragma nonnull. * * Precondition: nonnull is a NON_NULL pragma. * * (Used to implement inheritence of non_null's.) |
|
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 |