From: mcc@entropy.cs.princeton.edu (Martin C. Carlisle)
Subject: Re: Beginner's questions
Date: 1999/05/04
Date: 1999-05-04T00:00:00+00:00 [thread overview]
Message-ID: <7gn2d5$a8f$1@cnn.Princeton.EDU> (raw)
In-Reply-To: 1999May4.093747.1@eisner
Unbounded strings are required not to leak memory. See A.4.5(88)
"No storage associated with an Unbounded_String object shall be lost upon
assignment or scope exit."
This sentence immediately reminds me of Ada.Finalization.Controlled, and
not suprisingly, GNAT uses controlled types to implement unbounded
strings. I have not checked ACVC, but I suspect it would be very hard
to validate a compiler not meeting this requirement.
--Martin
In article <1999May4.093747.1@eisner>,
Larry Kilgallen <Kilgallen@eisner.decus.org.nospam> wrote:
>In article <372ED1C4.9A1AE1B2@frqnet.de>, Andreas Winckler <andreas.winckler@frqnet.de> writes:
>> So, does anybody know more details about unbounded_strings? How does it
>> work? Does it recycle deallocated memory by 100%? If not I'll better
>> stay away from it.
>
>There are three levels of guarantee possible:
> The language specification (reference manual) might require it.
> The author of your compiler(s) might commit to it.
> You might engage in testing for it.
--
Martin C. Carlisle, Asst Prof of Computer Science, US Air Force Academy
carlislem@acm.org, http://www.usafa.af.mil/dfcs/bios/carlisle.html
DISCLAIMER: This content in no way reflects the opinions, standards or
policy of the US Air Force Academy or the United States Government.
next prev parent reply other threads:[~1999-05-04 0:00 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-05-02 0:00 Beginner's questions Marco Schmidt
1999-05-02 0:00 ` Matthew Heaney
1999-05-03 0:00 ` Marco Schmidt
1999-05-03 0:00 ` Matthew Heaney
1999-05-03 0:00 ` Andreas Winckler
1999-05-03 0:00 ` Matthew Heaney
1999-05-03 0:00 ` Andreas Winckler
1999-05-03 0:00 ` David Starner
1999-05-04 0:00 ` Andreas Winckler
1999-05-04 0:00 ` Larry Kilgallen
1999-05-04 0:00 ` Martin C. Carlisle [this message]
1999-05-04 0:00 ` Larry Kilgallen
1999-05-05 0:00 ` Andreas Winckler
1999-05-03 0:00 ` dennison
1999-05-04 0:00 ` Tucker Taft
1999-05-04 0:00 ` dennison
1999-05-10 0:00 ` Tucker Taft
1999-05-04 0:00 ` czgrr
1999-05-04 0:00 ` Nick Roberts
1999-05-07 0:00 ` Robert Dewar
1999-05-07 0:00 ` David Starner
1999-05-08 0:00 ` ak
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox