此属性只能应用于程序单元名称。它返回对应于用于细化引用单元体的正文的细化过程的实体。这在绑定程序生成的 main 细化过程中使用,通常不在任何其他上下文中使用。但是,在某些特殊情况下,从 Ada 代码调用此细化过程可能很有用,例如,如果需要进行选择性重新细化以修复某些错误。