From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
Subject: Re: limited /non-limited tagged type
Date: Fri, 04 Mar 2011 23:22:43 +0100
Date: 2011-03-04T23:22:44+01:00 [thread overview]
Message-ID: <4d716634$0$6975$9b4e6d93@newsspool4.arcor-online.net> (raw)
In-Reply-To: <9e7a23dd-883c-46fa-88a4-b0ce9aab529d@r4g2000vbq.googlegroups.com>
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.
next prev parent reply other threads:[~2011-03-04 22:22 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-03-04 18:56 limited /non-limited tagged type Hacid
2011-03-04 19:54 ` Edward Fish
2011-03-04 21:18 ` Hacid
2011-03-05 0:17 ` Edward Fish
2011-03-04 20:10 ` Georg Bauhaus
2011-03-04 21:55 ` Hacid
2011-03-04 22:21 ` Hacid
2011-03-05 1:20 ` Randy Brukardt
2011-03-04 22:22 ` Georg Bauhaus [this message]
2011-03-04 22:40 ` Hacid
2011-03-05 1:29 ` Georg Bauhaus
2011-03-04 23:34 ` Adam Beneschan
2011-03-05 3:26 ` Adam Beneschan
2011-03-05 16:48 ` Hacid
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox