Re: type definition for an integer with discrete range

[mario.blunk.gplus@gmail.com]

On Saturday, March 30, 2019 at 11:13:14 PM UTC+1, Jere wrote:
> On Saturday, March 30, 2019 at 4:44:07 PM UTC-4, mario.b...@gmail.com wrote: 
> > Great, that brings me a lot further. I updated the file at
> > https://github.com/Blunk-electronic/ada_training/blob/master/src/type_angle/type_angle.adb
> > Two more questions:
> > 1. How can I catch the exception SYSTEM.ASSERTIONS.ASSERT_FAILURE in the exception handler ? See line 26.
> > 2. How can I print the "gap size" via put ? See line 28.
> > 
> > Thanks to all of you out there.
> 
> 1.  Add a "with" for System.Assertions,  uncomment line 26, add your
> handling code.
> 
> 2.  Declare a constant:
>    Angle_Delta : constant := 5;
> Use it in your Dynamic_Predicate and then in your print statement, do
>    Integer'Image(Angle_Delta);

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.