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

test/tools/javac/lambda/TargetType51.java@7873d37f5b37 (annotated)

test/tools/javac/lambda/TargetType51.java

Mon, 21 Jan 2013 20:13:56 +0000

author

mcimadamore

date

Mon, 21 Jan 2013 20:13:56 +0000

changeset 1510

7873d37f5b37

child 1562

2154ed9ff6c8

permissions

-rw-r--r--

8005244: Implement overload resolution as per latest spec EDR
Summary: Add support for stuck expressions and provisional applicability
Reviewed-by: jjg

mcimadamore@1510	1	/*
mcimadamore@1510	2	* Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
mcimadamore@1510	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
mcimadamore@1510	4	*
mcimadamore@1510	5	* This code is free software; you can redistribute it and/or modify it
mcimadamore@1510	6	* under the terms of the GNU General Public License version 2 only, as
mcimadamore@1510	7	* published by the Free Software Foundation.
mcimadamore@1510	8	*
mcimadamore@1510	9	* This code is distributed in the hope that it will be useful, but WITHOUT
mcimadamore@1510	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
mcimadamore@1510	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
mcimadamore@1510	12	* version 2 for more details (a copy is included in the LICENSE file that
mcimadamore@1510	13	* accompanied this code).
mcimadamore@1510	14	*
mcimadamore@1510	15	* You should have received a copy of the GNU General Public License version
mcimadamore@1510	16	* 2 along with this work; if not, write to the Free Software Foundation,
mcimadamore@1510	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
mcimadamore@1510	18	*
mcimadamore@1510	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
mcimadamore@1510	20	* or visit www.oracle.com if you need additional information or have any
mcimadamore@1510	21	* questions.
mcimadamore@1510	22	*/
mcimadamore@1510	23
mcimadamore@1510	24	/*
mcimadamore@1510	25	* @test
mcimadamore@1510	26	* @summary smoke test for combinator-like stuck analysis
mcimadamore@1510	27	* @author Maurizio Cimadamore
mcimadamore@1510	28	* @compile TargetType51.java
mcimadamore@1510	29	*/
mcimadamore@1510	30
mcimadamore@1510	31	import java.util.Comparator;
mcimadamore@1510	32
mcimadamore@1510	33	class TargetType51 {
mcimadamore@1510	34
mcimadamore@1510	35	interface SimpleMapper<T, U> {
mcimadamore@1510	36	T map(U t);
mcimadamore@1510	37	}
mcimadamore@1510	38
mcimadamore@1510	39	interface SimpleList<X> {
mcimadamore@1510	40	SimpleList<X> sort(Comparator<? super X> c);
mcimadamore@1510	41	}
mcimadamore@1510	42
mcimadamore@1510	43	static class Person {
mcimadamore@1510	44	String getName() { return ""; }
mcimadamore@1510	45	}
mcimadamore@1510	46
mcimadamore@1510	47	<T, U extends Comparable<? super U>> Comparator<T> comparing(SimpleMapper<U, T> mapper) { return null; }
mcimadamore@1510	48
mcimadamore@1510	49	static class F<U extends Comparable<? super U>, T> {
mcimadamore@1510	50	F(SimpleMapper<U, T> f) { }
mcimadamore@1510	51	}
mcimadamore@1510	52
mcimadamore@1510	53	void testAssignmentContext(SimpleList<Person> list, boolean cond) {
mcimadamore@1510	54	SimpleList<Person> p1 = list.sort(comparing(Person::getName));
mcimadamore@1510	55	SimpleList<Person> p2 = list.sort(comparing(x->x.getName()));
mcimadamore@1510	56	SimpleList<Person> p3 = list.sort(cond ? comparing(Person::getName) : comparing(x->x.getName()));
mcimadamore@1510	57	SimpleList<Person> p4 = list.sort((cond ? comparing(Person::getName) : comparing(x->x.getName())));
mcimadamore@1510	58	}
mcimadamore@1510	59
mcimadamore@1510	60	void testMethodContext(SimpleList<Person> list, boolean cond) {
mcimadamore@1510	61	testMethodContext(list.sort(comparing(Person::getName)), true);
mcimadamore@1510	62	testMethodContext(list.sort(comparing(x->x.getName())), true);
mcimadamore@1510	63	testMethodContext(list.sort(cond ? comparing(Person::getName) : comparing(x->x.getName())), true);
mcimadamore@1510	64	testMethodContext(list.sort((cond ? comparing(Person::getName) : comparing(x->x.getName()))), true);
mcimadamore@1510	65	}
mcimadamore@1510	66	}