methods - Ada 引用手册中的方法调用样式子程序调用

Question

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

有人可以指出我相应的部分吗？

Answer 1

通过“方法调用样式子程序调用”，我假设您指的是“object.method(parameters)”调用样式。

这并没有在子程序调用部分中解决，人们可能会想到这一点，而是在 4.1.3, Selected Components 中解决。 、第 9.1/2 和 9.2/2 段。引用:

• selected_component::= 前缀 。选择器名称
• 选择器名称::= 标识符 |字符_文字 |运算符_符号

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