Ada 程式設計/屬性/'Enabled

描述

Enabled 屬性允許應用程式在編譯時檢查指定的檢查當前是否啟用。字首是一個簡單的識別符號，引用任何預定義的檢查名稱（除了 All_Checks）或由 pragma Check_Name 引入的檢查名稱。如果屬性沒有給出引數，則檢查是針對檢查的一般狀態，如果給出了引數，則它是一個實體名稱，並且檢查指示是否已給出命名該實體的 Suppress 或 Unsuppress（如果沒有，則忽略引數）。

請注意，例項化繼承例項化時的檢查狀態，因此一個有用的習慣用法是在庫包中使用 pragma Check_Name 引入一個檢查名稱，然後包含使用 Enabled 屬性檢視檢查是否啟用的泛型包或子程式。此包的使用者隨後可以在例項化包或子程式之前發出 pragma Suppress 或 pragma Unsuppress，從而控制檢查是否存在。