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

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