Ada 编程/属性/'Elab Spec

此属性只能应用于程序单元名称。它返回对应精细说明过程的实体，用于精细说明引用的单元的规范。这在粘合器生成的主精细说明过程中使用，并且通常不会在任何其他上下文中使用。然而，在某些特定情况下，能够从 Ada 代码调用此精细说明过程非常有用，例如，如果需要做选择性重新精细说明来修复某些错误。