Ada 编程/属性/'Enabled

描述

Enabled 属性允许应用程序在编译时检查指定的检查当前是否启用。前缀是一个简单的标识符，引用任何预定义的检查名称（除了 All_Checks）或由 pragma Check_Name 引入的检查名称。如果属性没有给出参数，则检查是针对检查的一般状态，如果给出了参数，则它是一个实体名称，并且检查指示是否已给出命名该实体的 Suppress 或 Unsuppress（如果没有，则忽略参数）。

请注意，实例化继承实例化时的检查状态，因此一个有用的习惯用法是在库包中使用 pragma Check_Name 引入一个检查名称，然后包含使用 Enabled 属性查看检查是否启用的泛型包或子程序。此包的用户随后可以在实例化包或子程序之前发出 pragma Suppress 或 pragma Unsuppress，从而控制检查是否存在。