cerhu > comp.lang.* > comp.lang.ada

Blady (04/01/2019, 09h26)
Bonjour,

Dans le livre "Programming in Ada 2012" la réponse à l'exercice 16.3.1
(page 914) me semble avoir oublier un "end if" :

function Is_Unduplicated (S : Stack) return Boolean is
begin
for I in 1 .. S.Top - 1 loop
for J in I + 1 .. S.Top loop
if S.S (I) = S.S (J) then
return False;
end if; -- <- oubli
end loop;
end loop;
return True;
end Is_Unduplicated;

Par contre la réponse à l'exercice 16.3.2 (page 914) me semble incorrecte :

function Is_Unduplicated (S : Stack) return Boolean is
(for all I in 1 .. S.Top - 1 =>
(for all J in I + 1 .. S.Top => S.S (I) = S.S (J)));

J'aurais mis une inégalité : S.S (I) /= S.S (J) ?

Qu'en pensez-vous ?

Merci, Pascal.
J-P. Rosen (04/01/2019, 12h03)
Le 04/01/2019 à 08:26, Blady a écrit :
> Dans le livre "Programming in Ada 2012" la réponse à l'exercice 16.3.1
> (page 914) me semble avoir oublier un "end if" :

[...]
Exact

> Par contre la réponse à l'exercice 16.3.2 (page 914) me semble incorrecte :
>    function Is_Unduplicated (S : Stack) return Boolean is
>      (for all I in 1 .. S.Top - 1 =>
>         (for all J in I + 1 .. S.Top => S.S (I) = S.S (J)));
> J'aurais mis une inégalité : S.S (I) /= S.S (J) ? Exact aussi.


Mets donc un mot à Barnes avant qu'il n'écrive "Programming in Ada 2020"...
gautier_niouzes (06/01/2019, 22h15)
> Dans le livre "Programming in Ada 2012" la réponse à l'exercice16.3.1
> (page 914) me semble avoir oublier un "end if" :


Il fait trop de Python ;-) ?
Discussions similaires
What is programming ?

Obsession pour une usenaute (was Re: [Liste des discussions] semaine du 15/01/2012 au 21/01/2012)

Programming 101

Custom programming


Fuseau horaire GMT +2. Il est actuellement 17h45. | Privacy Policy