This is an old revision of the document!
L'objet des questions suivantes est de pouvoir vérifier au moment de la compilation que les exceptions sont bien capturées ou bien que seules les exceptions indiquées sont supposées être déclencheés (cf. les annotations relatives aux exceptions).
L’exception division_by_zero
peut être levée par la fonction divide
. Ajouter cette information à la fonction divide
.
Exécutez votre programme.
Ajoutez les informations complémentaires à votre programme pour éviter ce comportement.
Complétez les informations pour que la fonction test_divide
capture effectivement l'exception.