Re: type definition for an integer with discrete range

[AdaMagica <christ-usch.grein@t-online.de>]

Am Montag, 1. April 2019 18:27:32 UTC+2 schrieb Simon Wright:
> AdaMagica <christ-usch.grein@t-online.de> writes:
> 
> > Am Montag, 1. April 2019 08:59:56 UTC+2 schrieb mario.b...@gmail.com:
> >> Thanks, it is nearly perfect now :-)
> >> The line 24 in the file 
> >> https://github.com/Blunk-electronic/ada_training/blob/master/src/type_angle/type_angle.adb
> >> Should produce an error at compile time. Apart from this "nice to
> >> have" the program does what I want.
> >
> > You have to make sure that "pragma Assertion_Policy (Check);" is set.
> 
> Yes, that's why it appears at the top of the program.

Oh, I missed this.

> Alternatively you could compile with -gnata.
> 
> If I have the Assertion_Policy pragma in spec A, and package B uses that
> spec, are the assertions specified in A applied in B? (I suspect not)

You're right with your suspicion. That's why this pragma is a "configuration pragma"; it should be in a special file (compiler dependent), then it applies to all units to which this config file applies.

Or, for GNAT only, you use -gnata, as you said above.