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

Next: Attribute Valid_Scalars, Previous: Attribute Update, Up: Implementation Defined Attributes [Contents][Index]

4.73 Attribute Valid_Value ¶

The 'Valid_Value attribute is defined for enumeration types other than those in package Standard. This attribute is a function that takes a String, and returns Boolean. T'Valid_Value (S) returns True if and only if T'Value (S) would not raise Constraint_Error.