Re: Interesting article on ARG work

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

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