Uses of Class
escjava.ast.DefPredVec

Packages that use DefPredVec

escjava.ast
escjava.sp
escjava.translate

Uses of DefPredVec in escjava.ast

Fields in escjava.ast declared as DefPredVec

DefPredVec

DefPredLetExpr.preds

Methods in escjava.ast that return DefPredVec

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

Methods in escjava.ast with parameters of type DefPredVec

void	DefPredVec.append(DefPredVec vec)
static DefPredLetExpr	DefPredLetExpr.make(DefPredVec preds, Expr body)

Constructors in escjava.ast with parameters of type DefPredVec

DefPredLetExpr(DefPredVec preds, Expr body)

Uses of DefPredVec in escjava.sp

Fields in escjava.sp declared as DefPredVec

private DefPredVec

SPVC.preds

Uses of DefPredVec in escjava.translate

Fields in escjava.translate declared as DefPredVec

protected DefPredVec

VcToString.preds

Methods in escjava.translate that return DefPredVec

protected DefPredVec

VcToString.getDefpreds(Expr e)

Methods in escjava.translate with parameters of type DefPredVec

protected void

VcToString.printDefpreds(java.io.PrintStream to, DefPredVec preds)