Re: Error-names.

[Jacob Sparre Andersen <sparre@nbi.dk>]

Martin Klaiber wrote:
> Marius Amado Alves <amado.alves@netcabo.pt> wrote:

> > function Main return Error_Code_Type is
> >  -- exception-raising calls here
> > exception
> >  when E : others => return Error_Code_Of (E);
> > end;
> 
> > Now you only have to implement Error_Code_Of.
> 
> > (Ain't top-down design great? ;-)
> 
> > The 'trick' you could be missing is the "E : others" construct
> > above. E is the exception occurence. From it you can go to the
> > exception name. See package Ada.Exceptions--or, better yet,
> > section 11.4 of the ARM.
> 
> Well, if I understand it right, I still have to distinguish between
> the different exceptions before I call Error_Code_Of, is this right?

No.  E is like a renaming of whatever exception actually was raised.

> Like this (assume I have 5 exceptions A to E):
> 
>   function Main return Error_Code_Type is
>    -- exception-raising calls here
>   exception
>    when A : others => return Error_Code_Of (A);
>    when B : others => return Error_Code_Of (B);
>    when C : others => return Error_Code_Of (C);
>    when D : others => return Error_Code_Of (D);
>    when E : others => return Error_Code_Of (E);
>   end;

No, that wouldn't work.  Just:

   [...]
   exception
      when Raised_Exception : others =>
         return Error_Code_Of (Raised_Exception);
   end;

If the exception raised is A, then Ada.Exceptions.Exception_Name
(Raised_Exception) will return the string "A" (or however it is that
the compiler names the exception you call A.

Read the suggested part of the reference manual.

Jacob
-- 
"We will be restoring normality as soon as we are sure what is normal anyway."