Re: Banging the Ada Drum.

[Martin <martin@thedowies.com>]

On Feb 28, 9:39 am, adacrypt <austin.oby...@hotmail.com> wrote:
[snip]

  FOR I in 30 ..1030 LOOP
    A(I) := Alices_Digital_Signature.GetUnits(Numin => I);
    B(I) := Alices_Digital_Signature.GetUnits(Numin => I);
  END LOOP;

Don't explicitly re-use the array limits in loops, prefer:

   for I in A'Range loop
      A (I) := ...

Now the compiler may not inject checks on "A (I)" as it knows that the
range of "I" is derived directly from "A".

Why have different types for A and B - they are both just arrays of
Integer with the same index. If you really want to make them
different, you could do:

   type Index is range 30 .. 1_030;
   type A_Array_Type is array (Index) of Integer;
   type B_Array_Type is new A_Array_Type;

   A : A_Array_Type;
   B : B_Array_Type;

BTW, are you assuming Integer is 32-bits? Because it doesn't have to
be...it could be as small as 16 bits or larger than 32.

-- Martin