pure interface of class net.sf.pizzacompiler.contrib.SortedVector<A>

public class SortedVector<A>
  extends Vector<A>
{
    public SortedVector(int initialCapacity,
                        int capacityIncrement,
                        (int) -> A[] allocator,
                        A defaultElem,
                        (A, A) -> int compare);
    public SortedVector(int initialCapacity,
                        (int) -> A[] allocator,
                        A defaultElem,
                        (A, A) -> int compare);
    public SortedVector((int) -> A[] allocator,
                        A defaultElem,
                        (A, A) -> int compare);
    public void setDuplicates(boolean duplicates);
    public synchronized void insert(A obj);
    public void sortVector(Vector<A> v);
}