枚舉子範圍在ADA

Question

在現有ADA代碼，我發現這兩條線：

type SWITCH_TYPE is (TI1, TO3, TI2, TO1, TI3, TO2); 
subtype TI_SWITCH_TYPE is SWITCH_TYPE range TI1..TI2; 
subtype TO_SWITCH_TYPE is SWITCH_TYPE range TO1..TO2; 

是對TI_SWITCH_TYPE的TO3一部分？同樣，TI3是TO_SWITCH_TYPE的一部分嗎？

Answer 1

是的，他們是。枚舉值按照它們定義的方式排序，並且可以具有這樣的範圍。這些名稱對訂購無關緊要。

Answer 2

如上，但知道有2012阿達，人們甚至可以限定不連續的枚舉亞型，例如：上Subtype Predicates

type Animal is 
(Bear, Cat, Dog, Wolf, Horse); 

subtype Pet is Animal 
    with Static_Predicate => Pet in Cat | Dog | Horse; 

阿達理由討論。