Re: type definition for an integer with discrete range

[mario.blunk.gplus@gmail.com]

On Friday, March 29, 2019 at 10:24:55 PM UTC+1, Simon Wright wrote:
> 
> What about this?
> 
>    pragma Assertion_Policy (Check);
>    with Ada.Text_Io; use Ada.Text_Io;
>    procedure Type_Integer is
>       subtype Number is Integer range -100 .. 100
>       with Dynamic_Predicate => Number mod 5 = 0;
>       V : Number;
>    begin
>       V := 0;
>       Put_Line ("0'image is " & V'Image);
>       V := -50;
>       Put_Line ("-50'image is " & V'Image);
>       V := 42;
>       Put_Line ("42'image is " & V'Image);
>    end Type_Integer;
> 
> Executing gives
> 
>    $ ./type_integer 
>    0'image is  0
>    -50'image is -50
> 
>    raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : Dynamic_Predicate failed at
>    type_integer.adb:12

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.