Ada 程式設計/屬性/'Elab Spec

此屬性只能應用於程式單元名稱。它返回對應精細說明過程的實體，用於精細說明引用的單元的規範。這在粘合器生成的主精細說明過程中使用，並且通常不會在任何其他上下文中使用。然而，在某些特定情況下，能夠從 Ada 程式碼呼叫此精細說明過程非常有用，例如，如果需要做選擇性重新精細說明來修復某些錯誤。