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
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3d9f3074dc2c4699
X-Google-Attributes: gid103376,public
From: bobduff@world.std.com (Robert A Duff)
Subject: Re: How to overload assignment in Ada 95?
Date: 1996/12/13
Message-ID: <E2BxrA.6yw@world.std.com>#1/1
X-Deja-AN: 203819636
references: <58aclh$ssd@gaia.cc.gatech.edu>
 <mheaney-ya023280000912962054110001@news.ni.net>
 <JSA.96Dec10161923@alexandria>
 <bbalfour-1112961514160001@stmac0088.std.caci.com>
organization: The World Public Access UNIX, Brookline, MA
newsgroups: comp.lang.ada
Date: 1996-12-13T00:00:00+00:00
List-Id: <comp.lang.ada>


Consider the predefined Ada.Strings.Unbounded.  It may well be
implemented as a controlled type (if your implementation doesn't do GC).
We chose to make it private in the RM.  So you can't extend it, and
override Finalize (or call Finalize directly).  I think that makes sense
in this case -- why would you want to extend this type?  You might use
components of this type.  But extending it seems unlikely.  On the other
hand, there are types that should be visibly controlled -- you want to
extend them, and override the Finalize (etc) ops.

- Bob