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