Re: Inheritance and Polymorphism in Ada !!

[Paul Duquennoy <paul.duquennoy@wanadoo.fr>]

Robert A Duff a *crit :
> 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.

For such debug printouts before any declarations, I often use a function :

   function Debug_Printout (Mess : in String) return boolean is
   begin
	Ada.Text_Io.Put_Line (Mess);
	return true;
   end Debug_Printout;

Then I can insert it in my procedure :

   procedure X (...) is
      Dummy_1 : constant Boolean := Debug_Printout ("Start of declarations");

      .....

It prooved usefull to track exceptions occuring during initialisations.

Paul