Ada 编程/属性/'Elab 子程序体

描述

此属性只能应用于库级子程序名称，并且仅在 CodePeer 模式下允许使用。它返回与用于细化引用子程序单元体的细化过程相对应的实体。这仅在 CodePeer 模式下由绑定器在主生成的细化过程中使用，否则无法识别。