Ada 程式設計/屬性/'型別類

描述

對於任何型別或子型別，typ'Type_Class 會返回完整型別型別類的值。 如果是泛型形式型別，則該值為對應實際子型別的值。 此屬性的值型別為System.Aux_DEC.Type_Class，其定義如下

type Type_Class is
  (Type_Class_Enumeration,
   Type_Class_Integer,
   Type_Class_Fixed_Point,
   Type_Class_Floating_Point,
   Type_Class_Array,
   Type_Class_Record,
   Type_Class_Access,
   Type_Class_Task,
   Type_Class_Address);

保護型別會產生Type_Class_Task值，因此它適用於所有併發型別。 此屬性旨在與同名的 DEC Ada 83 屬性相容。