Path: ...!weretis.net!feeder8.news.weretis.net!news.imp.ch!news.alphanet.ch!alphanet.ch!.POSTED!not-for-mail
From: DrPi <314@drpi.fr>
Newsgroups: fr.comp.lang.ada
Subject: To except or not to except ?
Date: Fri, 15 Sep 2023 10:31:44 +0200
Organization: Posted through news.alphanet.ch
Message-ID: <ue14pj$kj$1@shakotay.alphanet.ch>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 15 Sep 2023 08:31:47 -0000 (UTC)
Injection-Info: shakotay.alphanet.ch; posting-account="dr.pi";
	logging-data="659"; mail-complaints-to="usenet@alphanet.ch"; posting-host="bda8ab3c43e8ad8cb626bfebe8390999.nnrp.alphanet.ch"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha256:HQP/Lcye9x0rKBS1lWZbGh4T25LX9i4HRkMU/qgOxZ0=
Content-Language: fr
Bytes: 1224
Lines: 12

Bonjour,

J'ai été biberonné au C. Pour gérer les erreurs, pas le choix : retour 
de code d'erreur à chaque fonction.

En Ada, il y a les exceptions.
Y a t-il des règles Ada à respecter/recommandées pour la gestion des 
erreurs ?

Par exemple, si j'ai bien compris, pour pouvoir prouver un programme, 
les exceptions sont interdites.

Nicolas