Re: Does object renaming allow the view to be a copy?

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 23/01/2017 11:49, AdaMagica wrote:
> Am Sonntag, 22. Januar 2017 21:24:12 UTC+1 schrieb Dmitry A. Kazakov:
>> On 2017-01-22 18:37, Simon Wright wrote:
> ...
>>> But like I said, crazy. Under the hood, any sensible person would have a
>>> reference to the original object.
>>
>> Some packed Boolean, not at the storage element margin?
>
> Of course not in cases like that:
>
> type Set is array (Index) of Boolean with Packed;
> My_Set: Set;
>
> My_Element_Presence: Boolean renames My_Set (I);
>
> My_Set (I) := not My_Set (I);
> My_Element_Presence := not My_Element_Presence;
>
> Under the hood, the same packing and unpacking has to be performed. A
> simple reference is impossible in this case.

Yes, renaming/viewing is richer than mere referencing. It is similar to 
parameter passing when the compiler is free to use any method.

(IMO being conceptually same as parameter passing, renaming must support 
array index sliding and other translations of the constraints as 
requested by the declared view).

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de