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=0.7 required=5.0 tests=BAYES_00,MSGID_RANDY
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,75a8a3664688f227
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-01-08 20:42:03 PST
Path: 
 supernews.google.com!sn-xit-03!supernews.com!mtu.ru!news.rosnet.ru!newsfeed.rt.ru!newsfeed.gamma.ru!Gamma.RU!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail
From: Robert Dewar <robert_dewar@my-deja.com>
Newsgroups: comp.lang.ada
Subject: Re: Parameter Modes, In In Out and Out
Date: Tue, 09 Jan 2001 04:32:40 GMT
Organization: Deja.com
Message-ID: <93e498$ua1$1@nnrp1.deja.com>
References: <Zmt56.57012$ca6.937797@news6-win.server.ntlworld.com>
 <7Cx56.90736$A06.3322588@news1.frmt1.sfba.home.com>
 <937jab$s23$1@nnrp1.deja.com> <3A57CD7F.2228BFD5@brighton.ac.uk>
 <938p3u$omv$1@nnrp1.deja.com> <93cagm$c1j$1@nnrp1.deja.com>
NNTP-Posting-Host: 205.232.38.14
X-Article-Creation-Date: Tue Jan 09 04:32:40 2001 GMT
X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; U)
X-Http-Proxy: 1.0 x66.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
X-MyDeja-Info: XMYDJUIDrobert_dewar
Xref: supernews.google.com comp.lang.ada:3793
Date: 2001-01-09T04:32:40+00:00
List-Id: <comp.lang.ada>

In article <93cagm$c1j$1@nnrp1.deja.com>,
  dmitry6243@my-deja.com wrote:

> OOP does not enforce "tagged types" to be passed by
> reference. This is
> Ada 95 specific. Only class-wide types shall be passed by
> reference (for their size is unknown).
>
> Maybe I am wrong

Well I am not quite sure what you are saying here, but most
cerainly ALL tagged types must be passed by reference:

RM 6.2 (4)


4   A type is a by-reference type if it is a descendant of one
of the
following:

    5  a tagged type;

    6  a task or protected type;

    7  a nonprivate type with the reserved word limited in its
       declaration;

    8  a composite type with a subcomponent of a by-reference
                                            type;

    9  a private type whose full type is a by-reference type.

That's pretty clear. By the way it is *easy* to answer
questions like this for yourself from the RM. What I did to
locate this section was to open my trusty ascii only version of
the RM in my editor and search for by-reference -- not so
difficult.

The mention you make of keeping the tag separate from the value
is entirely irrelevant here.


Sent via Deja.com
http://www.deja.com/