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!news1.google.com!newshub.sdsu.edu!elnk-nf2-pas!newsfeed.earthlink.net!stamper.news.pas.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>
 <s78dd.2345$ta5.833@newsread3.news.atl.earthlink.net>
 <x7v4qkqrlr1.fsf@smaug.pushface.org> <uoeixvols.fsf@earthlink.net>
 <woEdd.2702$%h1.1164@newsread3.news.pas.earthlink.net>
 <uvfd4derl.fsf@earthlink.net>
 <E0Zdd.3765$KJ6.2375@newsread1.news.pas.earthlink.net>
From: Matthew Heaney <matthewjheaney@earthlink.net>
Message-ID: <uoeivttyj.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: Fri, 22 Oct 2004 01:36:29 GMT
NNTP-Posting-Host: 64.185.133.124
X-Complaints-To: abuse@earthlink.net
X-Trace: newsread2.news.atl.earthlink.net 1098408989 64.185.133.124 (Thu,
 21 Oct 2004 18:36:29 PDT)
NNTP-Posting-Date: Thu, 21 Oct 2004 18:36:29 PDT
Organization: EarthLink Inc. -- http://www.EarthLink.net
Xref: g2news1.google.com comp.lang.ada:5611
Date: 2004-10-22T01:36:29+00:00
List-Id: <comp.lang.ada>

Jeffrey Carter <spam@spam.com> writes:

> Ignoring the absence of any requirement that the objects be created
> dynamically, there are several ways:
> 
> declare
>     Instance : T renames Make (...);
> begin


We appear to be comparing apples and oranges.  The technique you show
above will only work (assuming the full of the type is limited) if the
object is allocated statically.  You obviously cannot use a function to
return an object whose type is limited (the full view, anyway), if the
object is dynamically allocated on the stack.  (Try it and see.)

My example was only intended to illustrate the technique of using a
factory function to allocate instances.  The indirection allows the
package to hide the decision about whether instances are allocated
statically (e.g. the flyweight pattern) or dynamically.

-Matt

BTW: It's H-E-A-N-E-Y, like the poet.