Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

## 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)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

The ESC/Java2 Project Homepage