Pragma Subprogram_Variant (GNAT Reference Manual)

Next: Pragma Subtitle, Previous: Pragma Style_Checks, Up: Implementation Defined Pragmas [Contents][Index]

2.175 Pragma Subprogram_Variant ¶

Syntax:

pragma Subprogram_Variant (SUBPROGRAM_VARIANT_LIST);

SUBPROGRAM_VARIANT_LIST ::=
  STRUCTURAL_SUBPROGRAM_VARIANT_ITEM
| NUMERIC_SUBPROGRAM_VARIANT_ITEMS

NUMERIC_SUBPROGRAM_VARIANT_ITEMS ::=
  NUMERIC_SUBPROGRAM_VARIANT_ITEM {, NUMERIC_SUBPROGRAM_VARIANT_ITEM}

NUMERIC_SUBPROGRAM_VARIANT_ITEM ::=
  CHANGE_DIRECTION => EXPRESSION

STRUCTURAL_SUBPROGRAM_VARIANT_ITEM ::=
  STRUCTURAL => EXPRESSION

CHANGE_DIRECTION ::= Increases | Decreases

The Subprogram_Variant pragma is intended to be an exact replacement for the implementation-defined Subprogram_Variant aspect, and shares its restrictions and semantics.