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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Interesting article on ARG work
Date: Thu, 5 Apr 2018 09:21:07 +0200
Organization: Aioe.org NNTP Server
Message-ID: <pa4ip3$1ton$1@gioia.aioe.org>
References: <p9s890$mmt$1@franka.jacob-sparre.dk>
 <1b44444f-c1b3-414e-84fb-8798961487c3@googlegroups.com>
 <62ee0aac-49da-4925-b9aa-a16695b3fc45@googlegroups.com>
 <pa0vga$rbe$1@franka.jacob-sparre.dk>
 <9879872e-c18a-4667-afe5-41ce0f54559f@googlegroups.com>
 <pa3jmj$9n3$1@franka.jacob-sparre.dk>
NNTP-Posting-Host: MyFhHs417jM9AgzRpXn7yg.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101
 Thunderbird/52.7.0
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.8.3
Xref: reader02.eternal-september.org comp.lang.ada:51338
Date: 2018-04-05T09:21:07+02:00
List-Id: <comp.lang.ada>

On 05/04/2018 00:30, Randy Brukardt wrote:

> There is a much more general proposal for Ada 2020 called "ghost code" - a
> silly name for code and declarations intended only to be used by assertions.
> (The idea being that if it is marked and enforced as such, it can be removed
> when the Assertion_Policy is Ignore.)
> 
> Using that (which may or may not make it into Ada 2020 -- we haven't yet
> discussed it at a meeting), one could use a ghost function for this purpose:
> 
>        function My_Assertion (...) return Boolean is
>            (if Condition then raise Assertion_Error with Message else True)
>            with Ghost;
> 
>       pragma Assert (My_Assertion (...));
> 
> (Note: The "..." here is any objects that Condition needs to be evaluated.)

Assertion code is quite useless from my point of view, but what about 
debugging code? It is quite tedious to comment it in and out all the 
time (and with/use clauses required for it).

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de