Ada 程式設計/屬性/'Enum Val

此語言特性已在 Ada 2022 中引入。

描述

返回由給定數字表示的列舉文字。

對於每個列舉子型別 S，S'Enum_Val 表示一個具有以下規範的函式

function S'Enum_Val (Arg : <Universal_Integer>) return S'Base;

該函式返回與引數匹配的表示形式的列舉值，如果該型別的列舉文字沒有匹配的值，則會引發 Constraint_Error。這將等於在沒有列舉表示子句的情況下 Val 屬性的值。這是一個靜態屬性（即，如果引數是靜態的，則結果是靜態的）。

type Enum_Type is (Enum1, Enum2, Enum3);

pragma Assert (Enum_Type'Enum_Val(0) = Enum1);  -- OK