From: Stephen Thomas <vianews@stephenthomas.uklinux.net>
Subject: Re: Ada memory management?
Date: Thu, 07 Oct 2004 13:01:06 +0100
Date: 2004-10-07T13:01:06+01:00 [thread overview]
Message-ID: <pan.2004.10.07.12.01.03.859414@stephenthomas.uklinux.net> (raw)
In-Reply-To: mailman.233.1097147788.390.comp.lang.ada@ada-france.org
On Thu, 07 Oct 2004 13:15:58 +0200, Christoph Karl Walter Grein wrote:
> RM 13.11(17) If Storage_Pool is not specified ... then the implementation chooses a standard storage pool .. in an implementation-defined manner.
>
> So how do you arrive at this statement?
>
> But see RM 13.11(18): The case is different if a Storage_Size is defined.
Because if clause RM13.11(17) holds in a particular case, the
implementation may choose to behave as if *it* had selected appropriate
S'Storage_Pool and/or S'Storage_Size, and then behave as per RM13.11(18).
Or it may not choose to do that, it is up to the implementation.
Stephen
--
Your name is being called by sacred things
That are not addressed nor listened to.
Sometimes they blow trumpets.
next prev parent reply other threads:[~2004-10-07 12:01 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-10-07 11:15 Ada memory management? Christoph Karl Walter Grein
2004-10-07 12:01 ` Stephen Thomas [this message]
-- strict thread matches above, loose matches on Subject: below --
2004-10-07 11:31 Christoph Karl Walter Grein
2004-10-07 10:00 Christoph Karl Walter Grein
2004-10-07 10:41 ` Stephen Thomas
2004-10-07 11:17 ` Jeff C r e e.m
2004-10-07 14:22 ` Georg Bauhaus
2004-10-07 14:51 ` Stephen Thomas
2004-10-07 16:23 ` Larry Kilgallen
2004-10-07 18:35 ` Frank J. Lhota
2004-10-07 12:00 ` Martin Krischik
2004-10-07 9:39 matthias_k
2004-10-07 12:06 ` Martin Krischik
2004-10-07 17:24 ` Nick Roberts
2004-10-07 19:04 ` Luke A. Guest
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox