Cours Ada 1 - Libre

à la place de :
for CAR in CHARACTER range ‘A’..‘Z’
loop
ECRIRE (CAR);
end loop;
3
le compilateur ne peut déterminer le type de CAR ! En effet n’oublions pas que s’il existe bien un type
CHARACTER il existe aussi le type Wide_Character sur-ensemble de Character. L’intervalle ‘A’..‘Z’
appartient aux deux ensembles !
Dans le même ordre d’idée voyons un exemple (cf. Barnes pages 108-109) avec surcharge d’identificateurs :
type T_Planètes is (Mercure, Vénus, Terre, Mars, Jupiter, Saturne,
Uranus, Neptune, Pluton) ;
type T_Dieux is (Janus, Mars, Junon, Vestales, Vulcain, Saturne,
Mercure, Minerve) ;
Remarquez que Ada permet les accents même dans les identificateurs ! (Vénus, T_Planètes)
Si l’on écrit :
for IND in Mars..Saturne
loop
..
end loop ;
Problème !
l’intervalle Mars..Saturne est ambigu le compilateur ne sait pas décider dans quel type il faut réaliser IND
(en Ada rien n’est implicite) il faut aider le compilateur. Par exemple en qualifiant une des bornes :
for IND in T_Planètes’(Mars)..Saturne
loop
..
end loop ;
Qualification !
il n’y a plus ambiguï té.
Mais le plus lisible est encore de typer l’intervalle ainsi :
for IND in T_Planètes range Mars..Saturne
loop
..
end loop ;
Mieux !
Si un sous type existe déjà par exemple :
subtype T_Explorer is T_Planètes range Mars..Saturne ;
alors l’écriture peut se restreindre à :
for IND in T_Explorer
loop
..
end loop ;
Variante !
Cette structure for est très pratique (elle existe aussi dans de nombreux langages). Elle trouve sa pleine
utilisation dans les parcours de tableaux notamment (nous reverrons cela dès le cours suivant et plus tard).
D. Feneuille I.U.T. Aix 2001 (cours n°3 fichier COURS3.DOC) 30/06/02