Re: Aliased

[Martin Dowie <martin.dowie@btopenworld.com>]

nblanpain@hotmail.com wrote:
> Hello,
> 
> I have a probleme with aliased variable :
> 
> -- Specification
> 
> package Test is
> 
> ...
> 
> private
> 
> type T_Toto is ...;
> type A_Toto is acess all T_Toto;
> 
> type T_Test is new T_Object with record
>    Tab : aliased T_Toto;
>    Ptr_Tab : A_Toto;
> end record;
> 
> end Test;
> 
> -- Body
> 
> package body Test is
> 
> ...
> 
> procedure Initialize is
> begin
>    Ptr_Tab := Tab'Access;  -- illegal instruction
> end Initialize;
> 
> ...
> 
> end Test;
> 
> Where is the problem and is there a solution to it?

Tab is a component of a record type "T_Test" but you have not provided a 
data object of such a type.

On the assumption that you are creating a "singleton" data object of 
type "T_Test" within the package body of "Test", you need something
like:

package body Test is

    My_Test_Data : T_Test;

    procedure Initialise is
    begin
       My_Test_Data.Ptr_Tab := My_Test_Data.Tab'Access;
    end Initialise;

end Test;

Cheers

-- Martin