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
escjava.ast.SimpleModifierPragma

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

The ESC/Java2 Project Homepage