6.5 Propagation d'une exception

BEGIN
  BEGIN
    IF x =1                       e_1
       THEN RAISE e_1 ;           --
       ELSIF x = 2                  |        e_2
             THEN RAISE e_2 ;       |       --      e_3
             ELSE RAISE e_3 ;       |          |     --
    END IF ;                        |          |        |
    ...                             |          |        |
  EXCEPTION      <----------  <----  <---
    WHEN e_1     
         THEN ...    --------
  END;                              |   ----  ----
EXCEPTION      <-----------          |  <---|
  WHEN e_2                                     |  
       THEN ...                         <----
  ...          -----------   ----  ----
  ...                               |          |        |
END ;          <-----------   <----  <---