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,2586a992fd399bf8
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!feeder2.cambriumusenet.nl!feed.tweaknews.nl!138.195.8.3.MISMATCH!news.ecp.fr!news.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: limited /non-limited tagged type
Date: Fri, 4 Mar 2011 19:20:20 -0600
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <iks34o$b2o$1@munin.nbi.dk>
References: 
 <40bfb845-7868-4536-886b-496e8dc82cb4@hd10g2000vbb.googlegroups.com>
 <4d714736$0$6979$9b4e6d93@newsspool4.arcor-online.net>
 <9e7a23dd-883c-46fa-88a4-b0ce9aab529d@r4g2000vbq.googlegroups.com>
 <76f09e04-5e4b-42bf-8029-8ac09660655c@r4g2000vbq.googlegroups.com>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1299288024 11352 69.95.181.76 (5 Mar 2011 01:20:24 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Sat, 5 Mar 2011 01:20:24 +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.5931
X-RFC2646: Format=Flowed; Original
Xref: g2news1.google.com comp.lang.ada:17861
Date: 2011-03-04T19:20:20-06:00
List-Id: <comp.lang.ada>

"Hacid" <chadi.alkurdi@gmail.com> wrote in message 
news:76f09e04-5e4b-42bf-8029-8ac09660655c@r4g2000vbq.googlegroups.com...
> To explain in other words my problem :
> I want to control type assignment but :
> 1) I can't use Ada.Limited_Controlled because I have a ZFP Run Time
> 2) I can't use limited tagged type because I need to perform array
> copies of derivated type
> 3) I can't just say "Do not use assignment" because without checks
> they will do
>
> So I was hoping that Ada have a construct to solve this problem...
> But maybe a rule checker is the best way  :o(

Ada *does* have solutions to this problem, but you've said that you can't 
use them. Fair enough, but you can't expect Ada to have 10 solutions to this 
problem!

(Indeed, Ada often gets critisized for having too many ways to do the same 
thing. But apparently there are never enough ways, either... :-)

                          Randy.