Cours Ada 1 - Libre

Exemple :
7
type T_MENTION is (MAUVAIS, PASSABLE, ASSEZ_BIEN, BIEN, TRES_BIEN);
NOTE
LA_MENTION
: INTEGER; -- déclaration pas terrible.
: T_MENTION;
case NOTE is
when 0 | 1 | 2 | 3 | 4 => LA_MENTION := MAUVAIS;
when 5 | 6 | 7 | 8 => LA_MENTION := PASSABLE;
when 9..12 => LA_MENTION := ASSEZ_BIEN;
when 13 | 14 | 15 => LA_MENTION := BIEN;
when 16..20 => LA_MENTION := TRES_BIEN;
when others => null; -- obligatoire car NOTE est
-- déclarée INTEGER!
end case;
Autre exemple (plus intelligent !) :
subtype T_UNE NOTE is INTEGER range 0..20; -- c'est mieux
LA_NOTE
LA_MENTION
: T_UNE NOTE;
: T_MENTION;
case LA_NOTE is
when 0..4
when 5..8
when 9..12
when 13..15
when 16..20
=> LA_MENTION := MAUVAIS;
=> LA_MENTION := PASSABLE;
=> LA_MENTION := ASSEZ_BIEN;
=> LA_MENTION := BIEN;
=> LA_MENTION := TRES_BIEN;
end case;
La branche others n'est maintenant pas utilisée, car toutes les valeurs du type énumératif T_UNE_NOTE sont
envisagées. Ce ne serait pas une faute de laisser le others (mais il ne sert à rien !).
L’instruction « bloc » :
Voyons un bon exemple connu (lecture validée d’un type discret cf. Paquetage P_E_SORTIE) :
loop
declare
CHAI : UNBOUNDED_STRING;
begin
LIRE (CHAI);
VAR_DISCRET := T_DISCRET'VALUE(TO_STRING(CHAI));
exit;
exception when others =>
null; -- ou message ECRIRE("xxxxx");
end;
end loop;
L’instruction bloc est, ici, « encapsulée » dans une structure répétitive loop.
D. Feneuille I.U.T. Aix 2001 (cours n°3 fichier COURS3.DOC) 30/06/02