Ada 程式設計/屬性/'庫級

描述

P'Library_Level，其中 P 是一個實體名稱，返回一個布林值，如果該實體在庫級別宣告，則為 True，否則為 False。請注意，在泛型例項化中，泛型單元的名稱表示例項，這意味著此屬性可用於測試泛型是否在庫級別例項化，如以下示例所示

generic
  ...
package Gen is
  pragma Compile_Time_Error
    (not Gen'Library_Level,
     "Gen can only be instantiated at library level");
  ...
end Gen;