Re: type definition for an integer with discrete range

[Jere <jhb.chat@gmail.com>]

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);