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;