Forum |  HardWare.fr | News | Articles | PC | S'identifier | S'inscrire | Shop Recherche
1587 connectés 

  FORUM HardWare.fr
  Programmation
  Ada

  Constraint_error : puiss4.adb:126 index check failed

 
 


 Mot :   Pseudo :  
 
Bas de page
Auteur Sujet :

Constraint_error : puiss4.adb:126 index check failed

n°701555
dmey
Posté le 17-04-2004 à 10:01:30  profilanswer
 

Salut
 
on est en ce moment de faire un puissance4 pour un projet en dut mais on a cette erreur a l'execution : Constraint_error : puiss4.adb:126 index check failed
 
je vous met le code source :
 

Code :
  1. with simple_io; use simple_io ;
  2. procedure Puiss4 is
  3.    --definition des variables et des types
  5.    Nbl,Nbc : Integer := 1 ;
  6.    type Tpuis4 is array (1..Nbl,1..Nbc) of Character  ;
  7.    puis4:tpuis4;
  8.    type Tres is (Ordi,Util,Nul);
  9.    --definition des sous-programmes
  10.    procedure Demande_Taille (Puis4 : in out Tpuis4 ; Nbl : out Integer ; Nbc : out Integer);
  11.    procedure Affiche_Grille (Puis4 : in out Tpuis4 ;Nbl,Nbc : in Integer );
  12.    procedure Affiche_Rond (Puis4 : in out Tpuis4 ;L,C : in Integer );
  13.    procedure Affiche_Croix (Puis4 : in out Tpuis4 ;L,C : in Integer );
  14.    function Debut_Partie (Puis4 : Tpuis4 )return  Boolean ;
  15.    procedure Demande_Position (Puis4 : in out Tpuis4 ;L,C : out Integer );
  16.    procedure Affiche_Resultat (Puis4 : in out Tpuis4 ;Res : in Tres);
  17.    procedure Autre_Partie (Puis4 : in out Tpuis4 ;Autrepartie : out Boolean );
  18.    procedure Vide_Puiss4 (Puis4 : in out Tpuis4 ;Nbl,Nbc : in Integer ) ;
  19.    function Position_Correcte (Puis4 : in  Tpuis4 ;L,C : integer) return Boolean ;
  20.    procedure Met_Croix (Puis4 : in out Tpuis4 ;L,C : in Integer );
  21.    procedure Met_Rond (Puis4 : in out Tpuis4 ;L,C : in Integer );
  22.    procedure Reponse_Ordinateur (Puis4 : in out Tpuis4 ;L,C : out Integer; Partiefinie : out Boolean; Res : out Tres );
  23.    function Nbpions (Puis4 : Tpuis4)return Integer ;
  24.    procedure Rectifipos (Puis4 : in out Tpuis4 ;L,C : in out Integer );
  25.    procedure Aleatoire (puis4:in tpuis4;L,C : out Integer ; Plein :out Boolean );
  26.    procedure Ordi_4(puis4:in out tpuis4;L,C : out Integer ; Fin : out Boolean );
  27.    procedure Vertical_4_X (Puis4 : in out Tpuis4 ;L,C : out Integer ; Vertical : out Boolean );
  28.    procedure Horizontal_4_X (Puis4 : in out Tpuis4 ;L,C : out Integer; Horizontal : out Boolean );
  29.    procedure Diagonal_4_X_1 (Puis4 : in out Tpuis4 ;L,C : out Integer ; Diag : out Boolean );
  30.    procedure Diagonal_4_X_2(Puis4 : in out Tpuis4 ;L,C : out Integer; Diag : out Boolean );
  31.    procedure Ordi_3 (Puis4 : in out Tpuis4 ;L,C : out Integer ; Fin : out Boolean );
  32.    procedure Vertical_3_X (Puis4 : in out Tpuis4 ;L,C : out Integer ; Vertical : out Boolean );
  33.    procedure Horizontal_3_X ( Puis4 : in out Tpuis4 ;L,C : out Integer ; Horizontal : out Boolean );
  34.    procedure Diagonal_3_X_1(puis4:in out tpuis4;L,C : out Integer ; Diag : out Boolean );
  35.    procedure Diagonal_3_X_2(Puis4 : in out Tpuis4 ;L,C : out Integer ; Diag : out Boolean );
  36.    procedure Util_4 (Puis4 : in out Tpuis4 ;L,C : out Integer ; Stop : out Boolean ; Perdu : out Boolean );
  37.    procedure Vertical_4_0(Puis4 : in out Tpuis4 ;L,C : out Integer ; Vertical : out Boolean ; Perdu : out Boolean );
  38.    procedure Horizontal_4_0(Puis4 : in out Tpuis4 ;L,C : out Integer ; Horizontal,Perdu : out Boolean );
  39.    procedure Diagonal_4_0_1(Puis4 : in out Tpuis4 ;L,C : out Integer ; Diag,Perdu : out Boolean );
  40.    procedure Diagonal_4_0_2(Puis4 : in out Tpuis4 ;L,C : Out Integer ; Diag,Perdu : out Boolean );
  41.    --corps des procedures et fonctions
  43.    procedure Demande_Taille(Puis4 : in out Tpuis4 ; Nbl : out Integer ; Nbc : out Integer) is
  44.    begin
  45.       loop
  46.          Put_Line("Saisir le nombre de lignes(entre 4 et 6)" );
  47.          Get(Nbl);
  48.          exit when ((Nbl<=6) and (Nbl>=4));
  49.       end loop;
  50.       loop
  51.          Put_Line("saisir le nombre de colonnes(entre 4 et 7)" );
  52.          Get(Nbc);
  53.          exit when ((Nbl<=7) and (Nbc>=4));
  54.       end loop;
  55.    end Demande_Taille ;
  57.    procedure Affiche_Grille (Puis4 : in out Tpuis4 ;Nbl,Nbc : in Integer )is
  58.       begin
  59.       for J in 1..Nbc loop
  60.          for I in 1..Nbl loop
  61.            Put(Puis4(I,J));
  62.          end loop;
  63.       end loop;
  64.       end Affiche_Grille ;
  66.    procedure Affiche_Rond (Puis4 : in out Tpuis4 ; L,C : in Integer )is
  67.    begin
  68.       Met_Rond(Puis4,L,C);
  69.       Affiche_Grille(Puis4,Nbl,Nbc);
  70.    end Affiche_Rond ;
  72.    procedure Affiche_Croix (Puis4 : in out Tpuis4 ; L,C : in Integer )is
  73.    begin
  74.       Met_Croix(Puis4,L,C);
  75.       Affiche_Grille(Puis4,Nbl,Nbc);
  76.    end Affiche_croix ;
  78.    function Debut_Partie (Puis4 : Tpuis4 ) return Boolean is
  79.       D : String (1..3) ;
  80.       Debutpartie : Boolean ;
  81.    begin
  82.       Debutpartie:=False ;
  83.       Put_Line ("Voulez vous commencer à jouer ? (oui ou non)" );
  84.       Get(D);
  85.       if D="oui" then
  86.          Debutpartie:=True ;
  87.       end if ;
  88.       return Debutpartie ;
  89.    end Debut_Partie ;
  91.    procedure Demande_Position (Puis4 : in out Tpuis4 ;L,C : out Integer ) is
  92.    begin
  93.       Put_Line ("Donnez le numero de la ligne ou vous voulez placez le pion" );
  94.       Get(L);
  95.       Put_Line ("Donnez le mumero de la colonne ou vous voulez placez le pion" );
  96.       Get(C);
  97.    end Demande_Position ;
  99.    procedure Affiche_Resultat (Puis4 : in out Tpuis4 ;Res : in Tres) is
  100.    begin
  101.       if Res=Ordi then
  102.          Put_Line("Vous avez perdu" );
  103.       elsif Res=Util then
  104.          Put_Line("Vous avez gagné" );
  105.       else
  106.          Put_Line("Match nul" );
  107.       end if;
  108.    end Affiche_Resultat;
  110.    procedure Autre_Partie (Puis4 : in out Tpuis4 ;Autrepartie : out Boolean ) is
  111.    Rep : String (1..3) ;
  112.    begin
  113.       Put_Line ("voulez vous rejouez ?" ) ;
  114.       get (Rep);
  115.       if Rep="oui" then
  116.          Autrepartie:=True ;
  117.       else
  118.          Autrepartie:=False ;
  119.       end if ;
  120.    end Autre_Partie ;
  122.    procedure Vide_Puiss4 (Puis4 : in out Tpuis4 ;Nbl,Nbc : in Integer ) is
  123.    begin
  124.       for I in 1..Nbl loop
  125.          for J in 1..Nbc loop
  126.             Puis4(I,J):='V' ;
  127.          end loop ;
  128.       end loop ;
  129.    end Vide_Puiss4 ;
  131.    function Position_Correcte (Puis4 : in  Tpuis4 ;L,C : integer) return Boolean is
  132.       Pos : Boolean ;
  133.    begin
  134.       Pos := True ;
  135.       if not(Puis4(L,C)='V') then
  136.          Pos:=False ;
  137.       end if ;
  138.       if Pos=True then
  139.          if L>1 then
  140.             for I in 1..Nbl loop
  141.                if Puis4(I,C)='V' then
  142.                   Pos:=False ;
  143.                end if ;
  144.             end loop;
  145.          end if;
  146.       end if;
  147.           return pos;
  148.    end Position_Correcte ;
  150.    procedure Met_Croix (Puis4 : in out Tpuis4 ;L,C : in Integer ) is
  151.    begin
  152.       Puis4(L,C):='x' ;
  153.    end Met_Croix ;
  155.    procedure Met_Rond (Puis4 : in out Tpuis4 ;L,C : in Integer ) is
  156.    begin
  157.       Puis4(L,C):='o' ;
  158.    end Met_Rond ;
  159. -- ______________________________________
  160.    procedure Reponse_Ordinateur (puis4:in out tpuis4;L,C : out Integer; Partiefinie : out Boolean; Res : out Tres ) is
  162.   -- declarations et initialisations
  163. nb:integer;
  164. lo,co,lo2,Co2,la,ca,lu,cu:Integer;
  165. finordi4,stoputil_4,finordi2,rempli,ordiperdu,grillepleine:boolean;
  167. --corps du programme
  168. begin
  169. Nb:=nbpions(puis4);
  170. ordi_4(puis4,lo,co,finordi4);
  171. ordi_3(puis4,lo2,co2,finordi2);
  172. aleatoire(puis4,la,ca,rempli);
  173. util_4(puis4,lu,cu,stoputil_4,ordiperdu);
  174. if ordiperdu then
  175.         L:=lu;
  176.         c:=cu;
  177.         partiefinie:=true;
  178.         res:=util;
  179. elsif finordi4 and then Lo/=0 then
  180.         l:=lo;
  181.         c:=co;
  182.         partiefinie:=false;
  183.         res:=ordi;
  184. elsif stoputil_4 and then Lu/=0 then
  185.         l:=lu;
  186.         c:=cu;
  187.         partiefinie:=false;
  188.         res:=nul;
  189. else
  190.         l:=la;
  191.         c:=ca;
  192.         if rempli then
  193.                 partiefinie:=true;
  194.         else partiefinie:= false;
  195. end if;
  196. res:=nul;
  197. end if;
  198. if L/=0 then
  199.         rectifipos(puis4,L,C);
  200. end if;
  201. if not partiefinie then
  202.         grillepleine:=(nb+1)>=nbl*nbc;
  203.         partiefinie:=grillepleine;
  204. end if;
  205. end Reponse_Ordinateur;
  206. -- ______________________________________
  208.    function Nbpions (puis4 : Tpuis4 )return Integer is
  209.         --declarations
  210.         som:Integer:=0;
  211.         --corps de la fonction
  212.             begin
  213.             for i in 1..nbl loop
  214.                 for j in 1..nbc loop
  215.                         if puis4(i,J)/='V' then
  216.                                 som:=som+1;
  217.                         end if;
  218.                 end loop;
  219.         end loop;
  220.         return som;
  221. end nbpions;
  223.    -- ______________________________________
  225.    procedure  Rectifipos (Puis4 : in out Tpuis4 ;L,C : in out Integer ) is
  226.         --declarations
  227.         vide:boolean:=false;
  228.         --corps du programme
  229.         begin
  230.         while (puis4(L+1,C)='V')and then (L<nbl) loop
  231.                 L:=l+1;
  232.                 vide:=true;
  233.         end loop;
  234.         if not vide then
  235.                 while (puis4(L,C)/='V') and then (L>0)loop
  236.                 l:=l-1;
  237.         end loop;
  238. end if;
  239. end rectifipos;
  241.    -- ______________________________________
  243.    procedure Aleatoire (puis4:in tpuis4;L,C : out Integer ; Plein :out Boolean )is
  244.    -- declarations et initialisations
  245.    I:Integer:=Nbl+1;
  246.    J:Integer;
  248.    -- corps du programme
  249.    begin
  250.    Plein:=True;
  251.    L:=0;
  252.    C:=0;
  253.    while (Plein and then (I>0))loop
  254.       I:=I-1;
  255.       J:=Nbc+1;
  256.       while (Plein and then (J>0))loop
  257.          J:=J-1;
  258.          if  (puis4(I,J)='V') then  -- T est le tableau de puis4 ( voir function Nbpions)
  259.             L:=I;
  260.             C:=J;
  261.             Plein:= False;
  262.          end if;
  263.       end loop;
  264.    end loop;
  265. end Aleatoire;
  266. -- ______________________________________
  268. procedure Ordi_4(puis4:in out tpuis4;L,C : out Integer ; Fin : out Boolean )is
  269.         --declarations
  271. lh,ch,lv,cv,ld1,cd1,ld2,cd2:integer;
  272. horizontal,vertical,diag1,diag2:boolean;
  273. -- corps du programme
  274. begin
  275. horizontal_4_X(puis4,Lh,ch,horizontal);
  276. vertical_4_X(puis4,lv,cv,vertical);
  277. diagonal_4_X_1(puis4,ld1,cd1,diag1);
  278. diagonal_4_X_2(puis4,ld2,cd2,diag2);
  279. L:=0;C:=0;
  280. fin:=false;
  281. if vertical then
  282.         l:=lv;c:=cv;fin:=true;
  283. elsif horizontal then
  284.         l:=lh;c:=ch;fin:=true;
  285. elsif diag1 then
  286.         l:=ld1;c:=cd1;fin:=true;
  287. elsif diag2 then
  288.         l:=ld2;c:=cd2;fin:=true;
  289. end if;
  290. end ordi_4;
  292. -- ______________________________________
  294.    procedure Vertical_4_X (puis4:in out tpuis4;L,C : out Integer ; Vertical : out Boolean )is
  295. --declarations
  296. m,p:integer;
  297. --corps du programme
  298. begin
  299. vertical:=false;l:=0;c:=0;m:=nbc+1;
  300. while (m>1)and then (not vertical) loop
  301.         m:=m-1;p:=nbl+1;
  302.         while (p>4)and then (not vertical) loop
  303.                 p:=p-1;vertical:=((puis4(p,M)='C')and (puis4(p-1,M)='C') and (puis4(p-2,M)='C'));
  304.                 if vertical then
  305.                         if (puis4(p-3,M)='V') then
  306.                                 l:=p-3;c:=m;
  307.                         else
  308.                                 vertical:=False;
  309.                         end if;
  310.                 end if;
  311.         end loop;
  312. end loop;
  313. end Vertical_4_X;
  315.    -- ______________________________________
  317.    procedure Horizontal_4_X (puis4:in out tpuis4;L,C : out Integer; Horizontal : out Boolean )is
  318.         --declarations
  319.         p,m:integer;
  320.         -- corps du programme
  321.         begin
  322.         horizontal:=false;l:=0;c:=0;
  323.         p:=nbl+1;
  324.         while (p>1) and (not horizontal)loop
  325.                 p:=p-1;m:=nbc+1;
  326.                 while (m>3)and (not horizontal) loop
  327.                         m:=m-1;horizontal:=(puis4(p,m)='C')and (puis4(p,m-1)='C')and (puis4(p,m-2)='C');
  328.                         if horizontal then
  329.                                 if (m<=(nbc-1))and (puis4(p,m+1)='V')then
  330.                                 l:=p;c:=m+1;
  331.                         elsif (m>3)and (puis4(p,m-3)='V') then
  332.                                 l:=p;c:=m-3;
  333.                         elsif (M>=3)and (m<=(nbc-1)) and (puis4(p,m+1)='V') then
  334.                                 l:=p;c:=m+1;
  335.                         else
  336.                                 horizontal:=false;
  337.                         end if;
  338.                 end if;
  339.         end loop;
  340. end loop;
  341. end Horizontal_4_X;
  343.   -- ______________________________________
  345.    procedure Diagonal_4_X_1 (puis4:in out tpuis4;L,C : out Integer ; Diag : out Boolean )is
  346.         --declarations
  347.         p,m:integer;
  348.         -- corps du programme
  349.         begin
  350.         diag:=false;l:=0;c:=0;
  351.         p:=nbl+1;
  352.         while (p>3) and (not diag)loop
  353.                 p:=p-1;m:=nbc+1;
  354.                 while (m>3)and (not diag) loop
  355.                         m:=m-1;diag:=(puis4(p,m)='C')and (puis4(p-1,m-1)='C')and (puis4(p-2,m-2)='C');
  356.                         if diag then
  357.                                 if (m=nbc)and (p=nbl)and (puis4(p-3,M-3)='V') then
  358.                                         l:=p-3;c:=M-3;
  359.                                 elsif (p=3) and (M/=nbc) and (puis4(p+1,M+1)='V')then
  360.                                         l:=p+1;c:=M+1;
  361.                                 elsif (m<nbc) and (p<nbl) and (p>=3) and ( puis4(p+1,M+1)='V') then
  362.                                         l:=p+1;c:=m+1;
  363.                                 elsif (m<=nbc) and (p<=nbl) and (p>3) and(m>3)and (puis4(p-3,M-3)='V') then
  364.                                         l:=p-3;c:=M-3;
  365.                                 else diag:=false;
  366.                         end if;
  367.                 end if;
  368.         end loop;
  369. end loop;
  370. end Diagonal_4_X_1;
  372.   -- ______________________________________
  374.    procedure Diagonal_4_X_2(puis4:in out tpuis4;L,C : out Integer; Diag : out Boolean )is
  375.         --declarations
  376.         p,m:integer;
  377.         -- corps du programme
  378.         begin
  379.         diag:=false;l:=0;c:=0;
  380.         p:=nbl+1;
  381.         while (p>3) and (not diag)loop
  382.                 p:=p-1;m:=0;
  383.                 while (m<(nbc-3))and (not diag) loop
  384.                         m:=m+1;diag:=(puis4(p,m)='C')and (puis4(p-1,m+1)='C')and (puis4(p-2,m+2)='C');
  385.                         if diag then
  386.                                 if (m=1)and (p=nbl)and (puis4(p-3,M+3)='V') then
  387.                                         l:=p-3;c:=M+3;
  388.                                 elsif (p=3) and (M/=1) and (puis4(p+1,M-1)='V')then
  389.                                         l:=p+1;c:=M-1;
  390.                                 elsif (m>1) and (p<nbl) and (p>3) and ( puis4(p+1,M-1)='V') then
  391.                                         l:=p+1;c:=m-1;
  392.                                 elsif (m<=nbc) and (p<=nbl) and (p>3) and(m<(nbc-3))and (puis4(p-3,M+3)='V') then
  393.                                         l:=p-3;c:=M+3;
  394.                                 else diag:=false;
  395.                         end if;
  396.                 end if;
  397.         end loop;
  398. end loop;
  399. end Diagonal_4_X_2;
  401.    -- ______________________________________
  403.    procedure Ordi_3 (puis4:in out tpuis4;L,C : out Integer ; Fin : out Boolean )is
  404.         --declarations
  406. lh,ch,lv,cv,ld1,cd1,ld2,cd2:integer;
  407. horizontal,vertical,diag1,diag2:boolean;
  408. -- corps du programme
  409. begin
  410. horizontal_3_X(puis4,Lh,ch,horizontal);
  411. vertical_3_X(puis4,lv,cv,vertical);
  412. diagonal_3_X_1(puis4,ld1,cd1,diag1);
  413. diagonal_3_X_2(puis4,ld2,cd2,diag2);
  414. L:=0;C:=0;
  415. fin:=false;
  416. if vertical then
  417.         l:=lv;c:=cv;fin:=true;
  418. elsif horizontal then
  419.         l:=lh;c:=ch;fin:=true;
  420. elsif diag1 then
  421.         l:=ld1;c:=cd1;fin:=true;
  422. elsif diag2 then
  423.         l:=ld2;c:=cd2;fin:=true;
  424. end if;
  425. end ordi_3;
  427.    -- ______________________________________
  429.    procedure Vertical_3_X (puis4:in out tpuis4;L,C : out Integer ; Vertical : out Boolean ) is
  430.    --declarations
  431. m,p:integer;
  432. --corps du programme
  433. begin
  434. vertical:=false;l:=0;c:=0;m:=nbc+1;
  435. while (m>1)and then (not vertical) loop
  436.         m:=m-1;p:=nbl+1;
  437.         while (p>3)and then (not vertical) loop
  438.                 p:=p-1;vertical:=((puis4(p,M)='C')and (puis4(p-1,M)='C'));
  439.                 if vertical then
  440.                         if (puis4(p-2,M)='V') then
  441.                                 l:=p-2;c:=m;
  442.                         else
  443.                                 vertical:=False;
  444.                         end if;
  445.                 end if;
  446.         end loop;
  447. end loop;
  448. end Vertical_3_X;
  449.    -- ______________________________________
  451.    procedure Horizontal_3_X (puis4:in out tpuis4;L,C : out Integer ; Horizontal : out Boolean ) is
  452.                 --declarations
  453.         p,m:integer;
  454.         -- corps du programme
  455.         begin
  456.         horizontal:=false;l:=0;c:=0;
  457.         p:=nbl+1;
  458.         while (p>1) and (not horizontal)loop
  459.                 p:=p-1;m:=nbc+1;
  460.                 while (m>2)and (not horizontal) loop
  461.                         m:=m-1;horizontal:=(puis4(p,m)='C')and (puis4(p,m-1)='C');
  462.                         if horizontal then
  463.                                 if (m<=(nbc-1))and (puis4(p,m+1)='V')then
  464.                                 l:=p;c:=m+1;
  465.                         elsif (m>2)and (puis4(p,m-2)='V') then
  466.                                 l:=p;c:=m-2;
  467.                         elsif (M>=2)and (m<=(nbc-1)) and (puis4(p,m+1)='V') then
  468.                                 l:=p;c:=m+1;
  469.                         else
  470.                                 horizontal:=false;
  471.                         end if;
  472.                 end if;
  473.         end loop;
  474. end loop;
  475. end Horizontal_3_X;
  476.   -- ______________________________________
  478.    procedure Diagonal_3_X_1(puis4:in out tpuis4;L,C : out Integer ; Diag : out Boolean )is
  479.         --declarations
  480.         p,m:integer;
  481.         -- corps du programme
  482.         begin
  483.         diag:=false;l:=0;c:=0;
  484.         p:=nbl+1;
  485.         while (p>2) and (not diag)loop
  486.                 p:=p-1;m:=nbc+1;
  487.                 while (m>2)and (not diag) loop
  488.                         m:=m-1;diag:=(puis4(p,m)='C')and (puis4(p-1,m-1)='C');
  489.                         if diag then
  490.                                 if (m=nbc)and (p=nbl)and (puis4(p-2,M-2)='V') then
  491.                                         l:=p-2;c:=M-2;
  492.                                 elsif (p=2) and (M/=nbc) and (puis4(p+1,M+1)='V')then
  493.                                         l:=p+1;c:=M+1;
  494.                                 elsif (m<nbc) and (p<nbl) and (p>=3) and ( puis4(p+1,M+1)='V') then
  495.                                         l:=p+1;c:=m+1;
  496.                                 elsif (m<=nbc) and (p<=nbl) and (p>2) and(m>2)and (puis4(p-2,M-2)='V') then
  497.                                         l:=p-2;c:=M-2;
  498.                                 else diag:=false;
  499.                         end if;
  500.                 end if;
  501.         end loop;
  502. end loop;
  503. end Diagonal_3_X_1;
  504. -- ______________________________________
  506.    procedure Diagonal_3_X_2(puis4:in out tpuis4;L,C : out Integer ; Diag : out Boolean )is
  507.    --declarations
  508.         p,m:integer;
  509.         -- corps du programme
  510.         begin
  511.         diag:=false;l:=0;c:=0;
  512.         p:=nbl+1;
  513.         while (p>2) and (not diag)loop
  514.                 p:=p-1;m:=0;
  515.                 while (m<(nbc-2))and (not diag) loop
  516.                         m:=m+1;diag:=(puis4(p,m)='C')and (puis4(p-1,m+1)='C');
  517.                         if diag then
  518.                                 if (m=1)and (p=nbl)and (puis4(p-2,M+2)='V') then
  519.                                         l:=p-2;c:=M+2;
  520.                                 elsif (p=2) and (M/=1) and (puis4(p+1,M-1)='V')then
  521.                                         l:=p+1;c:=M-1;
  522.                                 elsif (m>1) and (p<nbl) and (p>3) and ( puis4(p+1,M-1)='V') then
  523.                                         l:=p+1;c:=m-1;
  524.                                 elsif (m<=nbc) and (p<=nbl) and (p>2) and(m<(nbc-2))and (puis4(p-2,M+2)='V') then
  525.                                         l:=p-2;c:=M+2;
  526.                                 else diag:=false;
  527.                         end if;
  528.                 end if;
  529.         end loop;
  530. end loop;
  531. end Diagonal_3_X_2;
  532.   -- ______________________________________
  533.    procedure Util_4(puis4:in out tpuis4;L,C : out Integer ; Stop : out Boolean ; Perdu : out Boolean )is
  534.         --declarations
  536. lh,ch,lv,cv,ld1,cd1,ld2,cd2:integer;
  537. horizontal,perduH,vertical,perduV,diag1,perduD1,diag2,perduD2:boolean;
  538. -- corps du programme
  539. begin
  540. perdu:=false;
  541. stop:=false;
  542. horizontal_4_0(puis4,Lh,ch,horizontal,perduH);
  543. vertical_4_0(puis4,lv,cv,vertical,perduV);
  544. diagonal_4_0_1(puis4,ld1,cd1,diag1,perduD1);
  545. diagonal_4_0_2(puis4,ld2,cd2,diag2,perduD2);
  546. L:=0;C:=0;
  547. stop:=false;
  548. if perduH or perduV or perduD1 or perduD2 then
  549.         perdu:= true;
  550.         elsif vertical then
  551.         l:=lv;c:=cv;stop:=true;
  552. elsif horizontal then
  553.         l:=lh;c:=ch;stop:=true;
  554. elsif diag1 then
  555.         l:=ld1;c:=cd1;stop:=true;
  556. elsif diag2 then
  557.         l:=ld2;c:=cd2;stop:=true;
  558. end if;
  559. end util_4;
  560.   -- ______________________________________
  561.    procedure Vertical_4_0(puis4:in out tpuis4;L,C : out Integer ; Vertical : out Boolean ; Perdu : out Boolean )is
  562.    --declarations
  563. m,p:integer;
  564. --corps du programme
  565. begin
  566. vertical:=false;l:=0;c:=0;m:=nbc+1;
  567. while (m>1)and then (not vertical) loop
  568.         m:=m-1;p:=nbl+1;
  569.         while (p>4)and then (not vertical) loop
  570.                 p:=p-1;vertical:=((puis4(p,M)='C')and (puis4(p-1,M)='C') and (puis4(p-2,M)='C'));
  571.                 perdu:=(p<nbl)and((p>3)and(puis4(p,m)='R')and (puis4(p-1,m)='R')and(puis4(p-2,m)='R')
  572.                 and((puis4(p-3,m)='R')or(puis4(p+1,m)='R')));
  573.                 if vertical and not perdu then
  574.                         if (puis4(p-3,M)='V') then
  575.                                 l:=p-3;c:=m;
  576.                         else
  577.                                 vertical:=False;
  578.                         end if;
  579.                 end if;
  580.         end loop;
  581. end loop;
  582. end Vertical_4_0;
  583.    -- ______________________________________
  584.    procedure Horizontal_4_0(puis4:in out tpuis4;L,C : out Integer ; Horizontal,Perdu : out Boolean )is
  585.         --declarations
  586.         p,m:integer;
  587.         -- corps du programme
  588.         begin
  589.         horizontal:=false;l:=0;c:=0;perdu:=false;
  590.         p:=nbl+1;
  591.         while (p>1) and (not horizontal)loop
  592.                 p:=p-1;m:=nbc+1;
  593.                 while (m>3)and (not horizontal) loop
  594.                         m:=m-1;horizontal:=(puis4(p,m)='R')and (puis4(p,m-1)='R')and (puis4(p,m-2)='R');
  595.                         perdu:=(m<nbc)and((m>3)and(puis4(p,m)='R')and (puis4(p,m-1)='R')and(puis4(p,m-2)='R')
  596.                 and((puis4(p,m-3)='R')or(puis4(p,m+1)='R')));
  597.                         if horizontal and not perdu then
  598.                                 if (m<nbc)and (puis4(p,m+1)='V')then
  599.                                 l:=p;c:=m+1;
  600.                         elsif (m>3)and (puis4(p,m-3)='V') then
  601.                                 l:=p;c:=m-3;
  602.                         elsif (M>=3)and (m<=(nbc-1)) and (puis4(p,m+1)='V') then
  603.                                 l:=p;c:=m+1;
  604.                         else
  605.                                 horizontal:=false;
  606.                         end if;
  607.                 end if;
  608.         end loop;
  609. end loop;
  610. end Horizontal_4_0;
  611.    -- ______________________________________
  612.    procedure Diagonal_4_0_1(puis4:in out tpuis4;L,C : out Integer ; Diag,Perdu : out Boolean )is
  613.    --declarations
  614.         p,m:integer;
  615.         -- corps du programme
  616.         begin
  617.         diag:=false;l:=0;c:=0;perdu:=false;
  618.         p:=nbl+1;
  619.         while (p>3) and (not diag)loop
  620.                 p:=p-1;m:=nbc+1;
  621.                 while (m>3)and (not diag) loop
  622.                         m:=m-1;diag:=(puis4(p,m)='R')and (puis4(p-1,m-1)='R')and (puis4(p-2,m-2)='R');
  623.                         perdu:=(m<nbc)and((m>3)and(p<nbl)and(p>3)and(puis4(p,m)='R')and (puis4(p-1,m-1)='R')and(puis4(p-2,m-2)='R')
  624.                 and((puis4(p-3,m-3)='R')or(puis4(p+1,m+1)='R')));
  625.                         if diag and not perdu then
  626.                                 if (m<=nbc)and (p<=nbl)and (p>3)and (m>3)and (puis4(p-3,m-3)='V')then
  627.                                 l:=p-3;c:=m-3;
  628.                         elsif (m<nbc)and(p<nbl)and (p>=3)and (puis4(p+1,m+1)='V')then
  629.                         l:=p+1;c:=m+1;
  630.                 else
  631.                         diag:=false;
  632.                 end if;
  633.                 end if;
  634.         end loop;
  635. end loop;
  636. end Diagonal_4_0_1;
  637.    -- ______________________________________
  638.    procedure Diagonal_4_0_2(puis4:in out tpuis4;L,C : Out Integer ; Diag,Perdu : out Boolean )is--declarations
  639.         p,m:integer;
  640.         -- corps du programme
  641.         begin
  642.         diag:=false;l:=0;c:=0;perdu:=false;
  643.         p:=nbl+1;
  644.         while (p>3) and (not diag)loop
  645.                 p:=p-1;m:=0;
  646.                 while (m<(nbc-3))and (not diag) loop
  647.                         m:=m+1;diag:=(puis4(p,m)='R')and (puis4(p-1,m+1)='R')and (puis4(p-2,m+2)='R');
  648.                         perdu:=(m<nbc-3)and((m>1)and(p<nbl)and(p>3)and(puis4(p,m)='R')and (puis4(p-1,m+1)='R')and(puis4(p-2,m+2)='R')
  649.                 and((puis4(p+1,m-1)='R')or(puis4(p-2,m+3)='R')));
  651.                         if diag and not perdu then
  652.                                 if (m>1)and (p<nbl)and (p>3)and  (puis4(p+1,m-1)='V')then
  653.                                 l:=p+1;c:=m-1;
  654.                                 elsif (m>=1)and(p<=nbl)and (p>3)and(m<(nbc-3))and (puis4(p-3,m+3)='V')then
  655.                         l:=p-3;c:=m+3;
  656.                                 else
  657.                         diag:=false;
  658.                                 end if;
  659.                 end if;
  660.         end loop;
  661. end loop;
  662. end Diagonal_4_0_2;
  665.    -- variables de travail de la procedure principale :
  666.    Partie : Boolean :=true;
  667.    partie_finie:boolean;
  668.    Debut : Boolean ;
  669.    Nbt : Integer ; --nb de tour joué
  670.    Nbtmax : Integer ; -- nb de tour max
  671.        L,C : Integer ;
  672.        Res : Tres ;
  673.    -- procedure principale :
  674. begin
  675.    while Partie loop
  676.       Demande_Taille(puis4,Nbl,Nbc) ;
  677.       Vide_Puiss4(Puis4,Nbl,Nbc) ;
  678.       Debut := Debut_Partie(Puis4) ;
  679.       Nbtmax := Nbl*Nbc ;
  680.       Nbt:=0 ;
  681.       L:=-1 ;
  682.       C:=-1;
  683.       if Debut then
  684.          while not Position_Correcte(puis4,L,C) and (L>0) and (C>0) and (L<Nbl) and (C<Nbc) loop
  685.             Demande_Position(puis4,L,C);
  686.          end loop ;
  687.          Met_Rond(puis4,L,C);
  688.          Nbt := Nbt+1 ;
  689.       end if ;
  690.       Partie_Finie:=False ;
  691.       while not Partie_Finie and (Nbt<=Nbtmax)loop
  692.          Reponse_Ordinateur(puis4,L,C,Partie_Finie,Res);
  693.          Met_Croix(puis4,L,C);
  694.          if not Partie_Finie then
  695.            while not Position_Correcte(puis4,L,C) and L>0 and C>0 and C<Nbc and L<Nbl loop
  696.               Demande_Position(puis4,L,C);
  697.            end loop;
  698.            Met_Rond(puis4,L,C);
  699.          end if ;
  700.          Nbt:=Nbt+1 ;
  701.          Affiche_Grille(puis4,L,C);
  702.       end loop;
  703.       Affiche_Resultat(puis4,Res);
  704.       --Partie:=Autrepartie ;
  705.           autre_partie(puis4,partie);
  706.    end loop ;
  707. end Puiss4;


 
ps : on est vraiment des noobs donc si ça se trouve c'est une erreur toute conne, mais la on est bloqué  :cry:  
 
 
merci d'avance pour votre aide !  :jap:  
 
Dmey et son binome.

mood
Publicité
Posté le 17-04-2004 à 10:01:30  profilanswer
 

n°701571
nraynaud
lol
Posté le 17-04-2004 à 10:59:38  profilanswer
 

c'est quoi exactement la ligne de l'erreur ?
 
Tu as dû tenter d'affecter une valeur trop grande dans une variable d'un type qui n'admet que des valeurs plus petites.


---------------
trainoo.com, c'est fini
n°718583
BifaceMcLe​OD
The HighGlandeur
Posté le 07-05-2004 à 13:12:13  profilanswer
 

Au passage, tu peux aussi corriger quelques erreurs de programmation qui pourraient bien expliquer ton exception.
 
En Ada, les tableaux connaissent leur propre longueur, alors il est inutile de se trimballer avec les tailles à côté :

Code :
  1. procedure Affiche_Grille (Puis4 : in Tpuis4)is
  2. begin
  3.     for J in Puis4'Range(2) loop
  4.         for I in Puis4'Range(1) loop
  5.             Put(Puis4(I, J));
  6.         end loop;
  7.     end loop;
  8. end Affiche_Grille;


Mes leçons d'Ada remontent à très loin, mais ce code devrait être correct.
 
De plus, il est toujours préférable de ne pas mettre en "in out" un paramètre qu'on ne modifie pas, donc ici, "Puis4" n'étant pas modifié, c'est paramètre en "in". L'avantage, c'est que derrière, avec ce genre d'informations, le compilateur peut effectuer ses propres optimisations sur le code qu'il génère, sans que tu aies à t'en préoccuper.

n°718605
BifaceMcLe​OD
The HighGlandeur
Posté le 07-05-2004 à 13:21:58  profilanswer
 

Après avoir parcouru ton code, j'ai trouvé au moins un cas typique où tu es sûr de te récupérer une Constraint_Error.
 
En Ada, quand tu écris "if A and B then", Ada évalue toujours A et B. Il ne fait pas d'évaluation booléenne optimisée comme en C, par exemple, qui n'évalue B que si A est vrai (en se basant sur le fait que si A est faux, l'expression globale sera nécessairemnt fausse).
Ceci dit Ada offre la possibilité de faire une évaluation optimisée des expressions booléennes, à condition d'utiliser les opérateurs "and then" et "or else" à la place de "and" et "or".
 
Ainsi, dans Horizontal_4_X, quand tu écris :

Code :
  1. ... elsif (m>3)and (puis4(p,m-3)='V') then ...


l'exception Constraint_Error sera toujours levée si m <= 3 puisque "puis4(p, m-3)" est toujours évalué, et que dans ce cas, tu essaies d'accéder à un index négatif du tableau.
Pour éviter ça, il te faut écrire :

Code :
  1. ... elsif (m > 3) and then (puis4(p, m - 3) = 'V') then ...


 
Dernier commentaire sur ton code : je trouve qu'il contient beaucoup de code quasi dupliqué. C'est dommage.


Aller à :
Ajouter une réponse
  FORUM HardWare.fr
  Programmation
  Ada

  Constraint_error : puiss4.adb:126 index check failed

 

Sujets relatifs
Eclipse et Export Jar : Failed to load Main-Class ....[VB] Propriété de type "index" d'un contrôle ActiveX ...
FATAL ERROR : ImageCreateFromJpeg()c# unsafe error : cannot take the address or size of a variable of...
[HTML] Comment créer un index du contenu du rep?[Comment Faire?] Active DeSktop qui check les Mails!
Déport server APACHE => autre PC via LAN (error 403 access sub dir)Recherche de l'objet zone de liste deroulante avec check box
fatal error C1189Creer un site index du ftp ?
Plus de sujets relatifs à : Constraint_error : puiss4.adb:126 index check failed

Forum MesDiscussions.Net, Version 2010.2
(c) 2000-2011 Doctissimo
Page générée en 0.297 secondes

Copyright © 1997-2022 Hardware.fr SARL (Signaler un contenu illicite / Données personnelles) / Groupe LDLC / Shop HFR