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

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

test/tools/javac/lambda/LambdaExpr02.java

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

author

rfield

date

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

changeset 1752

c09b7234cded

parent 0

959103a6100f

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

aoqi@0	1	/*
aoqi@0	2	* Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved.
aoqi@0	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0	4	*
aoqi@0	5	* This code is free software; you can redistribute it and/or modify it
aoqi@0	6	* under the terms of the GNU General Public License version 2 only, as
aoqi@0	7	* published by the Free Software Foundation.
aoqi@0	8	*
aoqi@0	9	* This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
aoqi@0	12	* version 2 for more details (a copy is included in the LICENSE file that
aoqi@0	13	* accompanied this code).
aoqi@0	14	*
aoqi@0	15	* You should have received a copy of the GNU General Public License version
aoqi@0	16	* 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0	18	*
aoqi@0	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0	20	* or visit www.oracle.com if you need additional information or have any
aoqi@0	21	* questions.
aoqi@0	22	*/
aoqi@0	23
aoqi@0	24	/*
aoqi@0	25	* @test
aoqi@0	26	* @bug 8003280
aoqi@0	27	* @summary Add lambda tests
aoqi@0	28	* basic test for simple lambda expressions in multiple scopes
aoqi@0	29	* @author Brian Goetz
aoqi@0	30	* @author Maurizio Cimadamore
aoqi@0	31	* @run main LambdaExpr01
aoqi@0	32	*/
aoqi@0	33
aoqi@0	34	public class LambdaExpr02 {
aoqi@0	35
aoqi@0	36	static int assertionCount = 0;
aoqi@0	37
aoqi@0	38	static void assertTrue(boolean cond) {
aoqi@0	39	assertionCount++;
aoqi@0	40	if (!cond)
aoqi@0	41	throw new AssertionError();
aoqi@0	42	}
aoqi@0	43
aoqi@0	44	interface S_int {
aoqi@0	45	int m();
aoqi@0	46	}
aoqi@0	47
aoqi@0	48	interface S_Integer {
aoqi@0	49	Integer m();
aoqi@0	50	}
aoqi@0	51
aoqi@0	52	interface S_int_int {
aoqi@0	53	int m(int i);
aoqi@0	54	}
aoqi@0	55
aoqi@0	56	interface S_Integer_int {
aoqi@0	57	int m(Integer i);
aoqi@0	58	}
aoqi@0	59
aoqi@0	60	interface S_int_Integer {
aoqi@0	61	Integer m(int i);
aoqi@0	62	}
aoqi@0	63
aoqi@0	64	interface S_Integer_Integer {
aoqi@0	65	Integer m(Integer i);
aoqi@0	66	}
aoqi@0	67
aoqi@0	68	static {
aoqi@0	69	S_int s_i = ()-> { return 3; };
aoqi@0	70	assertTrue(3 == s_i.m());
aoqi@0	71	S_Integer s_I = ()-> { return 3; };
aoqi@0	72	assertTrue(3 == s_I.m());
aoqi@0	73	S_int_int s_i_i = (int x) -> { return x + 1; };
aoqi@0	74	assertTrue(4 == s_i_i.m(3));
aoqi@0	75	S_int_Integer s_i_I = (int x) -> { return x + 1; };
aoqi@0	76	assertTrue(4 == s_i_I.m(3));
aoqi@0	77	S_Integer_int s_I_i = (Integer x) -> { return x.intValue() + 1; };
aoqi@0	78	assertTrue(4 == s_I_i.m(3));
aoqi@0	79	S_Integer_Integer s_I_I = (Integer x) -> { return x.intValue() + 1; };
aoqi@0	80	assertTrue(4 == s_I_I.m(3));
aoqi@0	81	}
aoqi@0	82
aoqi@0	83	{
aoqi@0	84	S_int s_i = ()-> { return 3; };
aoqi@0	85	assertTrue(3 == s_i.m());
aoqi@0	86	S_Integer s_I = ()-> { return 3; };
aoqi@0	87	assertTrue(3 == s_I.m());
aoqi@0	88	S_int_int s_i_i = (int x) -> { return x + 1; };
aoqi@0	89	assertTrue(4 == s_i_i.m(3));
aoqi@0	90	S_int_Integer s_i_I = (int x) -> { return x + 1; };
aoqi@0	91	assertTrue(4 == s_i_I.m(3));
aoqi@0	92	S_Integer_int s_I_i = (Integer x) -> { return x.intValue() + 1; };
aoqi@0	93	assertTrue(4 == s_I_i.m(3));
aoqi@0	94	S_Integer_Integer s_I_I = (Integer x) -> { return x.intValue() + 1; };
aoqi@0	95	assertTrue(4 == s_I_I.m(3));
aoqi@0	96	}
aoqi@0	97
aoqi@0	98	static void test1() {
aoqi@0	99	S_int s_i = ()-> { return 3; };
aoqi@0	100	assertTrue(3 == s_i.m());
aoqi@0	101	S_Integer s_I = ()-> { return 3; };
aoqi@0	102	assertTrue(3 == s_I.m());
aoqi@0	103	S_int_int s_i_i = (int x) -> { return x + 1; };
aoqi@0	104	assertTrue(4 == s_i_i.m(3));
aoqi@0	105	S_int_Integer s_i_I = (int x) -> { return x + 1; };
aoqi@0	106	assertTrue(4 == s_i_I.m(3));
aoqi@0	107	S_Integer_int s_I_i = (Integer x) -> { return x.intValue() + 1; };
aoqi@0	108	assertTrue(4 == s_I_i.m(3));
aoqi@0	109	S_Integer_Integer s_I_I = (Integer x) -> { return x.intValue() + 1; };
aoqi@0	110	assertTrue(4 == s_I_I.m(3));
aoqi@0	111	}
aoqi@0	112
aoqi@0	113	void test2() {
aoqi@0	114	S_int s_i = ()-> { return 3; };
aoqi@0	115	assertTrue(3 == s_i.m());
aoqi@0	116	S_Integer s_I = ()-> { return 3; };
aoqi@0	117	assertTrue(3 == s_I.m());
aoqi@0	118	S_int_int s_i_i = (int x) -> { return x + 1; };
aoqi@0	119	assertTrue(4 == s_i_i.m(3));
aoqi@0	120	S_int_Integer s_i_I = (int x) -> { return x + 1; };
aoqi@0	121	assertTrue(4 == s_i_I.m(3));
aoqi@0	122	S_Integer_int s_I_i = (Integer x) -> { return x.intValue() + 1; };
aoqi@0	123	assertTrue(4 == s_I_i.m(3));
aoqi@0	124	S_Integer_Integer s_I_I = (Integer x) -> { return x.intValue() + 1; };
aoqi@0	125	assertTrue(4 == s_I_I.m(3));
aoqi@0	126	}
aoqi@0	127
aoqi@0	128	public static void main(String[] args) {
aoqi@0	129	test1();
aoqi@0	130	new LambdaExpr02().test2();
aoqi@0	131	assertTrue(assertionCount == 24);
aoqi@0	132	}
aoqi@0	133	}