From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,2586a992fd399bf8
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!193.201.147.78.MISMATCH!feeder.news-service.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed01.chello.at!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Fri, 04 Mar 2011 23:22:43 +0100
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US;
 rv:1.9.2.14) Gecko/20110123 Thunderbird/3.1.8
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: limited /non-limited tagged type
References: 
 <40bfb845-7868-4536-886b-496e8dc82cb4@hd10g2000vbb.googlegroups.com>
 <4d714736$0$6979$9b4e6d93@newsspool4.arcor-online.net>
 <9e7a23dd-883c-46fa-88a4-b0ce9aab529d@r4g2000vbq.googlegroups.com>
In-Reply-To: 
 <9e7a23dd-883c-46fa-88a4-b0ce9aab529d@r4g2000vbq.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <4d716634$0$6975$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 04 Mar 2011 23:22:44 CET
NNTP-Posting-Host: bd52fec6.newsspool4.arcor-online.net
X-Trace: 
 DXC=cSk:=?GVJk?LNKYb?b>0764IUK<Cl32<14Fo<]lROoR18kF<OcfhCO;fLg6]L<efT4PCY\c7>ejV8Rb>^e;]Tfj7<_bjYB885b;
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:17848
Date: 2011-03-04T23:22:44+01:00
List-Id: <comp.lang.ada>

On 3/4/11 10:55 PM, Hacid wrote:

> This solution works but if I extend my package with some addons, I am
> blocked :
>
> generic
>     type Element is new Object with private;
> package Foo_3.Pools is

Type Element is like type Object WRT visibility of the Copy
operation.  The formal is public here, hence there is no
visible operation Copy, since that operation is private.

If you need the Copy operation in the package only, you
can make Foo_3.Pools a private child, thus

private generic
    type Element is new Object with private;
package Foo_3.Pools is

Foo_3.Copy can then effectively be called from within
Foo_3.Pools.Copy.