Exceptions
ADA

Ada procure un mécanisme d’exceptions. Elles sont de deux types : les exceptions prédéfinies et les exceptions dédiées du langage. Les exception prédéfinies ont une sémantique claire liée à l’exécution : Constraint_error (affectation d’un type incompatible avec la variable associée, dépassement de capacité dans les indices d’un tableau, etc.), Storage_Error qui signale les problèmes de gestion mémoire (typiquement lorsqu’il n’y en a plus), Tasking_Error liée aux problèmes de gestion de tâches, et enfin Program_Error dans les autres cas (par exemple, l’arrivée au end d’une fonction sans avoir rencontré d’instruction return).

Les exceptions dédiées à un programme sont définies dans une partie déclarative.

Les exceptions prédéfinies sont en général levées de manière “implicite”, c’est-à-dire par du code généré automatiquement par le compilateur. Les exceptions...