Re: 'raise' in aspects?

[Stephen Leake <stephen_leake@stephe-leake.org>]

Stephen Leake <stephen_leake@stephe-leake.org> writes:

> The Ada mode 5.0 parser rejects this code:
>
>    subtype Integer_String is String
>      with Dynamic_Predicate => Integer'Value (Integer_String) in Integer
>             or else raise Constraint_Error with "not an integer string";
>
> It complains that 'raise' is not allowed here.
>
> ALRM Annex P says the syntax for an aspect is:
>
>      aspect_specification ::= 
>         with aspect_mark [=> aspect_definition] {,
>                 aspect_mark [=> aspect_definition] }
>
>      aspect_mark ::= aspect_identifier['Class]
>
>      aspect_definition ::= name | expression | identifier
>
>
> And you can't put 'raise' in an expression, which is why the Ada mode
> parser rejects it.
>
> But GNAT GPL 2014 accepts it.
>
> Can anyone point me to RM language that allows 'raise' in aspects?

For the record:

ai12-0022 adds "raise_expression" to the "relation" syntax. It's a
binding interpretation on Ada 2012

http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0022-1.txt?rev=1.13

-- 
-- Stephe