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

test/tools/javac/generics/diamond/pos/Pos04.java@9d9d08922405 (annotated)

test/tools/javac/generics/diamond/pos/Pos04.java

Wed, 14 Apr 2010 12:31:55 +0100

author

mcimadamore

date

Wed, 14 Apr 2010 12:31:55 +0100

changeset 537

9d9d08922405

child 543

97b6fa97b8dd

permissions

-rw-r--r--

6939620: Switch to 'complex' diamond inference scheme
Summary: Implement new inference scheme for diamond operator that takes into account type of actual arguments supplied to constructor
Reviewed-by: jjg, darcy

mcimadamore@537	1	/*
mcimadamore@537	2	* Copyright 2010 Sun Microsystems, Inc. All Rights Reserved.
mcimadamore@537	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
mcimadamore@537	4	*
mcimadamore@537	5	* This code is free software; you can redistribute it and/or modify it
mcimadamore@537	6	* under the terms of the GNU General Public License version 2 only, as
mcimadamore@537	7	* published by the Free Software Foundation.
mcimadamore@537	8	*
mcimadamore@537	9	* This code is distributed in the hope that it will be useful, but WITHOUT
mcimadamore@537	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
mcimadamore@537	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
mcimadamore@537	12	* version 2 for more details (a copy is included in the LICENSE file that
mcimadamore@537	13	* accompanied this code).
mcimadamore@537	14	*
mcimadamore@537	15	* You should have received a copy of the GNU General Public License version
mcimadamore@537	16	* 2 along with this work; if not, write to the Free Software Foundation,
mcimadamore@537	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
mcimadamore@537	18	*
mcimadamore@537	19	* Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
mcimadamore@537	20	* CA 95054 USA or visit www.sun.com if you need additional information or
mcimadamore@537	21	* have any questions.
mcimadamore@537	22	*/
mcimadamore@537	23
mcimadamore@537	24	/*
mcimadamore@537	25	* @test
mcimadamore@537	26	* @bug 6939620
mcimadamore@537	27	*
mcimadamore@537	28	* @summary Switch to 'complex' diamond inference scheme
mcimadamore@537	29	* @author mcimadamore
mcimadamore@537	30	* @compile Pos04.java
mcimadamore@537	31	* @run main Pos04
mcimadamore@537	32	*
mcimadamore@537	33	*/
mcimadamore@537	34
mcimadamore@537	35	public class Pos04<U> {
mcimadamore@537	36
mcimadamore@537	37	void test() {
mcimadamore@537	38	class Foo<V> {
mcimadamore@537	39	Foo(V x) {}
mcimadamore@537	40	<Z> Foo(V x, Z z) {}
mcimadamore@537	41	}
mcimadamore@537	42	Foo<Integer> p1 = new Foo<>(1);
mcimadamore@537	43	Foo<? extends Integer> p2 = new Foo<>(1);
mcimadamore@537	44	Foo<?> p3 = new Foo<>(1);
mcimadamore@537	45	Foo<? super Integer> p4 = new Foo<>(1);
mcimadamore@537	46
mcimadamore@537	47	Foo<Integer> p5 = new Foo<>(1){};
mcimadamore@537	48	Foo<? extends Integer> p6 = new Foo<>(1){};
mcimadamore@537	49	Foo<?> p7 = new Foo<>(1){};
mcimadamore@537	50	Foo<? super Integer> p8 = new Foo<>(1){};
mcimadamore@537	51
mcimadamore@537	52	Foo<Integer> p9 = new Foo<>(1, "");
mcimadamore@537	53	Foo<? extends Integer> p10 = new Foo<>(1, "");
mcimadamore@537	54	Foo<?> p11 = new Foo<>(1, "");
mcimadamore@537	55	Foo<? super Integer> p12 = new Foo<>(1, "");
mcimadamore@537	56
mcimadamore@537	57	Foo<Integer> p13 = new Foo<>(1, ""){};
mcimadamore@537	58	Foo<? extends Integer> p14 = new Foo<>(1, ""){};
mcimadamore@537	59	Foo<?> p15 = new Foo<>(1, ""){};
mcimadamore@537	60	Foo<? super Integer> p16 = new Foo<>(1, ""){};
mcimadamore@537	61	}
mcimadamore@537	62
mcimadamore@537	63	public static void main(String[] args) {
mcimadamore@537	64	Pos04<String> p4 = new Pos04<>();
mcimadamore@537	65	p4.test();
mcimadamore@537	66	}
mcimadamore@537	67	}