Ada

Erreur de compilation lié à la généricité et type dérivé de Finalizat°

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : Erreur de compilation lié à la généricité et type dérivé de Finalizat°

Profil supprimé

:hello: Bonjour,

Dans un projet de developpement d'un petite application faisant appel aux algorithmes de resolution du jeu du Taquin,
J'ai cette erreur de compilation parce que je donne en parametre generique de P_Taquin la procedure put du paquetage p_image_io qui est une instance de text_io.integer_io.

no visible subprogram matches the specification for "Afficher"
missing specification for "Width" and other formals with defaults

Et je suis bien embété :heink:

j'utilise Gnat (sous Linux)

Code :

-- Dans ce programme,
       
--     -- J'initialise un Jeu du Taquin, 
       -- durant l'initialisation j'affiche l'image du jeu a chaque initialisation de jeton
 
       -- J'affiche un message
       -- j'attend un caractere
 
       -- Je copie le jeu avec une variable d'un non mieu aproprie a l'operation suivante
       -- Tant que le joueur n'arrete pas le melange,
       -- j'affiche l'image initiale
       -- j'affcihe l'image du jeu
       -- je deplace un jeton
 
       -- Je copie le jeu dans une variable d'un non mieu aproprie a l'operation suivante
       -- tant que l'image de la copie courante /= model
       -- j'affiche l'image initiale
       -- j'affcihe l'image model du jeu
       -- j'affcihe l'image courante du jeu
       -- je deplac deplace un jeton
 
       -- j'affiche l'image initiale
       -- j'affcihe l'image model du jeu
       -- j'affcihe l'image courante du jeu
       -- j'affiche un message
       -- j'attend un caractere

les sources, vite fait

Code :

package P_Les_Types_Taquin is
   subtype T_Borne_1 is Positive range 1.. Positive'Last/2;
end P_Les_Types_Taquin;

Code :

with P_Les_Types_Taquin;
use P_Les_Types_Taquin;
generic
   N : T_Borne_1;
   M : T_Borne_1;
   type T_Image is private;
   with procedure Afficher(Une : T_Image);
package P_Taquin is
   type T_Taquin is private;
   subtype T_Borne_2 is natural range 0..(N*M)-1;
   procedure Afficher(Un  : T_Taquin);
   function Sont_Egales(Gauche, Droit : T_taquin) return Boolean;
   procedure Init_Suivant(Le : T_Taquin; Image : T_Image);
   procedure Melange_Deplacer_Un_Jeton(Courant : in out T_taquin);
   procedure trie_Deplacer_Un_Jeton(Model : in T_Taquin; Courant : in out T_taquin);
end P_Taquin;

Code :

with P_Les_Types_Taquin;
use P_Les_Types_Taquin;
generic
   M : T_Borne_1 := 5;
   N : T_Borne_1 := 5;
   S : Boolean := true;
package P_Mon_Appli_Taquin is
   procedure Initialiser;
   procedure Melanger;
   procedure Ordonner;
end P_Mon_Appli_Taquin;

C'est la que ça ce passe, a la ligne 15

Code :

with P_Taquin;
with Text_Io, Ada.Integer_Text_io;use Text_Io, Ada.Integer_Text_io;
with Ada.Numerics.Discrete_Random;
package body P_Mon_Appli_Taquin is
   function System(Clear : String) return Integer;
   pragma import(C, System, "system" );
   Clear_Return : Integer;
 
 
 
   subtype T_Image is Natural range 0..(N*M)-1;
   package P_Image_Io is new Text_Io.Integer_Io(T_Image);
 
   package P_Mon_Taquin is new P_Taquin(N,M,T_Image,
                                        P_Image_Io.Put);
   use P_Mon_Taquin;
   Taquin_Init, Taquin_Melange, Taquin_Ordonne : T_Taquin;
 
 
   procedure Initialiser is
      type T_Tab_Image is array (natural range 0..(N*M)-1) of T_Image;
      Tab_Image : T_Tab_Image := (others => 0);
      procedure Permute(Tab : in out T_Tab_Image;I,J : T_Borne_2) is
         Tampon : T_Image := Tab(I);
      begin
         Tab(I) := Tab(J);
         Tab(J) := Tampon;
      end Permute;
 
      Package P_T_Borne_2_random is new Ada.Numerics.Discrete_Random(T_Borne_2);
      T_Borne_2_Gen : P_T_Borne_2_Random.Generator;
      use P_T_Borne_2_Random;
 
   begin
      for I in Tab_Image'Range loop
         Tab_Image(I) := I;
      end loop;
      if not S then
         for I in 1..Tab_Image'Length/2 loop
            Permute(Tab_Image,
                    Random(T_Borne_2_Gen),
                    Random(T_Borne_2_Gen));
         end loop;
      end if;
      Put("Taquin initialise" );
      New_Line(2);
      for I in Tab_Image'Range loop
         Init_Suivant(Taquin_Init,Tab_image(I));
         Clear_Return := System("clear" & Ascii.Nul);
         Afficher(Taquin_Init);
      end loop;
      New_Line(22-Count(N));
   end Initialiser;
   procedure Melanger is
      Char : Character;
      task Get_Char is
      end Get_Char;
      task body Get_Char is
      begin
         loop
            Get_Immediate(Char);
            delay 0.1;
         end loop;
      end Get_Char;
   begin
      Taquin_Melange := Taquin_Init;
      while Char /= 'q' loop
         Clear_Return := System("clear" & Ascii.Nul);
         Put("Taquin initialise" );
         New_Line(2);
         Afficher(Taquin_Init);
         Put("Taquin melange" );
         New_Line(2);
         Afficher(Taquin_melange);
         Delay 0.1;
         Melange_Deplacer_Un_Jeton(Taquin_Melange);
      end loop;
   end Melanger;
   procedure Ordonner is
   begin
      Taquin_Ordonne := Taquin_Melange;
      while not sont_Egales(Taquin_Melange,
                            Taquin_Ordonne) loop
         Clear_Return := System("clear" & Ascii.Nul);
         Put("Taquin initialise" );
         New_Line(2);
         Afficher(Taquin_Init);
         Put("Taquin melange" );
         New_Line(2);
         Afficher(Taquin_melange);
         Put("Taquin ordonne" );
         New_Line(2);
         Afficher(Taquin_ordonne);
         Trie_Deplacer_Un_Jeton(Taquin_Melange,Taquin_Ordonne);
      end loop;
      Put("Taquin initialise" );
      New_Line(2);
      Afficher(Taquin_Init);
      Put("Taquin melange" );
      New_Line(2);
      Afficher(Taquin_melange);
      Put("Taquin ordonne" );
      New_Line(2);
      Afficher(Taquin_ordonne);
   end Ordonner;
end P_Mon_Appli_Taquin;

Code :

with P_Les_Types_Taquin; use P_Les_Types_Taquin;
with P_Mon_Appli_Taquin;
 
with Ada.Command_Line;
use Ada.Command_Line;
 
with Text_Io; use Text_Io;
procedure Main is
   Char : Character := ' ';
   package Jeu_De_Taquin is new P_Mon_Appli_Taquin
     (T_Borne_1'Value(Argument(1)),
      T_Borne_1'Value(Argument(2)),
     Boolean'Value(Argument(3)));
begin
   while Char /= Character'Val(10) loop
      begin
         Jeu_De_Taquin.Initialiser;
         Put("Appuyez sur un touche pour continuer" );
         Get_Immediate(Char);
         Jeu_De_Taquin.Melanger;
         Jeu_De_Taquin.Ordonner;
         Put("Fin de programme ; Appuyez sur Entree pour recommencer" );
         Get_Immediate(Char);
      exception
         when others =>
            raise;
      end;
   end loop;
end Main;

Message édité par Profil supprimé le 10-05-2006 à 13:05:50

Publicité

Profil supprimé

J'ai cette autre erreur de compilaton

instantiation error at p_taquin.ads:32
parent type must not be outside generic body

Et je suis bien embété aussi :heink:

La scpecification de p_taquin est la suivante

Code :

with P_Les_Types_Taquin;
use P_Les_Types_Taquin;
with Ada.Finalization;
with Ada.Unchecked_Deallocation;
generic
   N : T_Borne_1;
   M : T_Borne_1;
   type T_Image is private;
   with procedure Afficher(Une : T_Image);
package P_Taquin is
   type T_Taquin is limited private;
   subtype T_Borne_2 is natural range 0..(N*M)-1;
   procedure Afficher(Un  : T_Taquin);
   procedure Copier(Source,Destination : in out T_Taquin);
   function Sont_Egales(Gauche, Droit : T_taquin) return Boolean;
   procedure Init_Suivant(Le : in out T_Taquin; Image : T_Image);
   procedure Melange_Deplacer_Un_Jeton(melange : in out T_taquin);
   procedure trie_Deplacer_Un_Jeton(Model : in out T_Taquin;
                                    ordonne : in out T_taquin);
   procedure Vider(Un : in out T_Taquin);
private
   type T_Jeton;
   type T_Liste_De_Jeton is access T_Jeton;
   type T_Tab_Jeton is array (Positive range <>,
                              Positive range <> ) of T_Liste_De_jeton;
   type T_Matrice(N : T_Borne_1;
                  M : T_Borne_1) is
      record
         Tab_Jeton : T_Tab_Jeton(1..N,1..M) := (others => (others => null));
      end record;
 
   type T_Jeton is 
      record
         Suivant : T_Liste_De_Jeton;
         Id_Jeton : T_Borne_2 := 0;
         Id_Up : T_Borne_2 := 0;
         Id_Down : T_Borne_2 := 0;
         Id_Left : T_Borne_2 := 0;
         Id_Right : T_Borne_2 := 0;
         Image : T_Image;
      end record;
   type T_Taquin is new Ada.Finalization.Limited_Controlled with 
      record
         Matrice    : T_Matrice(N,M);
         Liste_Du_Taquin : T_Liste_De_Jeton := null;
         Courant : T_Liste_De_Jeton := null;
      end record;
   procedure Liberer is new
     Ada.Unchecked_Deallocation (T_Jeton,T_Liste_De_Jeton);
   procedure Finalize(Un : in out T_Taquin) renames Vider;
end P_Taquin;

Les sources de mon jeu du Taquin sont disponibles ICI

Avec ObjectAda l'erreur est celle-ci

LRM:3.9.1(4), A type extension may not be declared in a generic body if the parent type is declared outside that body; this applies to the visible part of a generic instantiation

LRM:3.9.1(4)

Message édité par Profil supprimé le 10-05-2006 à 11:07:57

Profil supprimé

LRM 3.9.1(4)

The parent type of a record extension shall not be a class-wide type. If the parent type is nonlimited, then each of the components of the record_extension_part shall be nonlimited. The accessibility level (see 3.10.2) of a record extension shall not be statically deeper than that of its parent type. In addition to the places where Legality Rules normally apply (see 12.3), these rules apply also in the private part of an instance of a generic unit.

mais je comprends pas ce que dis le monsieur, c'est à dire, je parle pas anglais :cry:

Message cité 1 fois

Profil supprimé

une traduction googlienne:

Le type de parent d'une prolongation record ne sera pas un type classe-large. Si le type de parent est sans limite, alors chacun des composants du record_extension_part sera sans limite. Le niveau d'accessibilité (voir 3.10.2) d'une prolongation record ne sera pas statiquement plus profond que celui de son type de parent. En plus des endroits où les règles de légalité s'appliquent normalement (voir 12.3), ces règles s'appliquent également dans la partie privée d'un exemple d'une unité générique.

(J'avous que la. je ne comprend pas ce qu'il me dis ?)

FORUM HardWare.fr

Programmation

Ada

Erreur de compilation lié à la généricité et type dérivé de Finalizat°

Sujets relatifs
[Résolu] Erreur w3c que je ne comprends pas	tester un type de valeur
erreur ds mon code	Deja vu ce type de GUI ? GDI+ et directX9
[RESOLU] "Incompatibilité de type" sur VBA	erreur programme vba excel
Message d'erreur au moment de compiler une application	Compilation ASM avec GCC sous MAC
Retrouver les extensions d'images grâce au type mime	Page Type et ajout de boutons, IFrame
Plus de sujets relatifs à : Erreur de compilation lié à la généricité et type dérivé de Finalizat°

Page générée en 0.102 secondes