Re: In mode parameter in an assignment statement

[Per Sandberg <per.s.sandberg@bahnhof.se>]

package GNATCOLL.Mmap is
....
private
    type Mapped_Region_Record;
    type Mapped_Region is access Mapped_Region_Record;
...
end GNATCOLL.Mmap;

If you look in the spec you will see that Mapped_Region is an access 
type referencing the incomplete Mapped_Region_Record that is completed 
in the body, any yes the implicit deference makes it look a bit strange.
/P


On 10/13/18 2:48 AM, Anh Vo wrote:
>     -- ...
> 
>     ------------------
>     -- Compute_Data --
>     ------------------
> 
>     procedure Compute_Data (Region : Mapped_Region) is
>        Data_Shift : constant Storage_Offset :=
>           Storage_Offset (Region.User_Offset - Region.System_Offset);
>     begin
>        if Region.User_Size = 0 then
>           Region.Data := Empty_String'Address;
>        elsif Region.Mapped then
>           Region.Data := Region.Mapping.Address + Data_Shift;
>        else
>           Region.Data := Region.Buffer.all'Address + Data_Shift;
>        end if;
>     end Compute_Data;
> 
> end GNATCOLL.Mmap;
> 
> The above code is the tail end of package gnatcoll-mmap.adb.
> 
> I thought it should be rejected during compilation because in mode parameter is not allowed in an assignment statement. But, it was compiled successfully under GNAT obviously.
> 
> What did I miss? Thanks in advance.
> 
> Anh Vo
>