Hi Paul,

On 1/02/2018 2:48 AM, Paul Sandoz wrote:
On Jan 30, 2018, at 7:22 PM, David Holmes <david.hol...@oracle.com> wrote:
On 31/01/2018 12:24 PM, Paul Sandoz wrote:
On Jan 30, 2018, at 1:55 AM, David Holmes <david.hol...@oracle.com 
<mailto:david.hol...@oracle.com>> wrote:
      MethodHandle API Changes:

- java/lang/invoke/MethodHandle.java
   * A non-virtual method handle to a specific virtual method implementation
   * can also be created.  These do not perform virtual lookup based on
   * receiver type.  Such a method handle simulates the effect of
- * an {@code invokespecial} instruction to the same method.
+ * an {@code invokespecial} instruction to the same non-private method;
+ * or an {@code invokevirtual} or {@code invokeinterface} instruction to the
+ * same private method (as applicable).

I tried to clarify that non-virtual invocations are not limited to 
invokespecial - as private invocations via invokevirtual or invokeinterface are 
also non-virtual.


Why s/same method/same non-private method/ for the invokespecial?
It’s possible to look up a private method within the same class using 
Lookup.invokespecial and invoke it (and also look up a private constructor and 
invoke it).

Yes you are right, but this text is not trying to describe how an invokespecial 
might be used, but rather how "A non-virtual method handle to a specific 
virtual method implementation can also be created.”


Ok, i see now.


But the notion of "specific virtual method implementation" is perhaps not 
applicable to private methods in the first place.

Perhaps I just need to remove this change altogether and leave it as-is.


I would be inclined just to leave it as is.

I decided to restore the original text and then add the following - as I do want to make it clear that non-virtual is not restricted to invokespecial:

* A non-virtual method handle can also be created to simulate the effect
* of an {@code invokevirtual} or {@code invokeinterface} instruction on
* a private method (as applicable).

I have updated specdiffs for all of the changes here:

http://cr.openjdk.java.net/~dholmes/8010319/specs/java.lang/overview-summary.html
http://cr.openjdk.java.net/~dholmes/8010319/specs/java.lang.invoke/overview-summary.html
http://cr.openjdk.java.net/~dholmes/8010319/specs/java.lang.reflect/overview-summary.html

Please ignore the spurious "version" changes.

Thanks,
David
-----

Paul.

Reply via email to