/**
   Tipo di dati astratto generico con modalità di accesso LIFO
   @see Container
   @see EmptyStackException
*/
public interface GenericsStack<T> extends Container
{
   /**
      inserisce un elemento in cima alla pila
      @param o l’elemento da inserire
   */
   void push(T o);
   
   /**
      ispeziona l’elemento in cima alla pila
      @return l’elemento in cima alla pila
      @throws EmptyStackException se la pila e’ vuota
   */
   T top() throws EmptyStackException;

   /**
      rimuove l’elemento dalla cima della pila
      @return l’elemento rimosso
      @throws EmptyStackException se la pila e’ vuota
   */
   T pop()throws EmptyStackException;
}