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

test/tools/javac/lambda/ErroneousLambdaExpr.java@5ddecb91d843 (annotated)

test/tools/javac/lambda/ErroneousLambdaExpr.java

Tue, 12 Mar 2013 16:02:43 +0000

author

mcimadamore

date

Tue, 12 Mar 2013 16:02:43 +0000

changeset 1628

5ddecb91d843

parent 1415

01c9d4161882

child 2000

4a6acc42c3a1

permissions

-rw-r--r--

8009545: Graph inference: dependencies between inference variables should be set during incorporation
Summary: Move all transitivity checks into the incorporation round
Reviewed-by: jjg

mcimadamore@1415	1	/*
mcimadamore@1415	2	* Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
mcimadamore@1415	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
mcimadamore@1415	4	*
mcimadamore@1415	5	* This code is free software; you can redistribute it and/or modify it
mcimadamore@1415	6	* under the terms of the GNU General Public License version 2 only, as
mcimadamore@1415	7	* published by the Free Software Foundation.
mcimadamore@1415	8	*
mcimadamore@1415	9	* This code is distributed in the hope that it will be useful, but WITHOUT
mcimadamore@1415	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
mcimadamore@1415	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
mcimadamore@1415	12	* version 2 for more details (a copy is included in the LICENSE file that
mcimadamore@1415	13	* accompanied this code).
mcimadamore@1415	14	*
mcimadamore@1415	15	* You should have received a copy of the GNU General Public License version
mcimadamore@1415	16	* 2 along with this work; if not, write to the Free Software Foundation,
mcimadamore@1415	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
mcimadamore@1415	18	*
mcimadamore@1415	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
mcimadamore@1415	20	* or visit www.oracle.com if you need additional information or have any
mcimadamore@1415	21	* questions.
mcimadamore@1415	22	*/
mcimadamore@1415	23
mcimadamore@1415	24	/*
mcimadamore@1415	25	* @test
mcimadamore@1415	26	* @bug 8003280
mcimadamore@1415	27	* @summary Add lambda tests
mcimadamore@1415	28	* stale state after speculative attribution round leads to missing classfiles
mcimadamore@1415	29	*/
mcimadamore@1415	30	public class ErroneousLambdaExpr<T> {
mcimadamore@1415	31
mcimadamore@1415	32	static int assertionCount = 0;
mcimadamore@1415	33
mcimadamore@1415	34	static void assertTrue(boolean cond) {
mcimadamore@1415	35	assertionCount++;
mcimadamore@1415	36	if (!cond)
mcimadamore@1415	37	throw new AssertionError();
mcimadamore@1415	38	}
mcimadamore@1415	39
mcimadamore@1415	40	interface SAM1<X> {
mcimadamore@1415	41	X m(X t, String s);
mcimadamore@1415	42	}
mcimadamore@1415	43
mcimadamore@1415	44	interface SAM2 {
mcimadamore@1415	45	void m(String s, int i);
mcimadamore@1415	46	}
mcimadamore@1415	47
mcimadamore@1415	48	interface SAM3<X> {
mcimadamore@1415	49	X m(X t, String s, int i);
mcimadamore@1415	50	}
mcimadamore@1415	51
mcimadamore@1415	52	void call(SAM1<T> s1) { assertTrue(true); }
mcimadamore@1415	53
mcimadamore@1415	54	void call(SAM2 s2) { assertTrue(false); }
mcimadamore@1415	55
mcimadamore@1415	56	void call(SAM3<T> s3) { assertTrue(false); }
mcimadamore@1415	57
mcimadamore@1415	58	public static void main(String[] args) {
mcimadamore@1415	59	ErroneousLambdaExpr<StringBuilder> test =
mcimadamore@1415	60	new ErroneousLambdaExpr<>();
mcimadamore@1415	61
mcimadamore@1415	62	test.call((builder, string) -> { builder.append(string); return builder; });
mcimadamore@1415	63	assertTrue(assertionCount == 1);
mcimadamore@1415	64	}
mcimadamore@1415	65	}