Section courante

A propos

Section administrative du site

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