Methods Ada参考手册中的方法调用样式子程序调用

我知道Ada中有一个方法调用风格的子程序调用，但是，我在参考手册中找不到关于它的任何内容

有人能给我指出相应的部分吗？

通过“方法调用样式子程序调用”，我想你指的是“object.method（parameters）”调用样式

在子程序调用一节中没有提到这一点，人们可能会想到，但是在第9.1/2和9.2/2段中有提到。引述：

• 所选组件：：=前缀。选择器名称
• 选择器\名称：：=标识符\字符\文字\运算符\符号

前缀（在任何隐式解引用之后）应解析为表示特定标记类型T或类范围类型T'class的对象或值。选择器名称应解析为表示在声明区域内立即声明的子程序视图，在声明区域中声明了T类型的祖先。

另请参见。