Question about Finalization Control and reference counting

[randhol+abuse@pvv.org (Preben Randhol)]

Hi

I'm wondering if it is possible to do something like this

   type Data_Type is new Ada.Finalization.Controlled with
      record
         References: Integer := 0;
   end record;
   
   type Data_Access_Type is access Data_Type;

[..]

and then in the main program if I do something like this:

   procedure main is

      Pointer : Data_Access_Type := null;
      Data : Data_Access_Type := new Data_Type;
   
   begin
   
      Pointer := Data; 

   end main;

to have Data.References increases by using Adjust? I'm trying but it
looks like it only works if I do:

   Pointer : Data_Type;
   ...
   Pointer := Data.all;
   ...
otherwise Adjust is not invoked. Is it possible to get it invoked if one
point an access type to an object? I'm trying to eliminate the problem
of dangling pointers in a program...

Thanks in advance.

-- 
Preben Randhol ------------------- http://www.pvv.org/~randhol/ --
                 �For me, Ada95 puts back the joy in programming.�