From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Question on initialization of packages
Date: Tue, 17 Jun 2008 13:08:08 -0400
Date: 2008-06-17T13:08:08-04:00 [thread overview]
Message-ID: <wcc3ancdm6f.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: MOR5k.158235$TT4.13302@attbi_s22
"Jeffrey R. Carter" <spam.jrcarter.not@spam.acm.org> writes:
> Georg Bauhaus wrote:
>> Then, since we now have pragma Postcondition,
>
> "We" (Ada users) don't have pragma Postcondition. A specific
> implementation may provide it, but it's not part of the standard.
True, but it's still safe to use it. On GNAT, it works,
and on other implementations (which don't support it),
it does nothing.
- Bob
next prev parent reply other threads:[~2008-06-17 17:08 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-06-17 8:07 Question on initialization of packages Reinert Korsnes
2008-06-17 8:50 ` Dmitry A. Kazakov
2008-06-17 9:14 ` Reinert Korsnes
2008-06-17 10:26 ` Dmitry A. Kazakov
2008-06-17 12:03 ` Reinert Korsnes
2008-06-17 14:12 ` Martin
2008-06-17 10:39 ` Georg Bauhaus
2008-06-17 16:41 ` Jeffrey R. Carter
2008-06-17 17:08 ` Robert A Duff [this message]
2008-06-17 17:33 ` Dmitry A. Kazakov
2008-06-17 18:29 ` Jeffrey R. Carter
2008-06-17 10:18 ` christoph.grein
2008-06-17 14:29 ` Robert A Duff
2008-06-17 16:39 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox