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

public class Stack<A>
{
    public Stack();
    public boolean isEmpty();
    public void push(A elem);
    public A pop()
      throws IndexOutOfBoundsException;
    public A top()
      throws IndexOutOfBoundsException;
}