Voici un tableau de référence des différents pragma du GNAT :
| Nom | Description | |
|---|---|---|
| Abort_Defer | Ce pragma permet de différer les abandons pour la séquence d'instructions (mais pas pour les déclarations ou les gestionnaires, le cas échéant, associés à cette séquence d'instructions). | |
| Abstract_State | Ce pragma permet d'indiquer un état abstrait. | |
| Ada_83 | Ce pragma permet de configurer le GNAT en mode Ada 83 pour l'unité à laquelle il s'applique, quel que soit le mode défini par les commutateurs de ligne de commande. | |
| Ada_95 | Ce pragma permet de configurer le GNAT en mode Ada 95 pour l'unité à laquelle il s'applique, quel que soit le mode défini par les commutateurs de ligne de commande. | |
| Ada_05 | Ce pragma permet de configurer le GNAT en mode Ada 2005 pour l'unité à laquelle il s'applique, quel que soit le mode défini par les commutateurs de ligne de commande. | |
| Ada_12 | Ce pragma permet de configurer le GNAT en mode Ada 2012 pour l'unité à laquelle il s'applique, quel que soit le mode défini par les commutateurs de ligne de commande. | |
| Aggregate_Individually_Assign | Ce pragma permet d'indiquer que les agrégats d'enregistrements doivent être toujours convertis en instructions d'affectation individuelles. | |
| Allow_Integer_Address | Ce pragma permet d'indiquer que le System.Address ne doit pas est un type privé. | |
| Annotate | Ce pragma permet d'indiquer qu'il faut annoter les programmes. | |
| Assert | Ce pragma permet d'activer les assertions. | |
| Assert_And_Cut | Ce pragma permet d'activer les assertions en utilisant le contrôle s'il est ignoré ou vérifié (ou désactivé). | |
| Assertion_Policy | Ce pragma permet de définir par la mise en oeuvre dans les versions antérieures d'Ada. | |
| Assume | Ce pragma permet d'activer les assertions avec l'identificateur Assume utilisé pour contrôler s'il est ignoré ou vérifié (ou désactivé). | |
| Assume_No_Invalid_Values | Ce pragma permet de contrôler les hypothèses faites par le compilateur sur l'occurrence de représentations invalides (valeurs invalides) dans le code. | |
| Async_Readers | Ce pragma permet d'indiquer qu'une composante du système externe au programme peut lire/consommer une valeur écrite dans un état externe. | |
| Async_Writers | Ce pragma permet d'indiquer qu'une composante du système externe au programme peut mettre à jour la valeur d'un état externe. | |
| Attribute_Definition | Ce pragma permet d'indiquer une définition d'attribut. | |
| C_Pass_By_Copy | Ce pragma permet d'exiger que les paramètres formels d'enregistrement soient transmis par copie si toutes les conditions suivantes sont remplies : la taille du type d'enregistrement ne dépasse pas la valeur spécifiée pour Max_Size, le type d'enregistrement a la convention C, le paramètre formel a ce type d'enregistrement et le sous-programme a une convention étrangère (non-Ada). | |
| Check | Ce pragma permet d'activer les assertions avec un paramètre d'identificateur supplémentaire. | |
| Check_Float_Overflow | Ce pragma permet d'autoriser la prise en charge la notion d'infinis en virgule flottante IEEE et correspond au mode d'exécution efficace sur la plupart des machines. Le GNAT ne lèvera pas d'exceptions de débordement sur ces machines; à la place, il générera des infinis et des NaN tels que définis dans la norme IEEE. | |
| Check_Name | Ce pragma permet définir un nouveau nom de contrôle défini par la mise en oeuvre (sauf si IDENTIFIER correspond à l'un des noms de contrôle prédéfinis, auquel cas le pragma n'a aucun effet). | |
| Check_Policy | Ce pragma permet de définir la politique de vérification des assertions (spécifiées par des aspects ou des pragmas), le pragma de débogage ou des vérifications supplémentaires à vérifier à l'aide du pragma Check. Il peut apparaître soit comme un pragma de configuration, soit dans une partie déclarative de paquet. Dans ce dernier cas, il s'applique du point où il apparaît à la fin de la région déclarative (comme pragma Suppress). | |
| Comment | Ce pragma permet le placement d'un commentaire dans le fichier objet et donc dans le fichier exécutable si le système d'exploitation permet une telle utilisation. | |
| Common_Object | Ce pragma permet l'utilisation partagée de variables entreposées dans des zones de liens superposées correspondant à l'utilisation de COMMON dans Fortran. | |
| Compile_Time_Error | Ce pragma permet de générer des messages d'erreur supplémentaires lors de la compilation. | |
| Compile_Time_Warning | pragma permet de générer des messages d'avertissement supplémentaires lors de la compilation. | |
| Compiler_Unit | Ce pragma permet d'effectuer un avertissement d'unité de compilation. Ce pragma est obsolète. | |
| Compiler_Unit_Warning | Ce pragma permet d'indiquer que l'unité est utilisée dans le cadre de la construction du compilateur. | |
| Complete_Representation | Ce pragma permet d'indiquer qu'il doit apparaître immédiatement dans une clause de représentation d'enregistrement. | |
| Complex_Representation | Ce pragma permet d'indiquer que le paramètre Entity doit être le nom d'un type d'enregistrement ayant deux champs du même type à virgule flottante. | |
| Component_Alignment | Ce pragma permet d'indiquer l'alignement des composantes dans les types de tableau ou d'enregistrement. | |
| Constant_After_Elaboration | Ce pragma permet une élaboration après la constante. | |
| Contract_Cases | Ce pragma permet de définir des spécifications à grain fin pouvant compléter ou remplacer le contrat donné par une pré-condition et une post-condition. | |
| Convention_Identifier | Ce pragma permet de fournir un mécanisme pour fournir des synonymes pour les identificateurs de convention existants. | |
| CPP_Class | Ce pragma permet de désigner une entité dans la région déclarative actuelle étant déclarée comme type d'enregistrement. | |
| CPP_Constructor | Ce pragma permet d'identifier une fonction importée (importée de la manière habituelle avec pragma Import) comme correspondant à un constructeur C++. | |
| CPP_Virtual | Ce pragma permet de générer un avertissement si les avertissements sur les fonctionnalités obsolescentes sont activés, il est complètement ignoré. Ce pragma est obsolète. | |
| CPP_Vtable | Ce pragma permet de générer un avertissement si les avertissements sur les fonctionnalités obsolescentes sont activés, il est complètement ignoré. Ce pragma est obsolète. | |
| CPU | Ce pragma permet de définir l'implémentation. Ce pragma est standard dans Ada 2012, mais est disponible dans toutes les versions antérieures d'Ada. | |
| Deadline_Floor | Ce pragma permet d'indiquer l'échéance plancher héritée par une tâche lorsque la tâche entre dans un objet protégé. | |
| Default_Initial_Condition | Ce pragma permet d'indiquer sur une déclaration de private_type_declaration, un private_extension_declaration, un formal_private_type_definition ou un formal_derived_type_definition. | |
| Debug | Ce pragma permet d'indiquer que l'appel de procédure a la forme syntaxique d'une expression, répondant aux exigences syntaxiques des pragmas. | |
| Debug_Policy | Ce pragma permet de définir la politique de vérification des assertions (spécifiées par des aspects ou des pragmas), le pragma de débogage ou des vérifications supplémentaires à vérifier à l'aide du pragma Check. Il peut apparaître soit comme un pragma de configuration, soit dans une partie déclarative de paquet. Dans ce dernier cas, il s'applique du point où il apparaît à la fin de la région déclarative (comme pragma Suppress). | |
| Default_Scalar_Storage_Order | Ce pragma permet d'indiquer si aucun Scalar_Storage_Order explicite n'est donné pour un type d'enregistrement ou un type de tableau, l'ordre de entreposage scalaire prend par défaut la valeur par défaut ordinaire pour la cible. | |
| Default_Storage_Pool | Ce pragma permet de définir une implémentation. | |
| ... | ... |
Dernière mise à jour : Mercredi, le 6 janvier 2021