15.12.1. Compile-time Step 1:determine Class or Interface to Search
15.12.2. Compile-time Step 2:determine Method Signature 15.12.2.1. Identify potentially applicable Methods15.12.2.2. Phase 1:identify Matching Arity Methods applicable by subtyping 15.12.2.3. Phase 2:identify Matching Arity Methods applicable by Method invocation Conversion 15.12.2.4. Phase 3:identify applicable Variable Arity Methods15.12.2.5. Choosing the most specific Method 15.12.2.6. Method Result and Throws Types15.12.2.7. Inferring Type Arguments Based on Actual Arguments 15.12.2.8. Inferring unresolved Type Arguments
15.12.3. Compile-time Step 3:is The Chosen Method appropriate? 15.12.4. Run-time Evaluation of Method invocation 15.12.4.1. Compute Target Reference (If necessary) 15.12.4.2. Evaluate Arguments 15.12.4.3. Check accessibility of Type and Method 15.12.4.4. Locate Method to Invoke 15.12.4.5. Create Frame, Synchronize, Transfer Control
Javac's method invocation Expressions