Re: renames usage

["G.B." <bauhaus@notmyhomepage.invalid>]

On 01.01.21 13:39, DrPi wrote:

> Reading all the answers, I understand that :
>      X : Float renames Random (Seed);
> is equivalent to :
>      X : constant Float := Random (Seed);
> 
> Right ?

Also remember that limited types do not permit copying,
whether constant or not. Renaming avoids having to move
an object at all:

procedure Hammering is

    type Hammer is (Claw, Sledge);

    task type Nail is  -- A limited type
       entry Hit (Weight : Hammer);
    end Nail;

    task body Nail is separate;

    procedure Game is
       type Nail_Reference is access Nail;
       Challenge : array (1 .. 10) of Nail_Reference
         := (others => new Nail);

       function Random_Pick return Nail_Reference is
       begin
          return Challenge (2);
       end Random_Pick;

       Choice : Nail renames Random_Pick.all;
    begin
       Choice.Hit (Weight => Claw);
    end Game;

begin
    Game;
end Hammering;