 |
|
|
|
|
|
|
|
|
|
|
|
|
|
| n |
ML
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.
|
|
| n |
ML a
un systeme de traitement d’exception qui
|
|
|
intervient
lorsqu’une exception est relevee.
|
|
| n |
Definition: exception nom_de_l_exception;
|
|
| n |
Invocation: raise nom_de_l_exception;
|
|
| n |
Traitement:
expression handle traitement avec
|
|
|
traitement(motif1) ==> expression1
|
|
|
traitement(motif2) ==> expression2
etc...
|
|
