Algorithm 5.2 Call-Resolution-Of-CHA

Input: Call site $cs$ .

Output: Possible target methods of $cs$ resolved by CHA.

1:procedure Resolve( $cs$ )

2: $T := \{\}$

3: $m :=$ method signature at $cs$

4:if $cs$ is a static call then

5: $T = \{m\}$

6:end if

7:if $cs$ is a special call then

8: $c^{m} =$ class type of $m$

9: $T = \{$ Dispatch( $c^m, m$ ) $\}$

10:end if

11:if $cs$ is a virtual call then

12: $c :=$ declared type of receiver variable at $cs$

13:for each $c'$ that is a subclass of $c$ or $c$ itself do

14:add Dispatch( $c', m$ ) to $T$

15:end for

16:end if

17:return $T$

18:end procedure