Ada 编程/属性/'Valid Value

说明

'Valid_Value 属性定义为 Standard 包中以外的枚举类型。此属性是一个函数，接受一个 String，并返回 Boolean。T'Valid_Value (S) 仅当 T'Value (S) 不会引发 Constraint_Error 时，才返回 True。