Attributs de langages prédéfinis
Cette annexe résume les définitions données ailleurs des attributs de langage prédéfinis :
| Attribut | Description |
|---|---|
| P'ADDRESS | Pour un préfixe P désignant un objet, une unité de programme, une étiquette ou une entrée : renvoie l'adresse de la première des unités d'entreposage allouées à P. Pour un sous-programme, un paquet, une unité de tâche ou une étiquette, cette valeur fait référence au code machine associé au corps ou à l'instruction correspondant. Pour une entrée pour laquelle une clause d'adresse a été donnée, la valeur fait référence à l'interruption matérielle correspondante. La valeur de cet attribut est du type ADDRESS défini dans le paquet SYSTEM. |
| P'AFT | Pour un préfixe P désignant un sous-type à virgule fixe : renvoie le nombre de chiffres décimaux nécessaires après le point pour prendre en compte la précision du sous-type P, sauf si le delta du sous-type P est supérieur à 0,1, auquel cas l'attribut renvoie la valeur un. (P'AFT est le plus petit entier positif N pour lequel (10**N)*P'DELTA est supérieur ou égal à un.) La valeur de cet attribut est de type universal_integer. |
| P'BASE | Pour un préfixe P désignant un type ou un sous-type : Cet attribut désigne le type de base de P. Il n'est autorisé que comme préfixe du nom d'un autre attribut : par exemple, P'BASE'FIRST. |
| P'CALLABLE | Pour un préfixe P approprié à un type de tâche : renvoie la valeur FALSE lorsque l'exécution de la tâche P est terminée ou terminée, ou lorsque la tâche est anormale ; renvoie la valeur TRUE dans le cas contraire. La valeur de cet attribut est du type prédéfini BOOLEAN. |
| P'CONSTRAINED | Pour un préfixe P désignant un objet d'un type avec des discriminants : renvoie la valeur TRUE si une contrainte discriminante s'applique à l'objet P, ou si l'objet est une constante (y compris un paramètre formel ou un paramètre formel générique de mode in) ; renvoie la valeur FALSE dans le cas contraire. Si P est un paramètre formel générique de mode in out, ou si P est un paramètre formel de mode in out ou out et que la marque de type donnée dans la spécification de paramètre correspondante désigne un type sans contrainte avec des discriminants, alors la valeur de cet attribut est obtenue à partir de celle du paramètre réel correspondant. La valeur de cet attribut est du type prédéfini BOOLEAN. |
| P'CONSTRAINED | Pour un préfixe P désignant un type ou un sous-type privé : renvoie la valeur FALSE si P désigne un type privé non formel non contraint avec des discriminants; renvoie également la valeur FALSE si P désigne un type privé formel générique et que le sous-type réel associé est soit un type non contraint avec des discriminants, soit un type de tableau non contraint ; renvoie la valeur TRUE dans le cas contraire. La valeur de cet attribut est du type prédéfini BOOLEAN. |
| P'COUNT | Pour un préfixe P désignant une entrée d'une unité de tâche : renvoie le nombre d'appels d'entrée actuellement en file d'attente sur l'entrée (si l'attribut est évalué dans une instruction accept pour l'entrée P, le nombre n'inclut pas la tâche appelante). La valeur de cet attribut est de type universal_integer. |
| P'DELTA | Pour un préfixe P désignant un sous-type de point fixe : renvoie la valeur du delta spécifié dans la définition de précision fixe pour le sous-type P. La valeur de cet attribut est de type universal_real. |
| P'DIGITS | Pour un préfixe P désignant un sous-type à virgule flottante : renvoie le nombre de chiffres décimaux dans la mantisse décimale des numéros de modèle du sous-type P. La valeur de cet attribut est de type universal_integer. |
| P'EMAX | Pour un préfixe P désignant un sous-type à virgule flottante : renvoie la plus grande valeur d'exposant sous la forme canonique binaire des numéros de modèle du sous-type P. La valeur de cet attribut est de type universal_integer. |
| P'EPSILON | Pour un préfixe P désignant un sous-type à virgule flottante : renvoie la valeur absolue de la différence entre le numéro de modèle 1.0 et le numéro de modèle immédiatement supérieur, pour le sous-type P. La valeur de cet attribut est de type universal_real. |
| P'FIRST | Pour un préfixe P désignant un type scalaire ou un sous-type d'un type scalaire : renvoie la limite inférieure de P. La valeur de cet attribut a le même type que P. |
| P'FIRST | Pour un préfixe P approprié à un type de tableau ou désignant un sous-type de tableau contraint : renvoie la limite inférieure du premier intervalle d'index. La valeur de cet attribut a le même type que cette limite inférieure. |
| P'FIRST(N) | Pour un préfixe P approprié à un type de tableau ou désignant un sous-type de tableau contraint : renvoie la limite inférieure de l'intervalle d'index N. La valeur de cet attribut a le même type que cette limite inférieure. Le paramètre N doit être une expression statique de type universal_integer. La valeur de N doit être positive (différente de zéro) et ne doit pas être supérieure à la dimensionnalité du tableau. |
| P'FIRST_BIT | Pour un préfixe P désignant une composante d'un objet enregistrement : renvoie le déplacement, à partir du début de la première des unités d'entreposage occupées par la composante, du premier bit occupé par la composante. Ce déplacement est mesuré en bits. La valeur de cet attribut est de type universal_integer. |
| P'FORE | Pour un préfixe P désignant un sous-type à virgule fixe : génère le nombre minimal de caractères nécessaires pour la partie entière de la représentation décimale de toute valeur du sous-type P, en supposant que la représentation n'inclut pas d'exposant, mais inclut un préfixe d'un caractère étant soit un signe moins, soit un espace. (Ce nombre minimal n'inclut pas les zéros ou les soulignements superflus, et est d'au moins deux.) La valeur de cet attribut est de type universal_integer. |
| P'IMAGE | Pour un préfixe P qui désigne un type ou un sous-type discret : cet attribut est une fonction avec un seul paramètre. Le paramètre réel X doit être une valeur du type de base de P. Le type de résultat est le type prédéfini STRING. Le résultat est l'image de la valeur de X, c'est-à-dire une séquence de caractères représentant la valeur sous forme d'affichage. L'image d'une valeur entière est le littéral décimal correspondant ; sans soulignement, zéros non significatifs, exposant ou espaces de fin ; mais avec un préfixe d'un caractère qui est soit un signe moins, soit un espace. L'image d'une valeur d'énumération est soit l'identifiant correspondant en majuscules, soit le caractère littéral correspondant (y compris les deux apostrophes) ; ni les espaces de début ni de fin ne sont inclus. L'image d'un caractère autre qu'un caractère graphique est définie par l'implémentation. |
| P'LARGE | Pour un préfixe P désignant un sous-type réel : L'attribut renvoie le plus grand numéro de modèle positif du sous-type P. La valeur de cet attribut est de type universal_real. |
| P'LAST | Pour un préfixe P désignant un type scalaire ou un sous-type d'un type scalaire : renvoie la limite supérieure de P. La valeur de cet attribut a le même type que P. |
| P'LAST | Pour un préfixe P approprié à un type de tableau ou désignant un sous-type de tableau contraint : renvoie la limite supérieure du premier intervalle d'index. La valeur de cet attribut a le même type que cette limite supérieure. |
| P'LAST(N) | Pour un préfixe P approprié à un type de tableau ou désignant un sous-type de tableau contraint : renvoie la limite supérieure de l'intervalle d'index N-ième. La valeur de cet attribut a le même type que cette limite supérieure. Le paramètre N doit être une expression statique de type universal_integer. La valeur de N doit être positive (différente de zéro) et ne doit pas être supérieure à la dimensionnalité du tableau. |
| P'LAST_BIT | Pour un préfixe P désignant une composante d'un objet enregistrement : renvoie le déplacement, à partir du début de la première des unités d'entreposage occupées par la composante, du dernier bit occupé par la composante. Ce déplacement est mesuré en bits. La valeur de cet attribut est de type integer_universel. |
| P'LENGTH | Pour un préfixe P approprié à un type de tableau ou désignant un sous-type de tableau contraint : renvoie le nombre de valeurs de premier intervalle d'index (zéro pour un intervalle nulle). La valeur de cet attribut est de type universal_integer. |
| P'LENGTH(N) | Pour un préfixe P approprié à un type de tableau ou désignant un sous-type de tableau contraint : renvoie le nombre de valeurs de l'intervalle d'index N (zéro pour une intervalle nulle). La valeur de cet attribut est de type universal_integer. Le paramètre N doit être une expression statique de type universal_integer. La valeur de N doit être positive (différente de zéro) et ne doit pas être supérieure à la dimensionnalité du tableau. |
| P'MACHINE_EMAX | Pour un préfixe P désignant un type ou un sous-type à virgule flottante : renvoie la plus grande valeur d'exposant pour la représentation machine du type de base de P. La valeur de cet attribut est de type universal_integer. |
| P'MACHINE_EMIN | Pour un préfixe P désignant un type ou un sous-type à virgule flottante : renvoie la plus petite valeur (la plus négative) de l'exposant pour la représentation machine du type de base de P. La valeur de cet attribut est de type universal_integer. |
| P'MACHINE_MANTISSA | Pour un préfixe P désignant un type ou un sous-type à virgule flottante : renvoie le nombre de chiffres de la mantisse pour la représentation machine du type de base de P (les chiffres sont des chiffres étendus compris entre 0 et P'MACHINE_RADIX-1). La valeur de cet attribut est de type universal_integer. |
| P'MACHINE_OVERFLOWS | Pour un préfixe P désignant un type ou un sous-type réel : renvoie la valeur TRUE si chaque opération prédéfinie sur les valeurs du type de base de P fournit un résultat correct ou génère l'exception NUMERIC_ERROR dans les situations de dépassement de capacité; renvoie la valeur FALSE dans le cas contraire. La valeur de cet attribut est du type prédéfini BOOLEAN. |
| P'MACHINE_RADIX | Pour un préfixe P désignant un type ou un sous-type à virgule flottante : renvoie la valeur de base utilisé par la représentation machine du type de base de P. La valeur de cet attribut est de type universal_integer. |
| P'MACHINE_ROUNDS | Pour un préfixe P désignant un type ou un sous-type réel : renvoie la valeur TRUE si chaque opération arithmétique prédéfinie sur les valeurs du type de base de P renvoie un résultat exact ou effectue un arrondi ; renvoie la valeur FALSE dans le cas contraire. La valeur de cet attribut est du type prédéfini BOOLEAN. |
| P'MANTISSA | Pour un préfixe P désignant un sous-type réel : renvoie le nombre de chiffres binaires dans la mantisse binaire des numéros de modèle du sous-type P. La valeur de cet attribut est de type universal_integer. |
| P'POS | Pour un préfixe P désignant un type ou un sous-type discret : cet attribut est une fonction avec un seul paramètre. Le paramètre actuel X doit être une valeur du type de base de P. Le type de résultat est le type universal_integer. Le résultat est le numéro de position de la valeur du paramètre actuel. |
| P'POSITION | Pour un préfixe P désignant une composante d'un objet enregistrement : renvoie le déplacement, à partir du début de la première unité d'entreposage occupée par l'enregistrement, de la première des unités de stockage occupées par la composante. Ce déplacement est mesuré en unités d'entreposage. La valeur de cet attribut est de type universal_integer. |
| P'PRED | Pour un préfixe P désignant un type ou un sous-type discret : cet attribut est une fonction avec un seul paramètre. Le paramètre actuel X doit être une valeur du type de base de P. Le type de résultat est le type de base de P. Le résultat est la valeur dont le numéro de position est inférieur de un à celui de X. L'exception CONSTRAINT_ERROR est levée si X est égal à P'BASE'FIRST. |
| P'RANGE | Pour un préfixe P approprié à un type de tableau ou désignant un sous-type de tableau contraint : renvoie le premier intervalle d'index de P, c'est-à-dire l'intervalle P'FIRST .. P'LAST. |
| P'RANGE(N) | Pour un préfixe P approprié à un type de tableau ou désignant un sous-type de tableau contraint : renvoie la N-ième intervalle d'index de P, c'est-à-dire l'intervalle P'FIRST(N)..P'LAST(N). |
| P'SAFE_EMAX | Pour un préfixe P désignant un type ou un sous-type à virgule flottante : renvoie la plus grande valeur d'exposant dans la forme canonique binaire des nombres sûrs du type de base de P. La valeur de cet attribut est de type universal_integer. |
| P'SAFE_LARGE | Pour un préfixe P désignant un type ou un sous-type réel : renvoie le plus grand nombre positif sûr du type de base de P. La valeur de cet attribut est de type universal_real. |
| P'SAFE.SMALL | Pour un préfixe P désignant un type ou un sous-type réel : renvoie le plus petit nombre positif (non nul) sûr du type de base de P. La valeur de cet attribut est de type universal_real. |
| P'SIZE | Pour un préfixe P désignant un objet : renvoie le nombre de bits alloués pour contenir l'objet. La valeur de cet attribut est de type universal_integer. |
| P'SIZE | Pour un préfixe P désignant n'importe quel type ou sous-type : renvoie le nombre minimal de bits nécessaires à l'implémentation pour contenir n'importe quel objet possible du type ou du sous-type P. La valeur de cet attribut est de type universal_integer. |
| P'SMALL | Pour un préfixe P désignant un sous-type réel : renvoie le plus petit numéro de modèle positif (non nul) du sous-type P. La valeur de cet attribut est de type universal_real. |
| P'STORAGE_SIZE | Pour un préfixe P désignant un type ou un sous-type d'accès : renvoie le nombre total d'unités d'entreposage réservées à la collection associée au type de base de P. La valeur de cet attribut est de type universal_integer. |
| P'STORAGE_SIZE | Pour un préfixe P désignant un type de tâche ou un objet tâche : renvoie le nombre d'unités de stockage réservées pour chaque activation d'une tâche de type P ou pour l'activation de l'objet tâche P. La valeur de cet attribut est de type universal_integer. |
| P'SUCC | Pour un préfixe P désignant un type ou un sous-type discret : cet attribut est une fonction avec un seul paramètre. Le paramètre actuel X doit être une valeur du type de base de P. Le type de résultat est le type de base de P. Le résultat est la valeur dont le numéro de position est supérieur de un à celui de X. L'exception CONSTRAINT_ERROR est levée si X est égal à P'BASE'LAST. |
| P'TERMINATED | Pour un préfixe P approprié à un type de tâche : renvoie la valeur TRUE si la tâche P est terminée ; renvoie la valeur FALSE dans le cas contraire. La valeur de cet attribut est du type prédéfini BOOLEAN. |
| P'VAL | Pour un préfixe P désignant un type ou un sous-type discret : Cet attribut est une fonction spéciale avec un seul paramètre X pouvant être de n'importe quel type entier. Le type de résultat est le type de base de P. Le résultat est la valeur dont le numéro de position est la valeur entière universelle correspondant à X. L'exception CONSTRAINT_ERROR est levée si la valeur entière universelle correspondant à X n'est pas dans l'intervalle P'POS (P'BASE'FIRST ) .. P'POS (P'BASE'LAST). |
| P'VALUE | Pour un préfixe P désignant un type ou un sous-type discret : Cet attribut est une fonction avec un seul paramètre. Le paramètre actuel X doit être une valeur du type prédéfini STRING. Le type de résultat est le type de base de P. Tous les espaces de début et de fin de la séquence de caractères correspondant à X sont ignorés. Pour un type d'énumération, si la séquence de caractères a la syntaxe d'un littéral d'énumération et si ce littéral existe pour le type de base de P, le résultat est la valeur d'énumération correspondante. Pour un type entier, si la séquence de caractères a la syntaxe d'un littéral entier, avec un seul caractère de début facultatif étant un signe plus ou moins, et s'il existe une valeur correspondante dans le type de base de P, le résultat est cette valeur. Dans tous les autres cas, l'exception CONSTRAINT_ERROR est levée. |
| P'WIDTH | Pour un préfixe P désignant un sous-type discret : renvoie la longueur d'image maximale sur toutes les valeurs du sous-type P (l'image est la séquence de caractères renvoyée par l'attribut IMAGE). La valeur de cet attribut est de type universal_integer. |
Dernière mise à jour : Mardi, le 7 janvier 2025