Re: Inheritance and Polymorphism in Ada !!

[Simon Wright <simon@pogner.demon.co.uk>]

Robert A Duff <bobduff@world.std.com> writes:

> Another example: I often want to add a statement at the beginning of a
> procedure.  I want it to happen before anything else.  Maybe a debugging
> print-out, for example.  Or maybe some sort of checking on the input
> parameters, like an assertion.  If I put it after the "begin", I will
> miss all the elaborations.  So I have to surround the whole procedure
> with a block statement, and *then* add my new statement.  I wouldn't
> mind adding the verbosity if it helped the reader, but I think it does
> just the opposite.

If you're using GNAT, you can use pragma Debug and pragma Assert ..