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,70414f56d810c10c
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news.glorb.com!de-l.enfer-du-nord.net!feeder2.enfer-du-nord.net!news.musoftware.de!wum.musoftware.de!news.tornevall.net!news.jacob-sparre.dk!pnx.dk!jacob-sparre.dk!ada-dk.org!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: discriminant questions
Date: Fri, 23 Sep 2011 17:30:03 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <j5j19e$sn5$1@munin.nbi.dk>
References: 
 <9f37b726-d80b-4d24-bf3f-28a14255f7fd@s20g2000yql.googlegroups.com>
 <01a1374f-59ab-40be-9e39-0640cb2a513d@n35g2000yqf.googlegroups.com>
 <1fp2o673mu9az$.d9loz1zbcl0d.dlg@40tude.net>
 <wccty89n6hw.fsf@shell01.TheWorld.com>
 <luyty5gimgdn.fh6hltxeo2t1.dlg@40tude.net>
 <d3e2a483-2968-42b2-95c1-4370c40b1cd0@h7g2000yqm.googlegroups.com>
 <osxb9aktb5va$.gl2adls3llnz$.dlg@40tude.net>
 <b210b96b-806d-4add-8ac0-fa2ce568f855@u20g2000yqj.googlegroups.com>
 <14tiipigyejtc$.hyp7e82egqwq$.dlg@40tude.net>
 <34d856bd-19a3-4bbf-b9d8-c0f100000ef4@k7g2000vbd.googlegroups.com>
 <wq5xshyxsz29$.1whnijhte02l7.dlg@40tude.net>
 <f353c87e-f0d1-476f-aa7d-195f66f97650@w28g2000yqw.googlegroups.com>
 <1tpl2pc36ptr4$.txv4v3wmkjlm.dlg@40tude.net>
 <b32585e7-7a90-4d98-a729-d9d9c089252d@g30g2000yqc.googlegroups.com>
 <1malv6h6q31j3.uz9ws5j0glnm.dlg@40tude.net>
 <f584ceac-d250-4752-96ff-6b5aa9edc473@l4g2000vbz.googlegroups.com>
 <fsmyepvncyb2$.2ik4vw3vu74h.dlg@40tude.net>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1316817007 29413 69.95.181.76 (23 Sep 2011 22:30:07 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 23 Sep 2011 22:30:07 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2900.6109
X-RFC2646: Format=Flowed; Original
Xref: g2news1.google.com comp.lang.ada:21077
Date: 2011-09-23T17:30:03-05:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:fsmyepvncyb2$.2ik4vw3vu74h.dlg@40tude.net...
...
>> 2. Even with the above structure, This := This.Delete_And_Move_To_Next
>> would do the trick. It would also work for vectors.
>
> What about This.Delete? Should it be removed from the interface?

It should raise an exception, of course. That's what Ada.Containers does, 
and it's the obvious solution. Compile-time checking is incompatible with 
any sort of library, and that's surely the case here. It's crazy to try to 
do everything at compile-time.

(Of course, I'm on record as saying that many OOP designers are insane, so 
draw your own conclusions as to who is insane... :-)

                                    Randy.