From: Jere <jhb.chat@gmail.com>
Subject: Re: Full view of a private partial view cannot be a subtype
Date: Mon, 18 Dec 2017 17:08:37 -0800 (PST)
Date: 2017-12-18T17:08:37-08:00 [thread overview]
Message-ID: <f358478c-ad85-40c2-8b1c-7fe50933dd14@googlegroups.com> (raw)
In-Reply-To: <ceef5c1e-b80b-42c7-9d11-12e52dc6c266@googlegroups.com>
On Monday, December 18, 2017 at 3:45:31 PM UTC-5, Stephen Leake wrote:
> On Saturday, December 2, 2017 at 8:14:50 PM UTC-6, Jere wrote:
> > There are times where in another package I want to
> > subtype Base.Instance and do renames of the operations in order
> > to bring them all into scope (or whatever the correct term is):
> >
> > package New_Type1 is
> > subtype Instance is Base.Instance;
> > procedure Operation(Object : in out Instance);
> >
> > private
> >
> > procedure Operation(Object : in out Instance) renames Base.Operation;
> > end New_Type1;
>
> Why subtype? why not a derived type? why do you need a new name with the same operations?
It's not a new name...it's actually the same name in a different package. I
am basically trying to mimic a much more complex package with a simpler one.
They would have the same typenames and operations. I didn't really want to
create a new type, just provide a simpler interface to an existing one while
hiding one particularly dangerous detail if I could.
prev parent reply other threads:[~2017-12-19 1:08 UTC|newest]
Thread overview: 46+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-12-03 2:14 Full view of a private partial view cannot be a subtype Jere
2017-12-03 12:01 ` Jeffrey R. Carter
2017-12-03 13:33 ` Jere
2017-12-03 14:34 ` Jeffrey R. Carter
2017-12-03 17:44 ` Robert Eachus
2017-12-03 18:50 ` Simon Wright
2017-12-03 22:10 ` Robert Eachus
2017-12-03 19:03 ` Jeffrey R. Carter
2017-12-03 22:23 ` Jere
2017-12-04 8:25 ` Dmitry A. Kazakov
2017-12-04 18:04 ` Jeffrey R. Carter
2017-12-04 20:41 ` Jere
2017-12-04 21:48 ` Jeffrey R. Carter
2017-12-05 8:20 ` Dmitry A. Kazakov
2017-12-05 18:16 ` Jeffrey R. Carter
2017-12-05 20:39 ` Dmitry A. Kazakov
2017-12-05 21:38 ` Jeffrey R. Carter
2017-12-05 12:35 ` Jere
2017-12-05 18:40 ` Jeffrey R. Carter
2017-12-06 12:54 ` Jere
2017-12-06 18:03 ` Jeffrey R. Carter
2017-12-05 20:22 ` Randy Brukardt
2017-12-05 15:27 ` Shark8
2017-12-05 18:50 ` Jeffrey R. Carter
2017-12-05 20:59 ` Randy Brukardt
2017-12-05 22:43 ` Shark8
2017-12-07 0:52 ` Randy Brukardt
2017-12-05 20:16 ` Randy Brukardt
2017-12-05 21:29 ` Jeffrey R. Carter
2017-12-07 0:04 ` Randy Brukardt
2017-12-04 20:49 ` Randy Brukardt
2017-12-05 12:56 ` Jere
2017-12-05 20:12 ` Randy Brukardt
2017-12-17 15:26 ` Jere
2017-12-17 15:39 ` Dmitry A. Kazakov
2017-12-18 22:47 ` Randy Brukardt
2017-12-19 1:22 ` Jere
2017-12-19 23:16 ` Randy Brukardt
2017-12-19 1:01 ` Jere
2017-12-19 9:08 ` Dmitry A. Kazakov
2017-12-19 13:08 ` Jere
2017-12-19 13:27 ` Dmitry A. Kazakov
2017-12-19 19:10 ` Stephen Leake
2017-12-18 20:45 ` Stephen Leake
2017-12-18 22:54 ` Randy Brukardt
2017-12-19 1:08 ` Jere [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox