• file
• revisions
• annotate
• diff
• comparison
• raw

test/tools/javac/lambda/TargetType69.java@c09b7234cded (annotated)

test/tools/javac/lambda/TargetType69.java

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

author

rfield

date

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

changeset 1752

c09b7234cded

parent 1695

6dacab087652

child 2525

2eb010b6cb22

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@1655	1	/*
mcimadamore@1655	2	* Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
mcimadamore@1655	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
mcimadamore@1655	4	*
mcimadamore@1655	5	* This code is free software; you can redistribute it and/or modify it
mcimadamore@1655	6	* under the terms of the GNU General Public License version 2 only, as
mcimadamore@1655	7	* published by the Free Software Foundation.
mcimadamore@1655	8	*
mcimadamore@1655	9	* This code is distributed in the hope that it will be useful, but WITHOUT
mcimadamore@1655	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
mcimadamore@1655	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
mcimadamore@1655	12	* version 2 for more details (a copy is included in the LICENSE file that
mcimadamore@1655	13	* accompanied this code).
mcimadamore@1655	14	*
mcimadamore@1655	15	* You should have received a copy of the GNU General Public License version
mcimadamore@1655	16	* 2 along with this work; if not, write to the Free Software Foundation,
mcimadamore@1655	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
mcimadamore@1655	18	*
mcimadamore@1655	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
mcimadamore@1655	20	* or visit www.oracle.com if you need additional information or have any
mcimadamore@1655	21	* questions.
mcimadamore@1655	22	*/
mcimadamore@1655	23
mcimadamore@1655	24	/*
mcimadamore@1655	25	* @test
mcimadamore@1655	26	* @bug 8010303
mcimadamore@1655	27	* @summary Graph inference: missing incorporation step causes spurious inference error
mcimadamore@1695	28	* @compile TargetType69.java
mcimadamore@1655	29	*/
mcimadamore@1655	30	import java.util.*;
mcimadamore@1655	31
mcimadamore@1695	32	class TargetType69 {
mcimadamore@1655	33
mcimadamore@1655	34	interface Function<X,Y> {
mcimadamore@1655	35	Y m(X x);
mcimadamore@1655	36	}
mcimadamore@1655	37
mcimadamore@1655	38	abstract class TabulationAssertion<T, U> { }
mcimadamore@1655	39
mcimadamore@1655	40	class GroupedMapAssertion<K, M1 extends Map<K, ?>> extends TabulationAssertion<Integer, M1> {
mcimadamore@1655	41	GroupedMapAssertion(Function<Integer, K> classifier) { }
mcimadamore@1655	42	}
mcimadamore@1655	43
mcimadamore@1655	44
mcimadamore@1655	45	<T, M2 extends Map> void exerciseMapTabulation(Function<T, ? extends M2> collector,
mcimadamore@1655	46	TabulationAssertion<T, M2> assertion) { }
mcimadamore@1655	47
mcimadamore@1655	48	void test(Function<Integer, Integer> classifier, Function<Integer, Map<Integer, List<Integer>>> coll) {
mcimadamore@1655	49	exerciseMapTabulation(coll, new GroupedMapAssertion<>(classifier));
mcimadamore@1655	50	}
mcimadamore@1655	51	}