From: Cyrille <comar@eu.adacore.com>
Subject: Re: Disabling string evaluation in a logging system
Date: Tue, 18 May 2010 02:45:35 -0700 (PDT)
Date: 2010-05-18T02:45:35-07:00 [thread overview]
Message-ID: <6b7b4465-3e08-4690-8318-10f58329ccfc@e21g2000vbl.googlegroups.com> (raw)
In-Reply-To: 15grablk8asle$.z2pjxbkmcyhz.dlg@40tude.net
On May 18, 10:15 am, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:
> But if I were to make a proposal, then I would do the useless pargma Assert
> useful. E.g.
>
> pragma Assert (Condition, Message);
>
> [Change]
> Dynamic semantics: Message is evaluated only if Condition is evaluated to
> true. Then a user-defined assertion handler is called, if any (to be set by
> Assertion_Policy). Otherwise Assertion_Error is propagated.
something like pragma Check & Check_Policy in GNAT, right?
see http://www.adacore.com/wp-content/files/auto_update/gnat-unw-docs/html/gnat_rm_2.html#SEC18
btw, concerning logging facilities, there is a relatively complete one
provided as part of GNATColl. See
http://www.adacore.com/wp-content/files/auto_update/gnatcoll-docs/gnatcoll.html#Logging-information
next prev parent reply other threads:[~2010-05-18 9:45 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-05-18 7:48 Disabling string evaluation in a logging system dhenry
2010-05-18 8:15 ` Dmitry A. Kazakov
2010-05-18 8:45 ` Dmitry A. Kazakov
2010-05-18 9:45 ` Cyrille [this message]
2010-05-18 10:26 ` Dmitry A. Kazakov
2010-05-18 12:10 ` Georg Bauhaus
2010-05-18 12:15 ` Georg Bauhaus
2010-05-18 12:54 ` Dmitry A. Kazakov
2010-05-18 9:32 ` Gautier write-only
2010-05-18 9:37 ` Gautier write-only
2010-05-18 11:27 ` Gautier write-only
2010-05-18 12:18 ` dhenry
2010-05-19 9:04 ` Stephen Leake
2010-05-19 12:38 ` Dmitry A. Kazakov
2010-05-19 18:02 ` (see below)
2010-05-19 19:08 ` Adam Beneschan
2010-05-18 10:13 ` stefan-lucks
2010-05-18 18:17 ` Jeffrey R. Carter
2010-05-18 18:40 ` tmoran
2010-05-19 7:47 ` dhenry
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox