Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
I understand that there is a method invocation style subprogram call in Ada, however, I can’t find anything on it in the Reference Manual.
Could someone please point me to the corresponding section?
By “method invocation style subprogram call” I assume you mean the “object.method(parameters)” invocation style.
This is not addressed in the Subprogram invocation section, where one might’ve thought, but instead is in 4.1.3, Selected Components, paragraphs 9.1/2 and 9.2/2. Quoting:
The prefix (after any implicit dereference) shall resolve to denote an object or value of a specific tagged type T or class-wide type T’Class. The selector_name shall resolve to denote a view of a subprogram declared immediately within the declarative region in which an ancestor of the type T is declared.