|
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.GuardedCmdVec
Field Summary | |
private int |
count
|
private GuardedCmd[] |
elements
* Instance fields: * * |
Constructor Summary | |
private |
GuardedCmdVec(GuardedCmd[] els)
* Private constructors: * * |
private |
GuardedCmdVec(int cnt)
|
Method Summary | |
void |
addElement(GuardedCmd x)
|
void |
append(GuardedCmdVec vec)
|
boolean |
contains(GuardedCmd x)
|
GuardedCmdVec |
copy()
|
GuardedCmd |
elementAt(int index)
* Other methods: * * |
void |
insertElementAt(GuardedCmd obj,
int index)
|
static GuardedCmdVec |
make()
* Public maker methods: * * |
static GuardedCmdVec |
make(GuardedCmd[] els)
|
static GuardedCmdVec |
make(int count)
|
static GuardedCmdVec |
make(java.util.Vector vec)
|
GuardedCmd |
pop()
|
static GuardedCmdVec |
popFromStackVector(StackVector s)
|
void |
removeAllElements()
|
boolean |
removeElement(GuardedCmd x)
|
void |
removeElementAt(int i)
|
void |
setElementAt(GuardedCmd x,
int index)
|
int |
size()
|
GuardedCmd[] |
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 GuardedCmd[] elements
private int count
Constructor Detail |
private GuardedCmdVec(GuardedCmd[] els)
private GuardedCmdVec(int cnt)
Method Detail |
public static GuardedCmdVec make()
public static GuardedCmdVec make(int count)
public static GuardedCmdVec make(java.util.Vector vec)
public static GuardedCmdVec make(GuardedCmd[] els)
public static GuardedCmdVec popFromStackVector(StackVector s)
public final GuardedCmd elementAt(int index)
public final void setElementAt(GuardedCmd x, int index)
public final int size()
public final java.lang.String toString()
public final GuardedCmd[] toArray()
public final GuardedCmdVec copy()
public boolean contains(GuardedCmd x)
public final void addElement(GuardedCmd x)
public final boolean removeElement(GuardedCmd x)
public final void removeElementAt(int i)
public final GuardedCmd pop()
public final void removeAllElements()
public final void insertElementAt(GuardedCmd obj, int index)
public final void append(GuardedCmdVec 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 |