From: "Matthew Heaney" <matthew_heaney@acm.org>
Subject: Re: tagged types extensions - language design question
Date: 2000/01/27
Date: 2000-01-27T00:00:00+00:00 [thread overview]
Message-ID: <ER_j4.621$Sa2.16708@newsread2.prod.itd.earthlink.net> (raw)
In-Reply-To: s90mu0hg7q538@corp.supernews.com
In article <s90mu0hg7q538@corp.supernews.com> , "Vladimir Olensky"
<vladimir_olensky@yahoo.com> wrote:
Why don't you just declare these types in separate packages?
package P is
type T is tagged private;
private
type T is tagged record ...;
end P;
package P.C is
type T1_Public is
abstract new T with record
Something : Some_Other_Type;
end record;
type T1 is new T1_Public with private;
private
type T1 is new T1_Public with record ... ;
end P.C;
> package P is
>
> type T is tagged private;
>
> type T1 is new T with
> record with private
> something: some_type;
> and record;
>
> private
>
> type T is tagged with
> record
> ID : Integer;
> end record;
>
> type T1 is new T with
> record
> thing : some_other_type;
> end record;
>
> end P;
>
> Instead I should do this in two steps.
> 1. to extend private part and then
> 2. to extend public part
> or vice versa.
>
> Due to that type T1 has inheritance_depth = 3
> instead of inheritance_depth = 2.
>
> LRM (3.9.1) says:
> Every type extension is a tagged type,
> and is EITHER a record extension OR a private
> extension of some other tagged type.
>
> It would be interesting to know what were
> the reasons not to allow to have BOTH a record
> extension AND a private extension at the same time.
>
> Regards,
> Vladimir Olensky
>
>
next prev parent reply other threads:[~2000-01-27 0:00 UTC|newest]
Thread overview: 80+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-01-27 0:00 tagged types extensions - language design question Vladimir Olensky
2000-01-27 0:00 ` Matthew Heaney [this message]
2000-01-27 0:00 ` Charles Hixson
2000-01-28 0:00 ` Vladimir Olensky
2000-01-28 0:00 ` Matthew Heaney
2000-01-28 0:00 ` Charles Hixson
2000-01-28 0:00 ` Matthew Heaney
2000-02-01 0:00 ` Charles Hixson
2000-02-01 0:00 ` Matthew Heaney
2000-01-29 0:00 ` Vladimir Olensky
2000-01-29 0:00 ` Matthew Heaney
2000-01-29 0:00 ` Matthew Heaney
2000-01-31 0:00 ` Vladimir Olensky
2000-01-31 0:00 ` Matthew Heaney
2000-01-31 0:00 ` Vladimir Olensky
2000-01-27 0:00 ` Laurent Guerby
2000-01-28 0:00 ` Vladimir Olensky
2000-01-28 0:00 ` Andy
2000-01-28 0:00 ` Vladimir Olensky
2000-01-29 0:00 ` Andy
2000-01-31 0:00 ` Vladimir Olensky
2000-01-27 0:00 ` Fraser
2000-01-28 0:00 ` Tucker Taft
2000-01-31 0:00 ` Vladimir Olensky
2000-02-01 0:00 ` Charles Hixson
2000-02-01 0:00 ` Matthew Heaney
2000-02-01 0:00 ` Brian Rogoff
2000-02-03 0:00 ` scripting/extension language for Ada (was : Re: tagged types extensions) root
2000-02-03 0:00 ` Brian Rogoff
2000-02-04 0:00 ` Ray Blaak
2000-02-04 0:00 ` Robert A Duff
2000-02-05 0:00 ` Ehud Lamm
2000-02-05 0:00 ` blaak
2000-02-05 0:00 ` Brian Rogoff
2000-02-09 0:00 ` Robert A Duff
2000-02-09 0:00 ` Ted Dennison
2000-02-10 0:00 ` Samuel T. Harris
2000-02-10 0:00 ` Pascal Martin
2000-02-10 0:00 ` Ray Blaak
2000-02-11 0:00 ` David Starner
2000-02-12 0:00 ` Pascal Martin
2000-02-12 0:00 ` blaak
2000-02-15 0:00 ` Brian Rogoff
2000-02-11 0:00 ` scripting/extension language for Ada (we have an opportunity here) Tarjei T. Jensen
2000-02-11 0:00 ` Robert I. Eachus
2000-02-12 0:00 ` Samuel T. Harris
2000-02-12 0:00 ` blaak
2000-02-12 0:00 ` Pascal Martin
2000-02-13 0:00 ` Robert I. Eachus
2000-02-16 0:00 ` scripting/extension ... [off topic] Nick Roberts
2000-02-16 0:00 ` Ray Blaak
2000-02-12 0:00 ` scripting/extension language for Ada (we have an opportunity here) Tarjei Tj�stheim Jensen
2000-02-12 0:00 ` root
2000-02-12 0:00 ` Samuel T. Harris
2000-02-14 0:00 ` Robert A Duff
2000-02-15 0:00 ` Samuel T. Harris
2000-02-16 0:00 ` Robert A Duff
2000-02-16 0:00 ` Samuel T. Harris
2000-02-16 0:00 ` Robert A Duff
2000-02-17 0:00 ` Samuel T. Harris
2000-02-14 0:00 ` scripting/extension language for Ada (was : Re: tagged types extensions) Robert A Duff
2000-02-04 0:00 ` Stanley R. Allen
2000-02-04 0:00 ` Samuel T. Harris
2000-02-05 0:00 ` Lionel Draghi
2000-02-05 0:00 ` Samuel T. Harris
2000-02-06 0:00 ` Bryce Bardin
2000-02-08 0:00 ` Samuel T. Harris
2000-02-06 0:00 ` Lionel Draghi
2000-02-05 0:00 ` Lionel Draghi
2000-02-05 0:00 ` Ray Blaak
2000-02-05 0:00 ` scripting/extension language for Ada (was : Re: tagged typesextensions) Lionel Draghi
2000-02-05 0:00 ` scripting/extension language for Ada (was : Re: tagged types extensions) Ehud Lamm
2000-02-06 0:00 ` Lionel Draghi
2000-02-06 0:00 ` scripting/extension language for Ada Terry Westley
2000-02-06 0:00 ` scripting/extension language for Ada (was : Re: tagged types extensions) Ehud Lamm
2000-02-09 0:00 ` Robert A Duff
2000-01-31 0:00 ` tagged types extensions - language design question Mark Lundquist
2000-02-01 0:00 ` Ehud Lamm
2000-02-01 0:00 ` Vladimir Olensky
2000-02-01 0:00 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox