/**
  * ADT Dizionario
  * Prova pratica di programmazione del 9-1-2008
  * @author A. Luchetta
  */

public interface Map  //--ADT dizionario
{
   /**
      restituisce il numero di elementi presenti nel contenitore
      @return il numero di elementi nel contenitore
   */
   int size();

   /**
      se la chiave non e' presente, inserisce la coppia key/x nel
      dizionario, altrimenti sovrascrive la coppia presente con la coppia
      key/x
      @param key la chiave
      @param x l'attributo
   */
   void insert(Comparable key, Object x);

   /**
      se la chiave e' presente nel dizionario restituisce l'attributo
      associato, altrimenti genera l'eccezione java.util.NoSuchElementException
      @param key la chiave
      @return l'attributo associato alla chiave, se presente
      @throws java.util.NoSuchElementException se la chiave non e' presente
   */
   Object find(Comparable key) throws java.util.NoSuchElementException;

   /**
      la chiave e' presente elimina la coppia key/x dal dizionario,
      altrimenti genera l'eccezione java.util.NoSuchElementException
      @param key la chiave
      @throws java.util.NoSuchElementException se la chiave non e' presente   
   */
   void remove(Comparable key) throws java.util.NoSuchElementException;;
}