Re: Signed integer to modular type conversion

[Jim Rogers <jimmaureenrogers@worldnet.att.net>]

Adam Beneschan wrote:

> Supposing Standard.Integer is a 32-bit signed integer type.  I have a
> modular type
> 
>     type ModType is mod 2**32;
> 
>     X : Integer;
>     Y : ModType;
> 
> I'd like to set Y := X mod 2**32 (which should essentially just treat
> X as an unsigned integer without changing the data).  However, I can't
> figure out a good way to do this in Ada.  


Try the following example.

with Ada.Text_Io;
procedure Convert is
    type ModType is mod 2**32;
    X: Integer;
    Y: ModType := ModType'First;
begin
    loop
       X := Integer(Y);
       Ada.Text_IO.Put_Line("Value:" & Integer'Image(X));
       exit when Y = ModType'Last;
       Y := Y + 1;
    end loop;
end Convert;

You can see that the only real issue is converting the modular type
to an Integer, which is done with simple type coercion.

Jim Rogers