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

public class Stack<A>
  extends Vector<A>
{
    public A push(A item);
    public A pop();
    public A peek();
    public boolean empty();
    public int search(A o);
    public Stack();
}