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


4.74 Attribute Valid_Image

The 'Valid_Image 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_Image (S) returns True if and only if T'Value (S) would not raise Constraint_Error.