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

Next: Attribute Default_Bit_Order, Previous: Attribute Compiler_Version, Up: Implementation Defined Attributes [Contents][Index]

4.10 Attribute Constrained ¶

In addition to the usage of this attribute in the Ada RM, GNAT also permits the use of the 'Constrained attribute in a generic template for any type, including types without discriminants. The value of this attribute in the generic instance when applied to a scalar type or a record type without discriminants is always True. This usage is compatible with older Ada compilers, including notably DEC Ada.