pure interface of class java.util.ArrayList<A>

public class ArrayList<A>
  extends AbstractList<A>
  implements List<A>, Cloneable, java.io.Serializable
{
    public ArrayList(int initialCapacity,
                     int capacityIncrement);
    public ArrayList(int initialCapacity);
    public ArrayList();
    public ArrayList(Collection<A> c);
    public void trimToSize();
    public void ensureCapacity(int minCapacity);
    public int size();
    public boolean isEmpty();
    public boolean contains(A elem);
    public int indexOf(A elem);
    public int indexOf(A elem,
                       int index);
    public int lastIndexOf(A elem);
    public int lastIndexOf(A elem,
                           int index);
    public Object clone();
    public Object[] toArray();
    public A get(int index);
    public A set(int index,
                 A element);
    public boolean add(A o);
    public void add(int index,
                    A element);
    public A remove(int index);
    public void clear();
    public boolean addAll(Collection<A> c);
    public void removeRange(int fromIndex,
                            int toIndex);
    public boolean addAll(int index,
                          Collection<A> c);
}