Ada 程式設計/屬性/'Valid Value

說明

'Valid_Value 屬性定義為 Standard 包中以外的列舉型別。此屬性是一個函式，接受一個 String，並返回 Boolean。T'Valid_Value (S) 僅當 T'Value (S) 不會引發 Constraint_Error 時，才返回 True。