Voici un tableau de référence des différents mots réservés du GNAT :
| Nom | Description |
|---|---|
| abort | Ce mot réservé permet d'indiquer une réponse de condition d'erreur lorsque la récupération par la tâche errante est considérée comme impossible. |
| abs | Ce mot réservé permet de demander une valeur non-négative. |
| abstract | Ce mot réservé permet d'indiquer un type d'interface abstraite. |
| accept | Ce mot réservé permet d'indiquer une action à exécuter lorsque l'entrée est appelée. |
| access | Ce mot réservé permet de créer un type d'accès à une fonction ou procédure. |
| aliased | Ce mot réservé permet d'empêcher les optimisations supposant que la valeur ne peut pas être attribuée. |
| all | Ce mot réservé permet d'indiquer tous les éléments d'un module visible, tous les noms d'une classe de nom, tous les instances d'une composante ou tous les pilotes de signaux du même type. |
| and | Ce mot réservé permet d'effectuer un Et logique sur des booléens ou Et binaire sur des valeurs numériques. |
| array | Ce mot réservé permet de déclarer un tableau avec un type de données spécifié. |
| at | Ce mot réservé permet d'indiquer une variable à utiliser dans une boucle de compteur. |
| begin | Ce mot réservé permet de définir le début d'un bloc d'instruction. |
| body | Ce mot réservé permet d'indiquer les définitions d'un sous-programmes (composantes, fonctions,...) étant déclaré dans un module associé avec la déclaration du module. |
| case | Ce mot réservé permet de définir une liste de conditionnels ayant comme point de comparaison un même résultat. |
| constant | Ce mot réservé permet de définir une constante ou de définir une variable avec une valeur constante au lancement du programme. |
| declare | Ce mot réservé permet de déclarer une construction de langage associant un nom à (une vue de) une entité. |
| delay | Ce mot réservé permet d'indiquer un type prédéfini de durée. |
| delta | Ce mot réservé permet d'indiquer un sous-type avec une contrainte de chiffres. |
| digits | Ce mot réservé permet d'indiquer un type avec un nombre à virgule fixe. |
| do | Ce mot réservé permet d'indiquer une boucle. |
| else | Ce mot réservé permet de faire exécuter des instructions dans le contraire d'une condition. |
| elsif | Ce mot réservé permet d'indiquer une condition alternative si la condition d'une instruction IF est fausse. |
| end | Ce mot réservé permet de définir la fin d'un bloc d'instruction ou d'un mot réservé. |
| entry | Ce mot réservé permet de définir des opérations potentiellement en file d'attente sur des tâches et des objets protégés. |
| exception | Ce mot réservé permet d'indiquer un nom de déclaration pour une exception. |
| exit | Ce mot réservé permet de faire quitter une boucle. |
| for | Ce mot réservé permet de produire un compteur de boucle. |
| function | Ce mot réservé permet de définir une fonction utilisateur. |
| generic | Ce mot réservé permet de définir des constantes dont les valeurs peuvent être contrôlées par l'environnement dans une composante ou une configuration. |
| goto | Ce mot réservé permet d'effectuer un branchement à une instruction correspondant à l'emplacement de l'étiquette. |
| if | Ce mot réservé permet d'effectuer des branchements d'instruction ou de bloc d'instruction en fonction de certaines conditions. |
| in | Ce mot réservé permet d'indiquer une correspondance avec l'ensemble spécifié ou une entrée de données. |
| is | Ce mot réservé permet de vérifier si l'objet peut être castré. |
| limited | Ce mot réservé permet d'indiquer la déclaration implicite de la vue limitée d'un paquet de bibliothèque, et non la déclaration d'un sous-programme, d'une unité générique, d'une instance générique ou d'un changement de nom. |
| loop | Ce mot réservé permet d'effectuer une boucle. |
| mod | Ce mot réservé permet d'effectuer un Modulo, c'est-à-dire le restant d'une division. |
| new | Ce mot réservé permet de créer un objet d'un type spécifié et retourne une valeur d'accès se référant à l'objet créé. |
| not | Ce mot réservé permet d'indiquer un opérateur logique «Non». |
| null | Ce mot réservé permet d'indiquer qu'il ne faut pas effectuer aucune action. |
| of | Ce mot réservé permet d'indiquer une liaison d'architecture, de tableau, de configuration ou de fichier. |
| or | Ce mot réservé permet d'effectuer un Ou logique sur des booléens ou Ou binaire sur des valeurs numériques. |
| others | Ce mot réservé permet d'indiquer les autres cas. |
| out | Ce mot réservé permet d'indiquer un paramètre de variable n'ayant pas besoin d'être initialisé par l'appel dans une méthode. |
| package | Ce mot réservé permet d'indiquer un ensemble de déclarations pouvant inclure les éléments suivants : des alias, des attributs, des composantes, des constantes, des fichiers, des fonctions, des types et des sous-types. |
| pragma | Ce mot réservé permet de définir un pragma. |
| private | Ce mot réservé permet d'indiquer que les définitions suivantes sont accessibles uniquement dans l'unité où est définit l'objet. |
| procedure | Ce mot réservé permet de définir une procédure. |
| protected | Ce mot réservé permet de rendre accessible des éléments d'un module uniquement par les sous-modules et à ses fils. |
| raise | Ce mot réservé permet de provoquer une exception. |
| range | Ce mot réservé permet de définir une contrainte d'intervalle pour un type scalaire. |
| record | Ce mot réservé permet de définir des structures d'enregistrement contenu dans des variables. |
| rem | Ce mot réservé permet d'indiquer le restant de types entiers. |
| renames | Ce mot réservé permet de renommer un objet. |
| requeue | Ce mot réservé permet de compléter un accept ou un entry, tout en redirigeant l'appel d'entrée correspondant vers une nouvelle (ou la même) file d'attente d'entrée. Une telle mise en file d'attente peut être effectuée avec ou sans permettre une annulation intermédiaire de l'appel, en raison d'un abandon ou de l'expiration d'un délai. |
| return | Ce mot réservé permet de retourner la valeur d'une fonction. |
| reverse | Ce mot réservé permet d'indiquer l'ordre inverse dans une boucle de compteur. |
| select | Ce mot réservé permet d'indiquer une attente sélective dans les tâches. |
| separate | Ce mot réservé permet de déclarer des sous-unités. |
| subtype | Ce mot réservé permet de déclarer un sous-type. |
| tagged | Ce mot réservé permet de déclarer un type orientées objet (types marqués). |
| task | Ce mot réservé permet de définir une tâche ou un type de tâche. |
| terminate | Ce mot réservé permet d'indiquer la fin de la tâche. |
| then | Ce mot réservé permet d'effectuer des branchements d'instruction ou de bloc d'instruction en fonction de certaines conditions. |
| type | Ce mot réservé permet de définir des types utilisateur. |
| until | Ce mot réservé permet d'indiquer jusqu'à un délai soit atteint. |
| use | Ce mot réservé permet d'indiquer le module devant être utilisé par le programme. |
| when | Ce mot réservé permet d'indiquer une valeur de cas. |
| while | Ce mot réservé permet de produire une boucle exécuté tant et aussi longueur que la condition est vrai. |
| with | Ce mot réservé permet de définir la structure d'enregistrement courante devant être utilisé pour les variables. |
| xor | Ce mot réservé permet d'effectuer un Ou exclusif logique sur des booléens ou «Ou exclusif binaire» sur des valeurs numériques. |
Dernière mise à jour : Vendredi, le 9 septembre 2020