Re: I am not understanding user defined exceptions

[Simon Wright <simon@pushface.org>]

Robert A Duff <bobduff@TheWorld.com> writes:

> Georg Bauhaus <nonlegitur@futureapps.invalid> writes:
>
>> Does it work in the static sense when, e.g. a case 
>> statement needs to cover precisely the values of
>> Exclude_One at compile time?
>
> Yes.  In GNAT, Predicate is equivalent to Static_Predicate if that
> would be legal, otherwise it's equivalent to Dynamic_Predicate.  You
> get all the nice full coverage rules in case statements and array
> aggregates and so forth.

Good, but I have to admit the strength of Randy's point re:
maintainability. Would it be possible for GNAT have a diagnostic option
to state whether explicit Static_Predicate would be OK? (you could tell
me to just try Static_Predicate first!)