Re: Using controlled types to trace program execution

["Matthew Heaney" <mheaney@on2.com>]

"Nige" <nigel.scott@uk.thalesgroup.com> wrote in message
news:3C7B9007.FB5F257D@uk.thalesgroup.com...
> procedure Something is
>
>   Here : Trace.Location ("Something");
>
> begin
>   null;
> end Something;

Try this:

with Ada.Finalization;
package Trace is

   type Location (S : access String) is limited private;

private

   type Location (S : access String) is
      new Ada.Finalization.Limited_Controlled with null record;

   procedure Initialize (L : in out Location);
   procedure Finalize (L : in out Location);

end Trace;


with Trace;
procedure Op is
   S : aliased String := "Op";
   Here : Trace.Location (S'Access);
begin
   null;
end;


You have to declare the string object as aliased.  You don't need heap for
what you're trying to do.