Re: Ada 0x: Re: Representation clause

[James Rogers <jimmaureenrogers@worldnet.att.net>]

My assertion that Program_Error will be raised is based upon the result
of tests using GNAT 3.13p. Note that my code does NOT rely on that or
any other exception being raised to run properly. It detects the
erroneous condition without causing any exception to be raised.

It does raise its own exception when an erroneous condition is
detected. 

I admit that I may have generalized the response too much based upon
testing with one compiler. On the other hand, my solution does not
rely on that generalization. I therefore feel that my solution is only
half bad :-).

Jim Rogers
Colorado Springs, Colorado 

Florian Weimer wrote:
> 
> James Rogers <jimmaureenrogers@worldnet.att.net> writes:
> 
> > If the following is attempted, Program_Error will be raised at run-time.
> >
> >    function Convert is new Ada.Unchecked_Conversion(Source => Integer,
> >                     Target => Colors);
> >
> >    Enum_Value : Colors := Convert(2);
> 
> Eh, could you provide a RM reference which supports your claim?  I
> don't think you can rely on a Program_Error exception in such cases.
> Constraint_Error might be raised as well, or no exception at all.