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!news2.google.com!news.maxwell.syr.edu!wns14feed!worldnet.att.net!216.196.98.144!border2.nntp.dca.giganews.com!nntp.giganews.com!elnk-atl-nf1!newsfeed.earthlink.net!stamper.news.atl.earthlink.net!newsread2.news.atl.earthlink.net.POSTED!14bb18d8!not-for-mail
Sender: mheaney@MHEANEYX200
Newsgroups: comp.lang.ada
Subject: Re: Idiom for a class and an object in 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>
 <xWidd.1831$%h1.1234@newsread3.news.pas.earthlink.net>
 <uu0spvpis.fsf@earthlink.net>
 <P2tdd.3504$ta5.1130@newsread3.news.atl.earthlink.net>
From: Matthew Heaney <matthewjheaney@earthlink.net>
Message-ID: <uk6tlv9a8.fsf@earthlink.net>
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Wed, 20 Oct 2004 12:55:28 GMT
NNTP-Posting-Host: 64.185.133.124
X-Complaints-To: abuse@earthlink.net
X-Trace: newsread2.news.atl.earthlink.net 1098276928 64.185.133.124 (Wed,
 20 Oct 2004 05:55:28 PDT)
NNTP-Posting-Date: Wed, 20 Oct 2004 05:55:28 PDT
Organization: EarthLink Inc. -- http://www.EarthLink.net
Xref: g2news1.google.com comp.lang.ada:5514
Date: 2004-10-20T12:55:28+00:00
List-Id: <comp.lang.ada>

Marin David Condic <nobody@noplace.com> writes:

> In my particular example, I have outlawed the use of access types. It
> doesn't matter why. You can get a perfectly good static allocation of
> exactly what is needed with the plain vanilla object declaration ala:
> 
> Some_Object : Class_Package.Tagged_Record_Type ;

I technique I have described doesn't require access types.  If the type
is limited, then it gets passed by reference, so you don't need an
explicit access type.

You still haven't explained why your type above is tagged, or why it is
nonlimited.