hg: valhalla/valhalla/langtools: Add type-system and codegen support for __WhereVal(X) construct.

[maurizio.cimadamore at oracle.com]

Changeset: f5d5382b9eec
Author:    mcimadamore
Date:      2014-11-14 17:16 +0000
URL:       http://hg.openjdk.java.net/valhalla/valhalla/langtools/rev/f5d5382b9eec

Add type-system and codegen support for __WhereVal(X) construct.

! src/jdk.compiler/share/classes/com/sun/tools/javac/code/Flags.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/code/Symtab.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/code/Type.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/code/TypeTag.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/code/Types.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Check.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/MemberEnter.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Gen.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Items.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/util/RichDiagnosticFormatter.java
! test/tools/javac/valhalla/typespec/TestRefOnly02.java
+ test/tools/javac/valhalla/typespec/TestValOnly01.java
+ test/tools/javac/valhalla/typespec/TestValOnly01.out
+ test/tools/javac/valhalla/typespec/TestValOnly02.java
+ test/tools/javac/valhalla/typespec/TestValOnly02.out
+ test/tools/javac/valhalla/typespec/TestValOnly03.java
+ test/tools/javac/valhalla/typespec/TestValOnly03.out
+ test/tools/javac/valhalla/typespec/items/tests/TestValOnly.java