th.ads

with LCA;

generic
    type T_Cle is private;
    type T_Donnee is private;
    Capacite: Integer;
    with function funct_hachage (Cle: in T_Cle) return Integer;

package TH is

    package th_lca is New LCA (T_Cle => T_Cle, T_Donnee => T_Donnee);
          use th_lca;

    type T_TH is array (1 .. Capacite) of T_LCA;

    -- Initialiser une Sda.  La Sda est vide.
    procedure Initialiser(Sda: out T_TH) with
            Post => Est_Vide (Sda);


    -- Est-ce qu'une Sda est vide ?
    function Est_Vide (Sda : in T_TH) return Boolean;


    -- Obtenir le nombre d'éléments d'une Sda.
    function Taille (Sda : in T_TH) return Integer with
            Post => Taille'Result >= 0
            and (Taille'Result = 0) = Est_Vide (Sda);


    -- Enregistrer une Donnée associée à une Clé dans une Sda.
    -- Si la clé est déjà présente dans la Sda, sa donnée est changée.
    procedure Enregistrer (Sda : in out T_TH ; Cle : in T_Cle ; Donnee : in T_Donnee) with
            Post => Cle_Presente (Sda, Cle)
            and then (La_Donnee (Sda, Cle) = Donnee)			-- donnée insérée
    -- and then (if not (Cle_Presente (Sda, Cle)'Old) then Taille (Sda) = Taille (Sda)'Old)
    -- and then (if Cle_Presente (Sda, Cle)'Old then Taille (Sda) = Taille (Sda)'Old + 1)
			;


    -- Supprimer la Donnée associée à une Clé dans une Sda.
    -- Exception : Cle_Absente_Exception si Clé n'est pas utilisée dans la Sda
    procedure Supprimer (Sda : in out T_TH ; Cle : in T_Cle) with
            Post =>  Taille (Sda) = Taille (Sda)'Old - 1 -- un élément de moins
            and not Cle_Presente (Sda, Cle);         -- la clé a été supprimée


    -- Savoir si une Clé est présente dans une Sda.
    function Cle_Presente (Sda : in T_TH ; Cle : in T_Cle) return Boolean;


    -- Obtenir la donnée associée à une Cle dans la Sda.
    -- Exception : Cle_Absente_Exception si Clé n'est pas utilisée dans l'Sda
    function La_Donnee (Sda : in T_TH ; Cle : in T_Cle) return T_Donnee;


    -- Supprimer tous les éléments d'une Sda.
    procedure Vider (Sda : in out T_TH) with
            Post => Est_Vide (Sda);


    -- Appliquer un traitement (Traiter) pour chaque couple d'une Sda.
    generic
        with procedure Traiter (Cle : in T_Cle; Donnee: in T_Donnee);
    procedure Pour_Chaque (Sda : in T_TH);



end TH;