Ada Programming/Delimiters/<>

The box <> is a placeholder for something not (yet) fully specified.

Contexts

  • In array declaration
type Some_Array is array (Positive range <>) of Some_Type;

Declare an array type with bounds known only at runtime.

  • a type that has unknown discriminants
type T (<>) is private;
  • Generic declaration of a discrete type
generic
  type T is (<>);

It means that T must be a discrete type: either an enumeration, a range, or a modular type.

  • component association in Ada 2005
Some_Rec_Type'(others => <>);
  • partial parameterization of generics in Ada 2005
generic
  with package P is new G
     (Param_1 => T,
      others => <>);

See also

Wikibook

Ada Reference Manual

This article is issued from Wikibooks. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.