From: Robert A Duff <bobduff@world.std.com>
Subject: Re: Re[2]: Storage Pool
Date: Thu, 14 Jun 2001 14:57:20 GMT
Date: 2001-06-14T14:57:20+00:00 [thread overview]
Message-ID: <wccvglzjei7.fsf@world.std.com> (raw)
In-Reply-To: mailman.992475201.8456.comp.lang.ada@ada.eu.org
ANH_VO@udlp.com writes:
> Could you elaborate more on your NO answer? I do not have enough evidence to say
> either way. However, based on test results from GNAT 3.13p, the answer is yes. I
> need to conduct further test using APEX and ObjectAda. If it works as GNAT, I
> will post the codes.
I don't think the RM guarantees that Size_In_Storage_Element mod
Alignment = 0, but you may be right that it's always true in practise.
In any case, I think there's nothing wrong with writing a storage pool
that *requires* this property (or any other property), and tell users
of the pool that they must obey.
- Bob
next prev parent reply other threads:[~2001-06-14 14:57 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-06-13 21:22 Re[2]: Storage Pool ANH_VO
2001-06-14 14:57 ` Robert A Duff [this message]
-- strict thread matches above, loose matches on Subject: below --
2001-06-15 11:28 ANH_VO
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox