Contexts

• In named notation in subprogram calls.

Ada.Float_Text_IO.Put (Speed, Fore => 3, Aft => 1);  -- see RM A.10.9(22,32)

Ada.Numerics.Elementary_Functions.Arctan (X => 0.0, Y => -1.0)  -- see RM A.5.1(6, 9/1)

• In generic instantiations.

procedure Exchange is new Swap (Element_T => Character);

• In array and record named aggregates.

Point'(X => 10.0, Y => -1.0)  -- see RM 3.9(32)

• In exception handlers.

begin
  ...
exception
  when Constraint_Error => ...
end;

• In case statements.

case Valid is
  when False => ...
  when True  => ...
end case;

See also