From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,86b57370403509bc
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!e21g2000vbl.googlegroups.com!not-for-mail
From: Cyrille <comar@eu.adacore.com>
Newsgroups: comp.lang.ada
Subject: Re: Disabling string evaluation in a logging system
Date: Tue, 18 May 2010 02:45:35 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <6b7b4465-3e08-4690-8318-10f58329ccfc@e21g2000vbl.googlegroups.com>
References: 
 <de99764a-fe45-4207-ad34-ed0cf1978d59@c13g2000vbr.googlegroups.com>
	<15grablk8asle$.z2pjxbkmcyhz.dlg@40tude.net>
NNTP-Posting-Host: 212.99.106.125
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1274175935 14922 127.0.0.1 (18 May 2010 09:45:35
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 18 May 2010 09:45:35 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: e21g2000vbl.googlegroups.com; posting-host=212.99.106.125;
	posting-account=bNhsVwoAAAB6XmNPWgYcbUm6npIwL2C4
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; fr; rv:1.9.2.3)
	Gecko/20100401 Firefox/3.6.3 ( .NET CLR 3.5.30729),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:11711
Date: 2010-05-18T02:45:35-07:00
List-Id: <comp.lang.ada>

On May 18, 10:15=A0am, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:

> But if I were to make a proposal, then I would do the useless pargma Asse=
rt
> useful. E.g.
>
> =A0 =A0pragma 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