/**
  * interfaccia List
  * definisce l'ADT Lista
  * @author A. Luchetta
  */
public interface List
{ 
   /**
      verifica se la lista e' vuota
      @return true se la lista e' vuota, false altrimenti
   */
   boolean isEmpty();
   
   /**
      restituisce il numero di elementi contenuti in questa lista
      @return numero di elementi contenuti nella lista
   */
   int size();
   
   /**
      restituisce un iteratore su questa lista.
      @ iteratore su questa lista
   */
   ListIterator getIterator();
}