Ada 程式設計/屬性/'已詳細說明

描述

'Elaborated 屬性的字首必須是單元名稱。該值是一個布林值，指示給定單元是否已被詳細說明。此屬性主要用於由生成的程式碼進行動態詳細說明檢查的內部使用，但它也可以在使用者程式中使用。一旦所有單元的詳細說明完成，該值將始終為 True。對於不需要詳細說明的單元來說，該值始終為 False。