|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectescjava.ast.DefPredVec
Field Summary | |
private int |
count
|
private DefPred[] |
elements
* Instance fields: * * |
Constructor Summary | |
private |
DefPredVec(DefPred[] els)
* Private constructors: * * |
private |
DefPredVec(int cnt)
|
Method Summary | |
void |
addElement(DefPred x)
|
void |
append(DefPredVec vec)
|
boolean |
contains(DefPred x)
|
DefPredVec |
copy()
|
DefPred |
elementAt(int index)
* Other methods: * * |
void |
insertElementAt(DefPred obj,
int index)
|
static DefPredVec |
make()
* Public maker methods: * * |
static DefPredVec |
make(DefPred[] els)
|
static DefPredVec |
make(int count)
|
static DefPredVec |
make(java.util.Vector vec)
|
DefPred |
pop()
|
static DefPredVec |
popFromStackVector(StackVector s)
|
void |
removeAllElements()
|
boolean |
removeElement(DefPred x)
|
void |
removeElementAt(int i)
|
void |
setElementAt(DefPred x,
int index)
|
int |
size()
|
DefPred[] |
toArray()
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
private DefPred[] elements
private int count
Constructor Detail |
private DefPredVec(DefPred[] els)
private DefPredVec(int cnt)
Method Detail |
public static DefPredVec make()
public static DefPredVec make(int count)
public static DefPredVec make(java.util.Vector vec)
public static DefPredVec make(DefPred[] els)
public static DefPredVec popFromStackVector(StackVector s)
public final DefPred elementAt(int index)
public final void setElementAt(DefPred x, int index)
public final int size()
public final java.lang.String toString()
public final DefPred[] toArray()
public final DefPredVec copy()
public boolean contains(DefPred x)
public final void addElement(DefPred x)
public final boolean removeElement(DefPred x)
public final void removeElementAt(int i)
public final DefPred pop()
public final void removeAllElements()
public final void insertElementAt(DefPred obj, int index)
public final void append(DefPredVec vec)
|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |