10
Exceptions
nML permet aux programmeurs de definir des exceptions. Une exception est un evenement inhabituel (ou bien une erreur ou non) qui peut etre detecte par le hardware ou le logiciel et qui peut necessiter un traitement special.
nML a un systeme de traitement d’exception qui intervient lorsqu’une exception est relevee.
nDefinition: exception
nom_de_l_exception;
nInvocation: raise
nom_de_l_exception;
nTraitement: expression handle traitement avec
traitement(motif1)
==> expression1
traitement(motif2) ==> expression2
etc...