Request for reviews (M): 6939134: JSR 292 adjustments to method handle invocation

[Rémi Forax]

Le 01/04/2010 01:02, John Rose a écrit :
> http://cr.openjdk.java.net/~jrose/6939134/lt-webrev.00
>
> This review request is specifically for JVM changes.  They will be coordinated with the following JDK and javac changes:
>   http://cr.openjdk.java.net/~jrose/6939134/hs-webrev.00/
>   http://cr.openjdk.java.net/~jrose/6939134/hs-webrev.00/
>
> Details:
>
> 6939134: JSR 292 adjustments to method handle invocation
> Summary: split MethodHandle.invoke into invokeExact and invokeGeneric
> Mark the special signature-polymorpic methods and classes with @PolymorphicSignature.
> Reviewed-by: ?
>
> The JSR 292 EG has decided to split MethodHandle.invoke into two
> methods, invokeExact and invokeGeneric.  Adjust javac so that it uses
> a marker annotation (@PolymorphicSignature) to recognize which methods
> are signature-polymorphic.  Remove hard-coded recognition of
> MethodHandle.invoke and InvokeDynamic.
>
>    

John,
I don't like the annotation @PolymorphicSignature.
it opens user defined holes in the type system.

Rémi