Re: Preventing private procedure visibility being made public through extension

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

On 2017-05-21 14:19, J-P. Rosen wrote:
> Le 21/05/2017 à 10:44, Dmitry A. Kazakov a écrit :
>> If Ada supported return by-reference (it existed once in a rudimentary
>> form and was removed in Ada 2005)
> More precisely: an implicit, hard to understand return by reference was
> replaced with an explicit one. If you want return by reference, have a
> function that returns "access T".

Well, anonymous access is not same as reference.

1. It lacks implicit dereferencing

2. It overrides assignment operation of T with its own, which never 
should be there in first place

3. It does not transfer the access mode to T. E.g. the out mode of a 
reference to T applies to T itself". For an access type it applies to 
the type access T.

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