Re: AUnit: access to local procedure needed when asserting exception

[Simon Wright <simon@pushface.org>]

Georg Bauhaus <rm.dash-bauhaus@futureapps.de> writes:

> On 06.12.11 13:25, Simon Wright wrote:
>> Georg Bauhaus <rm.dash-bauhaus@futureapps.de> writes:

>> I've never quite understood the point of this facility, what's wrong
>> with
>> 
>>    begin
>>       --  do whatever should raise The_Exception
>>       Assert (C, False, "should have raised The_Exception");
>>    exception
>>       when The_Exception => null;
>>    end;
>
> Nothing wrong. The line numbers will be one off or so.
> Actually, this is very close to how it is implemented
> for run-times that support exception handling.
>
> The generic was easily added.
>
>    generic
>       with procedure Proc;
>    procedure Generic_Assert_Exception
>      (Message : String;
>       Source  : String := GNAT.Source_Info.File;
>       Line    : Natural := GNAT.Source_Info.Line);
>    --  Generic equivalent of Assert_Exception.
>
>
>    procedure Generic_Assert_Exception
>      (Message : String;
>       Source  : String := GNAT.Source_Info.File;
>       Line    : Natural := GNAT.Source_Info.Line) is
>    begin
>       begin
>          Proc;
>       exception
>          when others =>
           ^^^^^^^^^^^

I quite often want to make sure that a specific exception has been
raised.

>             return;
>       end;
>
>       --  No exception raised: register the failure message
>       Assert (False, Message, Source, Line);
>
>    end Generic_Assert_Exception;