[Bot]

Bonjour, je rencontre un probleme avec un programme ‘simple’ en ADA voici mon code:

Je dois recuperer ce resultat sur stdout: 1 2 3
Mais je recois : 1 -1 2
Le probleme est simple, le passage de A et B par reference ne se fait pas OU la post condition Set_Values ne se fait pas…
Si vous aves des pistes ou une reponse je suis preneur, merci beaucoup!

with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;

procedure Tp2q4 is

   function Set_Values(A : in out INTEGER; B : in out INTEGER) return BOOLEAN is
   begin
      A := 2;
      B := 3;
      return TRUE;
   end Set_Values;

   function Sum_Of_Numbers(A, B : in out INTEGER) return INTEGER
     with
       Pre => A  0,
       Post => (Sum_Of_Numbers'Result = A + B and then Set_Values(A'Access, B'Access))
   is
   begin
      return A + B;
   end Sum_Of_Numbers;

   A, B : INTEGER;
begin
   A := -1;
   B := 2;
   Put(Sum_Of_Numbers(A,B));
   Put(A);
   Put(B);
end Tp2q4;

——————–
razmo.__ – Envoyé depuis le Discord : Culte du code

Sujet

[Bot]

Essaie avec ça :

with Ada.Text_IO; use Ada.Text_IO;
with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;

procedure Tp2q4 is

   procedure Set_Values(A : in out INTEGER; B : in out INTEGER) is
   begin
      A := 2;
      B := 3;
   end Set_Values;

   function Sum_Of_Numbers(A, B : INTEGER) return INTEGER is
   begin
      return A + B;
   end Sum_Of_Numbers;

   A, B : INTEGER;
begin
   A := -1;
   B := 2;
   Put(Sum_Of_Numbers(A, B)); -- Affiche la somme de A et B
   Set_Values(A, B); -- Modifie A et B après l'affichage de leur somme
   Put(A); -- Affiche la nouvelle valeur de A
   Put(B); -- Affiche la nouvelle valeur de B
end Tp2q4;

——————–
ultralion – Envoyé depuis le Discord : Culte du code

[Bot]

après je sais pas si t’a réussi à fix le pb depuis mdr

——————–
ultralion – Envoyé depuis le Discord : Culte du code

[Bot]

Hello, en fait c’est un exercice pour les cours, je dois taffer sur les postconditions (c est un exemple d’une utilisation dangereuse des post et pre conditions) Donc je peux pas caller les appels a fonctions dans le ‘main’

——————–
razmo.__ – Envoyé depuis le Discord : Culte du code

[Auteur]

Réponses