Re: Teaching new tricks to an old dog (C++ -->Ada)

["fabio de francesco" <fmdf@tiscali.it>]

Ioannis Vranos wrote:

> [skip]

> About the run-time checks one can easily implement a macro mechanism
to
> disable checks too, with the definition of a constant like before the

> compilation like:
>
>
> #define NOCHECKS

I think that you have to heavily modify the program code, isn't true?
Instead by means of "pragma suppress();" you can leave your code as it
is, so when you have finished with all tests you do on it you can
suppress checks with only one statement. It means that every time you
come back to updating that code you can easily turn all checks on anew
every time you need it. (With pragma suppress(...) the program will
print "101" and go normally to the end).

> Second, templates can be used for compile-time constraints, but I do
not
> know these stuff yet, so perhaps someone may provide this. And then
one
> could provide such a checking mechanism via templates (not of course
to
> mention once again template metaprogramming where an increment
operation
> could become compile-time).
>
> Ioannis Vranos

If there is anyone who may provide such a checking mechanism via
templates it would be appreciated.

Ciao,

fabio de francesco