Algorithm 5.1 Method-Dispatch-Of-Virtual-Calls

Input: Type $c$ of receiver object and method signature $m$ at call site.

Output: The signature of target method.

1:procedure Dispatch( $c,m$ )

2:if $c$ contains non-abstract method $m'$ that has the same name and descriptor as $m$ then

3:return $m'$

4:else

5:Let $c'$ be the superclass of $c$ .

6:return Dispatch( $c', m$ )

7:end if

8:end procedure