comp.lang.ada
 help / color / mirror / Atom feed
From: Hacid <chadi.alkurdi@gmail.com>
Subject: Re: limited /non-limited tagged type
Date: Fri, 4 Mar 2011 14:21:53 -0800 (PST)
Date: 2011-03-04T14:21:53-08:00	[thread overview]
Message-ID: <76f09e04-5e4b-42bf-8029-8ac09660655c@r4g2000vbq.googlegroups.com> (raw)
In-Reply-To: 9e7a23dd-883c-46fa-88a4-b0ce9aab529d@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(



  reply	other threads:[~2011-03-04 22:21 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-03-04 18:56 limited /non-limited tagged type Hacid
2011-03-04 19:54 ` Edward Fish
2011-03-04 21:18   ` Hacid
2011-03-05  0:17     ` Edward Fish
2011-03-04 20:10 ` Georg Bauhaus
2011-03-04 21:55   ` Hacid
2011-03-04 22:21     ` Hacid [this message]
2011-03-05  1:20       ` Randy Brukardt
2011-03-04 22:22     ` Georg Bauhaus
2011-03-04 22:40       ` Hacid
2011-03-05  1:29         ` Georg Bauhaus
2011-03-04 23:34 ` Adam Beneschan
2011-03-05  3:26 ` Adam Beneschan
2011-03-05 16:48   ` Hacid
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox