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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,635cd9622b25ae59
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!fu-berlin.de!newsfeed.arcor.de!news.arcor.de!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Type safety, C++ and code generation
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.14.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <e2q6p8$idj$1@sunnews.cern.ch>
   <1146143954.169807.207080@t31g2000cwb.googlegroups.com>
   <e2qj9l$edt$1@sunnews.cern.ch>
   <1146148380.102042.119860@y43g2000cwc.googlegroups.com>
   <e2qn8t$n13$1@sunnews.cern.ch>
   <445101bf$0$11061$9b4e6d93@newsread4.arcor-online.net>
   <e2sark$65f$1@sunnews.cern.ch>
   <1146226568.9048.7.camel@localhost.localdomain>
 <1146227854.112808.257290@g10g2000cwb.googlegroups.com>
 <7ut4g.921904$x96.7750@attbi_s72>
Date: Fri, 28 Apr 2006 21:55:48 +0200
Message-ID: <fj07jtl8pdxm$.ccafpu8zbxuy$.dlg@40tude.net>
NNTP-Posting-Date: 28 Apr 2006 21:55:48 MEST
NNTP-Posting-Host: 7e9dcc13.newsread4.arcor-online.net
X-Trace: 
 DXC=OdFnK:H=Ua5j12nnM8XB1>:ejgIfPPld4jW\KbG]kaM8]kI_X=5Kea6YihOREJ=6O7[6LHn;2LCV>[<mhadbfdU;`0JAX^QeKb<
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:3995
Date: 2006-04-28T21:55:48+02:00
List-Id: <comp.lang.ada>

On Fri, 28 Apr 2006 18:50:43 GMT, Jeffrey R. Carter wrote:

> brian.b.mcguinness@lmco.com wrote:
>> 
>> One solution to the problem would be to provide a new keyword for
>> defining types with no default operations.  Only the operations you
>> explicitly defined would be available.
> 
> You mean like "limited private"?

I don't think that would be a good idea.
Ada.Finalization.Limited_Controlled is a better way. The language offers an
abstract base type to derive from. No keywords needed.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de