Assertion pour les exceptions

Bonjour :-)


Dit-on plutôt "soulever", "lever", ou "déclencher" ?
(Avant je disais "renvoyer", mais apparemment c'est pas bon.)


Je commence à avoir le réflexe des pré/post-conditions (pas encore des prédicats de sous-type ni des invariants de type, que je ne maitrise pas suffisamment).

Mais je crois me souvenir d'avoir entendu parler d'un type d'assertions (ou quelque chose de similaire) qui concernerait les exceptions.
Ça permettrais d'indiquer dans la spec si un sous-programme peut déclencher telle ou telle exception, ou s'il ne devrais en déclencher aucune.
Et ça aurais un effet du genre : si ça déclenche une exception qui n'a pas été prévue dans la spec, ça la remplace par Assertion_Error.

Est-ce que j'ai rêvé ou pas ?
(C'est bête, c'est quelque chose qui m'a complètement échappé dernièrement alors que j'avais l'occasion de m'en servir ... Tant pis, je me renseigne pour la prochaine fois :-) )


-- 
RAPID maintainer
http://savannah.nongnu.org/projects/rapid/

_______________________________________________
Ada-france mailing list
[email protected]
https://mail.ada-france.org/cgi-bin/mailman/listinfo/ada-france