Uses of Class
escjava.ast.CondExprModifierPragmaVec

Packages that use CondExprModifierPragmaVec

escjava.ast
escjava.translate

Uses of CondExprModifierPragmaVec in escjava.ast

Fields in escjava.ast declared as CondExprModifierPragmaVec

CondExprModifierPragmaVec

ModifiesGroupPragma.items

Methods in escjava.ast that return CondExprModifierPragmaVec

static CondExprModifierPragmaVec	CondExprModifierPragmaVec.make() * Public maker methods: * *
static CondExprModifierPragmaVec	CondExprModifierPragmaVec.make(int count)
static CondExprModifierPragmaVec	CondExprModifierPragmaVec.make(java.util.Vector vec)
static CondExprModifierPragmaVec	CondExprModifierPragmaVec.make(CondExprModifierPragma[] els)
static CondExprModifierPragmaVec	CondExprModifierPragmaVec.popFromStackVector(StackVector s)
CondExprModifierPragmaVec	CondExprModifierPragmaVec.copy()

Methods in escjava.ast with parameters of type CondExprModifierPragmaVec

ModifiesGroupPragma	ModifiesGroupPragma.append(CondExprModifierPragmaVec ev)
static ModifiesGroupPragma	ModifiesGroupPragma.make(int tag, CondExprModifierPragmaVec items, Expr precondition, int clauseLoc)
void	CondExprModifierPragmaVec.append(CondExprModifierPragmaVec vec)

Constructors in escjava.ast with parameters of type CondExprModifierPragmaVec

ModifiesGroupPragma(int tag, CondExprModifierPragmaVec items, Expr precondition, int clauseLoc)

Uses of CondExprModifierPragmaVec in escjava.translate

Fields in escjava.translate declared as CondExprModifierPragmaVec

private CondExprModifierPragmaVec

Frame.ModifiesIterator.mp The set of store-ref locations over which to iterate.

Constructors in escjava.translate with parameters of type CondExprModifierPragmaVec

Frame.ModifiesIterator(TypeDecl td, CondExprModifierPragmaVec mp, boolean expandDatagroups)
Creates an iterator over the store-ref locations in the CondExprModifierPragmaVec.

Frame.ModifiesIterator(TypeDecl td, CondExprModifierPragmaVec mp, boolean expandDatagroups, boolean expandWild)
Creates an iterator over the store-ref locations in the CondExprModifierPragmaVec.