Re: Type in allocator has deeper level than designated class-wide type

[Adam Beneschan <adam@irvine.com>]

On Jun 13, 8:31 am, Adrian Hoe <aby...@gmail.com> wrote:
> Hi all,
>
> I have stomped into above error and I am stuck with the error and
> runtime exception PROGRAM_ERROR : accessibility check failed.
>
> Here's the fragment of my codes:
>
> generic
>    N : Positive;
>    type Item is private;
> package High_Cloud is
>
>    package List renames Heterogeneous_Doubly_Link_List;
>    use List;
>
>    type Data_Array               is array ( 1 .. N ) of Item;
>
>    type Element_Record           is new List.Node with private;
>    type Series_Access            is new List.Access_List;
>
> private
>
>    type Element_Record is new List.Node with
>       record
>          Name           : Unbounded_String;
>          Color          : Unbounded_String;
>          Data           : Data_Array;
>       end record;
>
> ...
> end High_Cloud;
>
> In the package body of High_Cloud, I have a procedure:
>
>    procedure Add
>       ( Cloud          : in out High_Cloud_Record;
>         Name            : in     Unbounded_String;
>         Color           : in     Unbounded_String;
>         Data            : in     Data_Array )
>    is
>
>       New_Element : List.Access_Node;
>
>    begin
>
>       New_Element := new Element_Record'
> <========== Error/Warning here.
>                         ( Constructor.Init ( Name, Color, Data) ) ;
>
>       Concatenate ( Cloud.Series, New_Element ) ;
>
>    end Add;
>
> My intention is to use genericity to create a data which is an array
> (1..N) of any_type. This data is then stored in a list. Procedure Add
> instantiate (by calling to Constructor.Init) the list's node with
> data.
>
> I have read the ARM 3.10.2 and 3.10.1 and also John Barnes book yet I
> still have no clue how to solve the problem.
>
> Can you please help? Thanks.

I think we need to see the definition of Constructor.Init, at least.
(I'm guessing that Heterogeneous_Doubly_Link_List is a library package
that defines Node as a tagged record and Access_Node as "access all
Node'Class".  But I don't have a guess about what Init is.)

                               -- Adam