methods - Ada リファレンスマニュアルのメソッド呼び出しスタイルのサブプログラム呼び出し

Question

Ada にメソッド呼び出しスタイルのサブプログラム呼び出しがあることは理解していますが、リファレンス マニュアルにはそれに関する記述がありません。

誰かが私に対応するセクションを教えてもらえますか?

Answer 1

「メソッド呼び出しスタイルのサブプログラム呼び出し」とは、「object.method(parameters)」呼び出しスタイルを意味すると思います。

これは、サブプログラムの呼び出しセクションでは扱われておらず、4.1.3、選択されたコンポーネント、パラグラフ 9.1/2 および 9.2/2 で扱われています。引用：

• selected_component ::= プレフィックス . セレクター名
• selector_name ::= 識別子 | 文字リテラル | operator_symbol

プレフィックスは (暗黙的な逆参照の後)、特定のタグ付き型 T またはクラス全体の型 T'Class のオブジェクトまたは値を示すように解決されます。selector_name は、型 T の祖先が宣言されている宣言領域内ですぐに宣言されたサブプログラムのビューを示すために解決されます。