Re: Problem With Self-Referential Access-to-Subprogram Type

[taashlo@cyberdude.com (Tad Ashlock)]

"amado.alves" <amado.alves@netcabo.pt> wrote in message news:<mailman.266.1067880764.25614.comp.lang.ada@ada-france.org>...
> You know the joke about how every problem can be solved by adding just 
> another level of indirection?
> 
>    type State2;
>    TYPE STATE2 PTR IS ACCESS STATE2;
>    type State2 is access procedure (Tester : in out Test Type'Class;
>                                     Resultant State : out STATE2 PTR);

Thanks for your response, Amado.  Dmitry Kazakov pointed out the same
solution in a different message.  (Although from your post timestamps,
it appears that you suggested it first. :)  But I question the
difference between a function return value and a procedure "out"
parameter that makes what I'm trying to do an error for one, but not
the other.

Thanks again,
Tad