Re: prédicats de sous-type - activation

Le 13/12/2021 à 01:05, Thomas De Contes a écrit :
> Avant de continuer mes questions, j'aimerais vérifier que j'ai bien compris que les prédicats de sous-type sont activés tout le temps.
>
> J'avais cru comprendre ça en te lisant ci-dessus, ainsi que 11.4.2 l 10 rapidement, et je crois bien autre chose ailleurs aussi.
> Mais en lisant 3.2.4 l 8-11, puis 11.4.2 l 10 puis l 9 plus soigneusement, j'ai un doute. (Ça m'étonne que tout ça soit écrit pour rien, si les prédicats de sous-type sont activés tout le temps.)
>
> Alors, que dit 11.4.2 l 10 ?
> Est-ce que les prédicats de sous-type sont activés tout le temps ?
> Ou est-ce que ce sont seulement les tests d'appartenance avec le mot-clé "in" et l'attribut "'Valid", qui sont activés tout le temps, mais la vérification au moment des conversions de sous-type (3.2.4 l 31) est activée en fonction de "pragma Assertion_Policy" pour les "assertion_aspect_mark" "Static_Predicate" ou "Dynamic_Predicate" ?
>
En l'absence de mention explicite "Assertion_Policy", la vérification 
des assertions dépend de l'implémentation (comme beaucoup de choses - 
cela permet par exemple de choisir de vérifier ou non au moyen d'un 
paramètre sur la ligne de commande).

Le cas de "in" et 'Valid est différent: le prédicat fait partie de la 
sémantique de l'opération, ce n'est pas juste un contrôle. Donc on ne 
peut pas l'ignorer.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52
https://www.adalog.fr
_______________________________________________
Ada-france mailing list
[email protected]
https://mail.ada-france.org/cgi-bin/mailman/listinfo/ada-france