comp.lang.ada
 help / color / mirror / Atom feed
From: mheaney@ni.net (Matthew Heaney)
Subject: Re: limited/non-limited in Ada95
Date: 1997/10/16
Date: 1997-10-16T00:00:00+00:00	[thread overview]
Message-ID: <mheaney-ya023680001610972221540001@news.ni.net> (raw)
In-Reply-To: 3442C2A3.3781@bix.com


In article <3442C2A3.3781@bix.com>, TMoran@bix.com wrote:

>In Ada 83 there was always an argument against using 'limited' because
>it would make anything anything using that type also limited.  But in
>Ada 95 with tagged types we have the same problem in reverse: if a
>tagged type is non-limited then all its descendants are non-limited and
>some important capabilities are only available to limited types.

What "important capabilities" do limited types have?  That they're passed
by reference?  You get that for free anyway for tagged types, even if the
tagged type is non-limited.

>Has
>anyone else found this to be a problem, and do you have any good
>solutions?

Sometimes it's a pain if you have a non-limited tagged type and you want to
extend it to add an access discriminant.  But no big deal: you can use a
named access type as the discriminant and O'Unchecked_Access to give it a
value.

--------------------------------------------------------------------
Matthew Heaney
Software Development Consultant
<mailto:matthew_heaney@acm.org>
(818) 985-1271




  reply	other threads:[~1997-10-16  0:00 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-10-13  0:00 limited/non-limited in Ada95 Tom Moran
1997-10-16  0:00 ` Matthew Heaney [this message]
1997-10-17  0:00   ` Jon S Anthony
1997-10-18  0:00     ` Matthew Heaney
1997-10-21  0:00       ` Jon S Anthony
1997-10-21  0:00         ` Robert Dewar
1997-10-21  0:00           ` Jon S Anthony
1997-10-22  0:00             ` Robert Dewar
1997-10-22  0:00               ` Jon S Anthony
1997-10-21  0:00         ` Robert A Duff
1997-10-22  0:00           ` Robert Dewar
1997-10-22  0:00             ` Jon S Anthony
1997-10-22  0:00           ` Jon S Anthony
1997-10-23  0:00             ` Fergus Henderson
1997-10-23  0:00               ` Jon S Anthony
1997-10-23  0:00               ` Jon S Anthony
1997-10-24  0:00                 ` Geert Bosch
1997-10-18  0:00     ` Tom Moran
1997-10-18  0:00       ` Matthew Heaney
1997-10-19  0:00         ` Tom Moran
1997-10-19  0:00           ` Matthew Heaney
1997-10-21  0:00             ` Tom Moran
1997-10-21  0:00               ` Matthew Heaney
1997-10-21  0:00         ` Robert A Duff
1997-10-21  0:00   ` Robert A Duff
replies disabled

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