Les exceptions

En Ada (ainsi que dans d'autres langages), un ensemble d'identificateurs nommés exceptions, permettent de désigner, de signaler et de traiter, les erreurs pouvant survenir pendant l'exécution d'un programme. Certains identificateurs dans cet ensemble sont prédéfinis: ils correspondent aux erreurs pouvant arriver dans n'importe quel programme. Parmi eux on trouve:

• Data_Error: erreur en cours de lecture des données. Par exemple, si le type d'une variable lue est incompatible avec la donnée éffective.

• Constraint_Error: les bornes d'un tableau sont dépassés, et plus généralement, l'intervalle de définition d'un type n'est pas respecté (types discrets).

• Storage_Error: apparaît en cas d'épuissement de la zone mémoire du programme, par exemple en cas d'appel récursif ``bouclant''.

Il est possible d'ajouter des nouveaux identificateurs à l'ensemble des exceptions, il suffit de les déclarer (dans la partie déclarations d'une unité) avec la syntaxe:

identificateur : exception;