Attribute Has_Discriminants (GNAT Reference Manual) (original) (raw)

Next: Attribute Has_Tagged_Values, Previous: Attribute Has_Access_Values, Up: Implementation Defined Attributes [Contents][Index]

4.29 Attribute Has_Discriminants ¶

The prefix of the Has_Discriminants attribute is a type. The result is a Boolean value which is True if the type has discriminants, and False otherwise. The intended use of this attribute is in conjunction with generic definitions. If the attribute is applied to a generic private type, it indicates whether or not the corresponding actual type has discriminants.