Re: Need help for constrained type

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

On 07.02.14 15:11, Mike H wrote:
> In message <52f3c83c$0$6559$9b4e6d93@newsspool4.arcor-online.net>, G.B.
> <rm-dash-bau-haus@dash.futureapps.de> writes
>> 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.
> Cannot sync be guaranteed by placing the relevant bits and pieces as
> private types within a package such that they may only be manipulated by
> functions and procedures provided by that package? Or have I
> misunderstood something?

I suppose the .Len component could be removed from the record
entirely, and be replaced with a constant function Len .IFF.
the record does not need to be some skinny collection of names
to be used without functions, taking pointers and overwriting
memory locations with index values/offset values.
(Used from both the Ada side and from the C side.)