hg: valhalla/valhalla/langtools: Add support for geeric instanceof/array creation

maurizio.cimadamore at oracle.com maurizio.cimadamore at oracle.com
Fri Aug 15 14:12:34 UTC 2014


Changeset: cc23c3ed7814
Author:    mcimadamore
Date:      2014-08-15 15:08 +0100
URL:       http://hg.openjdk.java.net/valhalla/valhalla/langtools/rev/cc23c3ed7814

Add support for geeric instanceof/array creation
*) Redefine behavior of Types.isReifiable. Now fully specialized classes are treated as reifiable types.
*) Redefine rules for valid instance tests and array creation. Now it's possible to create i.e. an array of Z where Z is an 'any' type-variable
*) Add BytecodeMapping support for new features
*) Add new tests

! src/share/classes/com/sun/tools/javac/code/Types.java
! src/share/classes/com/sun/tools/javac/comp/Attr.java
! src/share/classes/com/sun/tools/javac/comp/Check.java
! src/share/classes/com/sun/tools/javac/jvm/Gen.java
! src/share/classes/com/sun/tools/javac/jvm/Items.java
! src/share/classes/com/sun/tools/javac/resources/compiler.properties
+ test/tools/javac/diags/examples/UncheckedGenericInstanceof.java
+ test/tools/javac/valhalla/typespec/Cast02.java
+ test/tools/javac/valhalla/typespec/Cast02.out
+ test/tools/javac/valhalla/typespec/Instanceof01.java
+ test/tools/javac/valhalla/typespec/Instanceof01.out
! test/tools/javac/valhalla/typespec/items/Opcodes.java
+ test/tools/javac/valhalla/typespec/items/tests/TestInstanceof.java
+ test/tools/javac/valhalla/typespec/items/tests/TestNewArray.java



More information about the valhalla-dev mailing list