|
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 |
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: * * |
|
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 |