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