Re: Constant record components

[Georg Bauhaus <bauhaus@futureapps.de>]

ME wrote:
> "Georg Bauhaus" <bauhaus@futureapps.de> wrote in message 


>>   type C is limited private;
>>     -- to be the constant part in R  -- C ops ...
>>
>>   type R is record  -- cannot be assigned because
> but I need R to be assigned

OK. R in nonlimited in the private part and in the body
of the package. A public R operation Update could assign the
record parts that need to be updated from outside. This won't
be as brief as `":=" which doesn't assign to constant parts',
But in return, having an explicit assignment procedure lets you
choose a suitable name for what the assignment is about.

> anyway the unconstrained array of records R is private

Good. Sounds like it has an interface of subprograms
already?

>>     immutable: C;  -- this cannot be assigned either (read only)
>>     other_data: Integer;  -- (read/write)
>>   end record;