Re: Need help for constrained type

["G.B." <rm-dash-bau-haus@dash.futureapps.de>]

On 06.02.14 17:13, Gerd wrote:
> Is it possible to allocate "len" units, but address them from 0 .. len - 1?
>
> How can I do this?

One approximation can make use of generics. The immediate
mention of the Len with the object declaration will not be
present. But otherwise the approximation preserves the
"interface" of Memory_Block, except that the .Len component
is no longer constant, and not guaranteed to be in sync with
the length of .Usage_Info, if someone messes with it.

    generic
       Len : Natural;
    package Memory_Blocks is

       C_Style_Len : constant Integer := Len - 1;

       type Memory_Block is
          record
             Len : Natural := Memory_Blocks.Len;
             Start_Address : Mem_Addr;
             Block_Size : Natural;
             Usage_Info : Mem_Array (0..C_Style_Len);
          end record;

    end Memory_Blocks;

    package C_Style_Mem is new Memory_Blocks (2**16);

    mem : C_Style_Mem.Memory_Block;


(A different approach might instead choose a function,
C_Length (a renaming of Integer'Pred), such that

    mem : Memory_Block (C_Length (2**16));

will in effect let the index of Mem_Array be 0 .. Len.)