Cours Ada 1 - Libre

6
Attention le rang (POS) du premier élément d’un énumératif est égal à 0. Par contre l'attribut POS sur un type (ou
un sous type) entier est l'opérateur « identité » ⇒ INTEGER'POS (L_ENTIER) est égale à la valeur de la
variable L_ENTIER. Exemple : INTEGER’POS(-5) vaut -5. A retenir!
Rappel : les types prédéfinis CHARACTER et BOOLEAN sont en fait des types énumératifs. Ainsi :
CHARACTER'POS('A')
CHARACTER'VAL(65)
= 65 et
= 'A'
Les types discrets : (il s’agit de la réunion des types entiers et énumératifs)
les types entiers
les types énumératifs
(type prédéfini (INTEGER par exemple) et les types entiers construits)
(type prédéfini (comme BOOLEAN ou CHARACTER) et construits)
Les types scalaires : Il s’agit de la réunion des types discrets et des types réels.
Ce type scalaire est caractérisé par les 4 propriétés suivantes (notez donc que ces 4 propriétés s’appliquent à tous
les types discrets vus précédemment) :
• Pour ce type sont définies l'affectation et les opérations d'égalité et d'inégalité (= et /= ). Ce sont les
propriétés communes de tout type dit à « affectation ».
• Une relation d'ordre est définie entre les diverses valeurs possibles.
On dispose donc en plus :
• des 4 opérateurs de relation : , =
• des tests d'appartenance à un intervalle ou à un sous type : in et not in
• Les types scalaires possèdent une borne inférieure et une borne supérieure que l'on peut connaître par les
attributs FIRST et LAST. Exemples : INTEGER'FIRST et INTEGER'LAST ou FLOAT’FIRST et
FLOAT’LAST (dans ce cas ces valeurs dépendent de l’implémentation numérique).
• Des contraintes d'intervalle (avec range) peuvent être appliquées sur les types scalaires.
Différence : les attributs vus avec les types discrets (ci dessous) s’appliquent aussi aux types scalaires sauf
deux : VAL et POS. En effet avec les types discrets chaque valeur possède un rang, avec les types réels, la
notion de rang n'existe pas.
Donc ni VAL ni POS avec les réels (seule différence à retenir).
Les types scalaires donc aussi les types discrets ont (entre autres) les propriétés suivantes :
• toute valeur d'un type scalaire ou discret, sauf la dernière, possède un successeur, SUCC
• toute valeur d'un type scalaire ou discret, sauf la première, possède un prédécesseur, PRED
• toute valeur (VAL) d'un type discret possède un rang (POS). Spécifique aux types discrets (rappel).
Résumé :
Les attributs Ada associés aux types scalaires et discrets sont (vus en TD semaines 3 et 4):
WIDTH POS(*) VAL(*) SUCC MAX
PRED IMAGE VALUE BASE MIN
FIRST LAST ADDRESS SIZE
(*) discrets seulement rappel!
D. Feneuille I.U.T 2001 (cours n°2 fichier COURS2.DOC) 30/06/02