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.ExprDeclPragma

Packages that use ExprDeclPragma
escjava.ast |
escjava.backpred |
escjava.translate |

Uses of ExprDeclPragma in escjava.ast

Fields in escjava.ast declared as ExprDeclPragma
`private ExprDeclPragma[]` | `ExprDeclPragmaVec.elements` * Instance fields: * *

Methods in escjava.ast that return ExprDeclPragma
`ExprDeclPragma` | `ExprDeclPragmaVec.elementAt(int index)` * Other methods: * *
`ExprDeclPragma[]` | `ExprDeclPragmaVec.toArray()`
`ExprDeclPragma` | `ExprDeclPragmaVec.pop()`
`static ExprDeclPragma` | `ExprDeclPragma.make(int tag, Expr expr, int modifiers, int loc)`

Methods in escjava.ast with parameters of type ExprDeclPragma
`abstract java.lang.Object` | `VisitorArgResult.visitExprDeclPragma(ExprDeclPragma x, java.lang.Object o)`
`abstract void` | `Visitor.visitExprDeclPragma(ExprDeclPragma x)`
`static ExprDeclPragmaVec` | `ExprDeclPragmaVec.make(ExprDeclPragma[] els)`
`void` | `ExprDeclPragmaVec.setElementAt(ExprDeclPragma x, int index)`
`boolean` | `ExprDeclPragmaVec.contains(ExprDeclPragma x)`
`void` | `ExprDeclPragmaVec.addElement(ExprDeclPragma x)`
`boolean` | `ExprDeclPragmaVec.removeElement(ExprDeclPragma x)`
`void` | `ExprDeclPragmaVec.insertElementAt(ExprDeclPragma obj, int index)`

Constructors in escjava.ast with parameters of type ExprDeclPragma
`ExprDeclPragmaVec(ExprDeclPragma[] els)` * Private constructors: * *

Uses of ExprDeclPragma in escjava.backpred

Methods in escjava.backpred with parameters of type ExprDeclPragma
`private void` | `FindContributors.addPossibleMentions(FieldDecl fd, ExprDeclPragma J)` Add the mapping (fd, J) to fieldToPossible.
`private void` | `FindContributors.addPossibleInvariant(ExprDeclPragma J)` Add a possible invariant contributor to either fieldToPossible or contributorInvariants as approperiate, maintaining all closure properties.
`private void` | `FindContributors.addInvariant(ExprDeclPragma J)` Add a given invariant to contributorInvarints, maintaining all closure properties.
`private FieldDeclVec` | `FindContributors.fieldsInvariantMentions(ExprDeclPragma J)` Returns the set of fields that a given invariant mentions.

Uses of ExprDeclPragma in escjava.translate

Fields in escjava.translate declared as ExprDeclPragma
`(package private) ExprDeclPragma` | `InvariantInfo.prag`

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