Ada 编程/属性/'已详细说明

描述

'Elaborated 属性的前缀必须是单元名称。该值是一个布尔值，指示给定单元是否已被详细说明。此属性主要用于由生成的代码进行动态详细说明检查的内部使用，但它也可以在用户程序中使用。一旦所有单元的详细说明完成，该值将始终为 True。对于不需要详细说明的单元来说，该值始终为 False。