Re: Ada 0x: Re: Representation clause

["Randy Brukardt" <randy@rrsoftware.com>]

James Rogers wrote in message <3A97F419.6E2F075@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.


Basing it on the RM, rather than a particular compiler, would be better.

>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 :-).


Why didn't you use the 'Valid attribute for the check? Then you can can
avoid the erroneous behavior. (Your current code is erroneous if the
representation is out of range, and while it *probably* will work on all
Ada compilers, there is no guarentee of that.)

        Randy Brukardt.