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


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