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

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)
           
 

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 VcToStringPvs.preds
           
protected  DefPredVec VcToString.preds
           
 

Methods in escjava.translate that return DefPredVec
protected  DefPredVec VcToStringPvs.getDefpreds(Expr e)
           
protected  DefPredVec VcToString.getDefpreds(Expr e)
           
 

Methods in escjava.translate with parameters of type DefPredVec
protected  void VcToStringPvs.printDefpreds(java.io.PrintStream to, DefPredVec preds)
           
protected  void VcToString.printDefpreds(java.io.PrintStream to, DefPredVec preds)
           
 


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

The ESC/Java2 Project Homepage