에이다 절차의 첫 번째 형식 매개 변수 Ada2012 참조 설명서에서

Question

:

arm2012.html/RM-4-1-3.html

확장 된 이름을 표시하기 위해 해결해야되지 않은 selected_component 다음 :

• 모국어가 파라미터 태깅 형 또는 그의 지정 형 태그 된 액세스 파라미터 서브 프로그램의보기 :

첫 번째 형식 매개 변수에만 사용하는 것이 중요한 이유는 무엇입니까?

예를 들어 설명해주십시오.

Answer 1

4.1.3 Selected Components, 9.1/2의 정의는 포함 된 패키지를 명시 적으로 언급하지 않고 태그가 지정된 유형의 기본 연산을 호출 할 수 있도록 prefixed notation을 제공합니다. 관련 예제는 here입니다.