我正在开发一个通用程序,该程序可以使用Ada过滤数据。
我试图用一个列表和一棵树来做到这一点。
具有列表实现的程序可以完美运行。
我的问题在于那棵树。
我有不同的通用软件包:
Arbre_Binaire_Recherche_g.ads
generic
TYPE Element IS PRIVATE;
WITH FUNCTION "="(E1,E2 : IN Element) RETURN Boolean;
WITH FUNCTION "<"(E1,E2 : IN Element) RETURN Boolean;
WITH PROCEDURE Liberer_Element(E : IN OUT Element);
WITH FUNCTION Element_To_String(E : IN Element) RETURN String;
package Arbre_Binaire_Recherche_g is
[...]
with function critere(E : in element) return Boolean;
procedure Filtrer(A : in Arbre; B : out Arbre);
private
TYPE Noeud;
TYPE Arbre IS ACCESS Noeud;
TYPE Noeud IS RECORD
Info : Element;
Gauche : Arbre;
Droite : Arbre;
END RECORD;
END Arbre_Binaire_Recherche_g;
procedure Filtrer(A : in Arbre ; B : out Arbre) is
begin
if not Est_Vide(A) then
Filtrer(A.Gauche, B);
if critere(A.all.Info) then
Inserer_element(B, A.all.info);
end if;
Filtrer(A.Droite, B);
end if;
end Filtrer;
WITH Arbre_Binaire_Recherche_G, Acteurs;
USE Acteurs;
package ABR_acteurs is new Arbre_Binaire_Recherche_G(acteur,"=","<",Liberer_acteur,Acteur_To_String);
WITH ABR_Acteurs, Acteurs, Ada.Text_Io, Arbre_Binaire_Recherche_G;
use Ada.Text_Io, Abr_Acteurs;
PROCEDURE Tester_ABR_Acteurs is
function Filtrage (Act : Acteurs.Acteur) return Boolean is
begin
return true;
end Filtrage;
procedure Filtrer_acteur is new Arbre_Binaire_Recherche_G.Filtrer(Filtrage);
[...]
procedure Filtrer_acteur is new Arbre_Binaire_Recherche_G.Filtrer(Filtrage);
generic
TYPE Element IS PRIVATE;
WITH FUNCTION "="(E1,E2 : IN Element) RETURN Boolean;
WITH FUNCTION "<"(E1,E2 : IN Element) RETURN Boolean;
WITH PROCEDURE Liberer_Element(E : IN OUT Element);
WITH FUNCTION Element_To_String(E : IN Element) RETURN String;
with function critere(E : in element) return Boolean;
package ABR_acteurs is new Arbre_Binaire_Recherche_G(acteur,"=","<",Liberer_acteur,Acteur_To_String, Critere_acteur);
procedure Filtrer(A : in Arbre ; B : out Arbre) is
begin
if not Est_Vide(A) then
Filtrer_hihi(A.Gauche, B);
if critere(A.all.Info) then
Inserer_element(B, A.all.info);
end if;
Filtrer_hihi(A.Droite, B);
end if;
end Filtrer;
with Ada.Unchecked_Deallocation;
generic
type Element is private;
with function "<"(E1, E2 : in Element) return Boolean;
with function "="(E1, E2 : in Element) return Boolean;
with procedure Liberer_Element(E : in out Element);
with function Element_To_String(E : in Element) return String;
package Liste_Ordonnee_G is
type Liste is private;
[...]
generic
with function Critere(E:Element) return Boolean;
function Filtrer(L : Liste) return Liste;
private
type Cellule;
type Lien is access Cellule;
type Cellule is record
Info : Element;
Suiv : Lien;
end record;
type Liste is record
Debut : Lien;
Cardinal : Natural;
end record;
-- procedure de liberation de la memoire occupee par la cellule
procedure Liberer_Cellule is new Ada.Unchecked_Deallocation(Cellule, Lien);
end Liste_Ordonnee_G;
function Filtrer(L : Liste) return Liste is
New_Liste : Liste;
Aux :Lien ;
begin
Creer_Liste(New_Liste);
Aux := L.Debut;
while Aux /= null loop
if Critere(Aux.all.Info) then
Inserer(Aux.all.Info, New_Liste);
end if;
Aux := Aux.all.Suiv;
end loop;
return New_Liste;
end Filtrer;
with Acteurs, Liste_Ordonnee_G;
use Acteurs;
PACKAGE Liste_Ordonnee_Acteurs IS new Liste_Ordonnee_G(Acteur, "<", "=", Liberer_Acteur, Acteur_To_String);
function Filtrage (A : Acteurs.Acteur) return Boolean is
begin
return Acteurs.Annee(A) = 2000;
end Filtrage;
function Filtrer is new Liste_Ordonnee_Acteurs.filtrer(Filtrage);
最佳答案
对于列表版本,您有
with Acteurs, Liste_Ordonnee_G;
use Acteurs;
PACKAGE Liste_Ordonnee_Acteurs
IS new Liste_Ordonnee_G(Acteur, "<", "=", Liberer_Acteur, Acteur_To_String);
Liste_Ordonnee_Acteurs.Filtrer
,例如generic
with function Critere(E:Acteur) return Boolean;
function Filtrer(L : Liste) return Liste;
function Filtrage (A : Acteurs.Acteur) return Boolean is
begin
return Acteurs.Annee(A) = 2000;
end Filtrage;
function Filtrer is new Liste_Ordonnee_Acteurs.filtrer(Filtrage);
function Filtrer is new Liste_Ordonnee_G.filtrer(Filtrage);
procedure Filtrer_acteur is new Arbre_Binaire_Recherche_G.Filtrer(Filtrage);
procedure Filtrer_acteur is new ABR_Acteurs.Filtrer(Filtrage);
关于generics - Ada : invalid prefix in selected component,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/23176650/