pure interface of class gj.util.Vector<A>

public class Vector<A>
  implements java.io.Serializable, Cloneable
{
    protected A[] elementData;
    protected int elementCount;
    protected int capacityIncrement;
    public Vector(int initialCapacity,
                  int capacityIncrement);
    public Vector(int initialCapacity);
    public Vector();
    public final synchronized void copyInto(A[] anArray);
    public final synchronized void trimToSize();
    public final synchronized void ensureCapacity(int minCapacity);
    public final synchronized void setSize(int newSize);
    public final int capacity();
    public final int size();
    public final boolean isEmpty();
    public final synchronized Enumeration<A> elements();
    public final boolean contains(A elem);
    public final int indexOf(A elem);
    public final synchronized int indexOf(A elem,
                                          int index);
    public final int lastIndexOf(A elem);
    public final synchronized int lastIndexOf(A elem,
                                              int index);
    public final synchronized A elementAt(int index);
    public final synchronized A firstElement();
    public final synchronized A lastElement();
    public final synchronized void setElementAt(A obj,
                                                int index);
    public final synchronized void removeElementAt(int index);
    public final synchronized void insertElementAt(A obj,
                                                   int index);
    public final synchronized void addElement(A obj);
    public final synchronized boolean removeElement(A obj);
    public final synchronized void removeAllElements();
    public synchronized Object clone();
    public final synchronized String toString();
}