test/tools/javac/lambda/Intersection02.java

Tue, 14 May 2013 11:11:09 -0700

author
rfield
date
Tue, 14 May 2013 11:11:09 -0700
changeset 1752
c09b7234cded
parent 1653
f3814edefb33
child 2227
998b10c43157
permissions
-rw-r--r--

8012556: Implement lambda methods on interfaces as static
8006140: Javac NPE compiling Lambda expression on initialization expression of static field in interface
Summary: Lambdas occurring in static contexts or those not needing instance information should be generated into static methods. This has long been the case for classes. However, as a work-around to the lack of support for statics on interfaces, interface lambda methods have been generated into default methods. For lambdas in interface static contexts (fields and static methods) this causes an NPE in javac because there is no 'this'. MethodHandles now support static methods on interfaces. This changeset allows lambda methods to be generated as static interface methods. An existing bug in Hotspot (8013875) is exposed in a test when the "-esa" flag is used. This test and another test that already exposed this bug have been marked with @ignore.
Reviewed-by: mcimadamore

mcimadamore@1653 1 /*
mcimadamore@1653 2 * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
mcimadamore@1653 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
mcimadamore@1653 4 *
mcimadamore@1653 5 * This code is free software; you can redistribute it and/or modify it
mcimadamore@1653 6 * under the terms of the GNU General Public License version 2 only, as
mcimadamore@1653 7 * published by the Free Software Foundation.
mcimadamore@1653 8 *
mcimadamore@1653 9 * This code is distributed in the hope that it will be useful, but WITHOUT
mcimadamore@1653 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
mcimadamore@1653 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
mcimadamore@1653 12 * version 2 for more details (a copy is included in the LICENSE file that
mcimadamore@1653 13 * accompanied this code).
mcimadamore@1653 14 *
mcimadamore@1653 15 * You should have received a copy of the GNU General Public License version
mcimadamore@1653 16 * 2 along with this work; if not, write to the Free Software Foundation,
mcimadamore@1653 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
mcimadamore@1653 18 *
mcimadamore@1653 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
mcimadamore@1653 20 * or visit www.oracle.com if you need additional information or have any
mcimadamore@1653 21 * questions.
mcimadamore@1653 22 */
mcimadamore@1653 23
mcimadamore@1653 24 /*
mcimadamore@1653 25 * @test
mcimadamore@1653 26 * @bug 8010101
mcimadamore@1653 27 * @summary Intersection type cast issues redundant unchecked warning
mcimadamore@1653 28 * @compile/fail/ref=Intersection02.out -Werror -Xlint:unchecked -XDrawDiagnostics Intersection02.java
mcimadamore@1653 29 */
mcimadamore@1653 30 import java.io.Serializable;
mcimadamore@1653 31 import java.util.List;
mcimadamore@1653 32
mcimadamore@1653 33 class Intersection02 {
mcimadamore@1653 34
mcimadamore@1653 35 interface P<X> { }
mcimadamore@1653 36
mcimadamore@1653 37 void test(List<String> ls) {
mcimadamore@1653 38 Object o1 = (List<String> & Serializable)ls;
mcimadamore@1653 39 Object o2 = (List<String> & Serializable & P<String>)ls;
mcimadamore@1653 40 }
mcimadamore@1653 41 }

mercurial