Déclaration des types avec Ada
Généralités
La déclaration d'un type s'énonce avec l'utilisation du mot réservé Ada : "type".
Pour la déclaration des types dérivés des types scalaires on écrira : type Mon_Type is ...
Pour la déclaration des types composites tableau (array) et article (record) on écrira : type Mon_Type is ...
Alors que pour les types "tache" (task) et "protégé" (protected) on écrira : task type Ma_Tache is ... et protected type Mon_Protégé is ...
Type énumération
Exemple
type Color_Enum is (Cyan, Magenta, Yellow, Black);
Types article paramétrés
Les types composites peuvent être des types paramétrés.
Les données des paramètres des types paramétrés seront des constantes.
Pour la déclaration d'un type paramétré, les types en paramètres doivent suivre le nom du type.
Exemple
type Un_Vehicule (Nb_Roue : Short_Positive) is
record
Color : Color_Type := White;
...
end record;
Notes : La valuer de "Nb_Roue" doit être donnée à la déclaraction de la donnée de type Un_Véhicule telle que :
Ma_Voiture : Un_Vehicule (Nb_Rooe => 4);
Sous Type
La déclaration d'un sous - type s'énonce avec l'utilisation du mot réservé Ada : "subtype".
Exemple
subtype Vitesse_Range is float range 0.0..120.0
Type tableaux
Exemple
type Integer_Array is array (positive range Integer'Fisrt..Integer'Last) of Integer;
Tableaux non contraint
Exemple
type Matrice_3D is array (Positive range <>, Positive range <>, Positive range <>) of ...
|