手続引用中の手続名は,総称または個別として確立されているか,確立されていないかのいずれかになります。手続引用の解決の規則は,その手続が確立されているかどうか,またそれがどのように確立されているかに依存します。
本節では,以下について説明しています。
総称名の引用
個別名の引用
確立されていない名前の引用