"J-P. Rosen" <rosen@adalog.fr> wrote in message 
news:mhd1ne$miv$1@dont-email.me...
> Le 24/04/2015 10:59, Jacob Sparre Andersen a écrit :
>> One problem I have with assertion aspects is that I get the same
>> exception no matter which mistake I have made.  If I put the check
>> inside a subprogram instead of in its profile, I can get more clear
>> information about which kinds of mistakes I make.
> Your wishes will be soon satisfied, see AI12-0022-1 and AI12-0054-2
> (raise expression and aspect Predicate_Failure)

Raise expressions have been implemented in GNAT for quite a while; they 
probably exist in the compiler you're using. Predicate_Failure wasn't 
implemented until very recently (after someone wrote an ACATS test for it), 
so for that you might have to wait.

                                        Randy.