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,901038687c38f61c
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news.glorb.com!border1.nntp.dca.giganews.com!nntp.giganews.com!peer01.cox.net!cox.net!newsfeeds.sol.net!posts.news.twtelecom.net!nnrp3.twtelecom.net!not-for-mail
From: "Matthew Heaney" <mheaney@on2.com>
Newsgroups: comp.lang.ada
References: <M3Ocd.237$5i5.72@newsread2.news.atl.earthlink.net>
 <mailman.25.1098102395.10401.comp.lang.ada@ada-france.org>
 <FH_cd.575$KJ6.64@newsread1.news.pas.earthlink.net>
 <u4qkrtgn2.fsf@earthlink.net>
 <s78dd.2345$ta5.833@newsread3.news.atl.earthlink.net>
 <41752559$0$91011$39cecf19@news.twtelecom.net>
 <138j4nfhzsc45$.1581kzqfi5e89$.dlg@40tude.net>
Subject: Re: Idiom for a class and an object in Ada
Date: Tue, 19 Oct 2004 11:40:08 -0400
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.2180
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180
X-RFC2646: Format=Flowed; Original
Message-ID: <41753277$0$74190$39cecf19@news.twtelecom.net>
Organization: Time-Warner Telecom
NNTP-Posting-Date: 19 Oct 2004 15:27:51 GMT
NNTP-Posting-Host: f42b615c.news.twtelecom.net
X-Trace: 
 DXC=TaQ0dinUec``JJ7h?6@<EbC_A=>8kQj6mMOj3YM9`=ah>Nf`US;7g=jdYZAA8S:<l`3@b?TQk3N``
X-Complaints-To: abuse@twtelecom.net
Xref: g2news1.google.com comp.lang.ada:5461
Date: 2004-10-19T15:27:51+00:00
List-Id: <comp.lang.ada>


"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:138j4nfhzsc45$.1581kzqfi5e89$.dlg@40tude.net...
> On Tue, 19 Oct 2004 10:44:04 -0400, Matthew Heaney wrote:
>
>> The term "class" in Ada has a very specific meaning.  In Ada, it means
>> "family of types."  Specifically, it means "family of tagged types, 
>> having
>> this common ancestor."
>
> This is incorrect. For example ARM 12.5 refers classes of types other than
> "class rooted in".

Yes, of course it does, but that's obviously not what we're discussing here, 
since the OP isn't using the term "class" in the sense of "class of integer 
types," etc.

We simply need to clarify whether we're talking about a specific type T, or 
a family of types rooted at T, namely T'Class.