AW: Static vs dynamic evaluation anomaly?

AW: Static vs dynamic evaluation anomaly?

[Grein, Christoph (Fa. ESG)]

No, this program is absolute correct. Modular types do not overflow,
they use modular arithmetic.

with Ada.Text_IO;
use  Ada.Text_IO;
procedure test271 is
  type Six_Bits is mod 2**6;
  X: constant Six_Bits := 31;
  Z: constant Integer  := 31;
begin
  for J in 0..5 loop
    Put_Line (Integer 'Image         (J) &
              Six_Bits'Image  (X * 2**J) &
              Integer 'Image ((X * 2**J) mod Six_Bit'Modulus));
  end loop;
end test271;

Re: AW: Static vs dynamic evaluation anomaly?

[Stefan Lucks]

There seems to be something wrong with the Put_Line statement:

On Wed, 7 Feb 2007, Grein, Christoph (Fa. ESG) wrote:

> with Ada.Text_IO;
> use  Ada.Text_IO;
> procedure test271 is
>   type Six_Bits is mod 2**6;
>   X: constant Six_Bits := 31;
>   Z: constant Integer  := 31;
> begin
>   for J in 0..5 loop
>     Put_Line (Integer 'Image         (J) &
>               Six_Bits'Image  (X * 2**J) &
>               Integer 'Image ((X * 2**J) mod Six_Bit'Modulus));
    Put_Line (Integer 'Image         (J) &
              Six_Bits'Image  (X * 2**J) &
              Integer 'Image ((Integer(X) * 2**Integer(J))
                                mod Six_Bits'Modulus)
             );
>   end loop;
> end test271;
>

-- 
Stefan Lucks      Th. Informatik, Univ. Mannheim, 68131 Mannheim, Germany
            e-mail: lucks@th.informatik.uni-mannheim.de
            home: http://th.informatik.uni-mannheim.de/people/lucks/
------  I  love  the  taste  of  Cryptanalysis  in  the  morning!  ------

AW: Static vs dynamic evaluation anomaly?

[Grein, Christoph (Fa. ESG)]

Silly me, I meant

with Ada.Text_IO;
use  Ada.Text_IO;
procedure test271 is
  type Six_Bits is mod 2**6;
  X: constant Six_Bits := 31;
  Z: constant Integer  := 31;
begin
  for J in 0..5 loop
    Put_Line (Integer 'Image         (J) &
              Six_Bits'Image  (X * 2**J) &
              Integer 'Image ((Z * 2**J) mod Six_Bits'Modulus));
  end loop;
end test271;
_______________________________________________
comp.lang.ada mailing list
comp.lang.ada@ada-france.org
http://www.ada-france.org/mailman/listinfo/comp.lang.ada