Ada Programming/Attributes/'Valid Value

Description
The  attribute is defined for enumeration types other than those in package Standard. This attribute is a function that takes a String, and returns Boolean. returns True if and only if  would not raise Constraint_Error.