hg: valhalla/valhalla/langtools: Add classfile support for 'any' type-variables

maurizio.cimadamore at oracle.com maurizio.cimadamore at oracle.com
Tue Jul 22 11:19:28 UTC 2014


Changeset: 84aad1e3da3b
Author:    mcimadamore
Date:      2014-07-22 12:16 +0100
URL:       http://hg.openjdk.java.net/valhalla/valhalla/langtools/rev/84aad1e3da3b

Add classfile support for 'any' type-variables
*) Addded TypeVariablesMap attribute to store extra type-variable flags in classfile
*) Add ClassReader support for new attribute (to support separate compilation)
*) Tweak cast rules to issue unchecked warning on Any -> Object cast
*) Disallow explicit declared bounds on 'any' type-variables
*) Remove redundant type-parameter well-formedness check in method call attribution
*) Add basic separate compilation test

! 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/jvm/ClassReader.java
! src/share/classes/com/sun/tools/javac/jvm/ClassWriter.java
! src/share/classes/com/sun/tools/javac/resources/compiler.properties
! src/share/classes/com/sun/tools/javac/util/Names.java
+ test/tools/javac/diags/examples/AnyTypeVarMayNotDeclareExplicitBounds.java
! test/tools/javac/valhalla/typespec/Any.java
+ test/tools/javac/valhalla/typespec/Any.out
! test/tools/javac/valhalla/typespec/Cast01.java
! test/tools/javac/valhalla/typespec/Cast01.out
+ test/tools/javac/valhalla/typespec/separate/A.java
+ test/tools/javac/valhalla/typespec/separate/TestSeparate.java
+ test/tools/javac/valhalla/typespec/separate/TestSeparate.out



More information about the valhalla-dev mailing list