Algorithm for static binding

[Matthias Kleine]

Hi there,

in the Java Language Spec, chapter 15.12, there is a rather exhausting description of the compile-time steps which are done to bind a method invocation to a declaration. This description might be precise and complete, but I find it quite difficult to use as a starting point for implementing a static binding algorithm.

In the JustAddJ compiler, I found an aspect for this method lookup. However, even this aspect is not what I am looking for, especially due to its declarative (instead of purely procedural) nature.

I searched the web for some easy-to-read-and-understand procedural descripiton of the static binding algorithm, but I was astonished not to find some.

Did anybody of you guys (and girls) ever see such a description. I would even accept a simplified version of it, which might not be complete in respect to some special issues like type erasure. But I would be glad to get an entry point to this issue.

Best regards
Matthias