Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

## 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.)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

The ESC/Java2 Project Homepage