Re: Using controlled types to trace program execution

[Nige <nigel.scott@uk.thalesgroup.com>]

tmoran@acm.org wrote:
> 
   A combination will do the job.
>   You can't pass a string as a discriminant to your controlled type, and if
> you pass an access-to-string type it will be a constant and you won't
> be able to "free" the string.  But you can do it with two levels:
>   type p is access string;
>   type t(msg : access p) is new ada.finalization.limited_controlled with ...
> Then use the generic instantiation as a shorthand for declaring an
> aliased pointer to a new string'("something") followed by a declaration
> of the controlled type with a 'access to that pointer as its parameter.

Thanks - I hadn't thought about declaring a package - only a variable.

Nige