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 ...
Types 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 ...
Notes : La valuer de "Nb_Roue" doit être donnée à la déclaraction de la donnée de type Un_Véhicule telle que :
Pontiac : 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
|
|
End of document
|
|