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.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,e5eb8ca5dcea2827
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Ada OO Mechanism
Date: 1999/06/08
Message-ID: <7jhon4$6a2$1@nnrp1.deja.com>#1/1
X-Deja-AN: 486855552
References: <7i05aq$rgl$1@news.orbitworld.net> <7i17gj$1u1k@news2.newsguy.com>
 <t7lneeqlzf.fsf@calumny.jyacc.com> <7icgkg$k4q$1@nnrp1.deja.com>
 <t7g14mqe7b.fsf@calumny.jyacc.com> <3749E9EC.2842436A@aasaa.ofe.org>
 <7id2eo$fag@drn.newsguy.com> <3749FF7D.F17CE16A@aasaa.ofe.org>
 <umq4sl1h66q.fsf@maestro.clustra.com> <374AC676.F7AE0772@lmco.com>
 <t7iu9hrqpw.fsf@calumny.jyacc.com> <7ieuja$5v9@news1.newsguy.com>
 <t7675gswiv.fsf@calumny.jyacc.com> <7ifd6l$bmf@sjx-ixn1.ix.netcom.com>
 <t7zp2sr6yf.fsf@calumny.jyacc.com> <uvhdfzpgn.fsf@infomatch.com>
 <7ihf6i$4hv@dfw-ixnews10.ix.netcom.com> <t7k8tvqyjr.fsf@calumny.jyacc.com>
 <m3909y7bar.fsf@mheaney.ni.net> <t7wvxfn75v.fsf@calumny.jyacc.com>
X-Http-Proxy: 1.0 x41.deja.com:80 (Squid/1.1.22) for client 166.72.69.177
Organization: Deja.com - Share what you know. Learn what you don't.
X-Article-Creation-Date: Tue Jun 08 00:39:01 1999 GMT
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I)
Date: 1999-06-08T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <t7wvxfn75v.fsf@calumny.jyacc.com>,
  Hyman Rosen <hymie@prolifics.com> wrote:
> From a little further fooling around, followed by a trip to
the Ada RM,
> I see that objects of class-wide type can not be record
components, which
> I guess makes sense, but it doesn't seem very orthogonal to
me.


Actually it is quite orthogonal and consistent with the
rest of the language. X'Class is like String from this point
of view, it is a general type, and you need a specific instance
to declare an object or a record component of this type.

There is another language that you might see here in which
String variables are generally permitted, and in that language
you would also expect to find X'Class record components (as
well as automatic storage management, and a generally rather
different semantic level).



Sent via Deja.com http://www.deja.com/
Share what you know. Learn what you don't.