hg: valhalla/valhalla/langtools: Refine support for specialized generic methods

maurizio.cimadamore at oracle.com maurizio.cimadamore at oracle.com
Tue Sep 2 13:23:52 UTC 2014


Changeset: 5f89597744f1
Author:    mcimadamore
Date:      2014-09-02 14:23 +0100
URL:       http://hg.openjdk.java.net/valhalla/valhalla/langtools/rev/5f89597744f1

Refine support for specialized generic methods
* BytecodeMapping for invokedynamic now mentions fully instantiated method type
* BytecodeMapping now generated in all cases of specialized generic method call
* Refine definition of specialized generic method call to include 'any' tvars instantiations
* Add more tests

Todo:
Fully instantiated generic method types is needed even if call is not 'specialized',
as that can be useful to keep propagating unerased types and generate further
BytecodeMapping attrs.

! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/SpecializeTypes.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Items.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/tree/JCTree.java
! test/tools/javac/valhalla/typespec/items/tests/TestIndy.java
+ test/tools/javac/valhalla/typespec/items/tests/TestIndyFactory.java



More information about the valhalla-dev mailing list