Re: Extended Return Statement with exception

[Pascal Obry <pascal@obry.net>]

Anh,

> I have read the Extended Return Statement in Ada 2005 RM and Rationale.
> However, I am still not sure how it works. In other word, what will be
> returned when an exception occurs and handled the the exception handler
> within this extended return statement. Consider the following notional
> code, what exactly will be returned?

Well what will be returned in this case:

   function Make (...) return T is
      R : T;
   begin
      ...
      return R;
   exception
      ... handle Constraint_Error here.
   end Make;

I think this is equivalent to what will happen with your example with a
structured return statement. Of course I should not think but have a
look at the RM but I'm too lazy tonight ;)

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|              http://www.obry.net
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595