411 REFERENCE · Wikibooks
Ada Programming/Attributes/'Valid Value
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Description
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.