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.DefPred

Packages that use DefPred
escjava.ast |

Uses of DefPred in escjava.ast

Fields in escjava.ast declared as DefPred
`private DefPred[]` | `DefPredVec.elements` * Instance fields: * *

Methods in escjava.ast that return DefPred
`DefPred` | `DefPredVec.elementAt(int index)` * Other methods: * *
`DefPred[]` | `DefPredVec.toArray()`
`DefPred` | `DefPredVec.pop()`
`static DefPred` | `DefPred.make(Identifier predId, GenericVarDeclVec args, Expr body)`

Methods in escjava.ast with parameters of type DefPred
`abstract java.lang.Object` | `VisitorArgResult.visitDefPred(DefPred x, java.lang.Object o)`
`abstract void` | `Visitor.visitDefPred(DefPred x)`
`static DefPredVec` | `DefPredVec.make(DefPred[] els)`
`void` | `DefPredVec.setElementAt(DefPred x, int index)`
`boolean` | `DefPredVec.contains(DefPred x)`
`void` | `DefPredVec.addElement(DefPred x)`
`boolean` | `DefPredVec.removeElement(DefPred x)`
`void` | `DefPredVec.insertElementAt(DefPred obj, int index)`

Constructors in escjava.ast with parameters of type DefPred
`DefPredVec(DefPred[] els)` * Private constructors: * *

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