Re: How can one record component be local and another not?

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

On 2020-05-05 20:32, hreba wrote:
> Ok, with all your hints I came to the following solution:
> 
> -- 
> package Aux is
>     type Integer_P is access all Integer;
>     type Rec is limited record
>        a: aliased Integer;
>        p: Integer_P;
>     end record;
> 
>     procedure Init (r: access Rec);
> end Aux;
> -- 
> package body Aux is
>     procedure Init (r: access Rec) is
>     begin
>        r.p:= r.a'Access;
>     end Init;
> end Aux;
> -- 
> with Aux;
> procedure Test is
>     r:    aliased Aux.Rec;
> begin
>     Aux.Init (r'Access);
> end Test;
> -- 
> 
> It compiles nicely, and then:
> 
> frank@pc-frank:~/Temp/Test0$ ./test
> raised PROGRAM_ERROR : aux.adb:4 accessibility check failed
> 
> #@!!0ßx*~@!!!

Ok, apologies if I led you down the wrong path. I admit I did not build 
a running program to check my suggestion of the "access" parameter, and 
I have not myself often used this kind of code.

You should be able to get rid of this error by using 
r.a'Unchecked_Access instead of r.a'Access, and then (I think) you can 
return to using an "in out" parameter mode instead of "access" mode.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .