小编MOU*_*mza的帖子

我尝试在Ada中构建通用的二进制搜索树模块，并且该树将是通用参数，因此，我这样做：

-- Spécification du module ABR.


-- Mettre T_ABR comme un pointeur générique.
Generic
    type T_Noeud(<>);
        type T_ABR is access T_Noeud; -- Pointeur sur T_Noeud.


package ABR is


    Cle_Presente_Exception : Exception; -- une clé est déjà présente dans un ABR
    Cle_Absente_Exception  : Exception; -- une clé est absente d'un ABR


    -- Initialiser un Abr.  Abr est vide.
    -- Param Abr : L'arbre qu'on va initialiser.
    procedure Initialiser(Abr: out T_ABR) with
        Post => Est_Vide (Abr); -- Abr := Null.


    -- Est-ce …