test/tools/javac/lambda/typeInference/InferenceTest2b.java

Tue, 24 Dec 2013 09:17:37 -0800

author
ksrini
date
Tue, 24 Dec 2013 09:17:37 -0800
changeset 2227
998b10c43157
parent 1869
5c548a8542b8
child 2525
2eb010b6cb22
permissions
-rw-r--r--

8029230: Update copyright year to match last edit in jdk8 langtools repository for 2013
Reviewed-by: ksrini
Contributed-by: steve.sides@oracle.com

mcimadamore@1415 1 /*
ksrini@2227 2 * Copyright (c) 2011, 2013, 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 import java.util.*;
mcimadamore@1415 25
mcimadamore@1415 26 /**
mcimadamore@1415 27 * @test
mcimadamore@1415 28 * @bug 8003280
mcimadamore@1415 29 * @summary Add lambda tests
mcimadamore@1415 30 * Parameter types inferred from target type in generics with wildcard
mcimadamore@1415 31 * @compile InferenceTest2b.java
mcimadamore@1415 32 * @run main InferenceTest2b
mcimadamore@1415 33 */
mcimadamore@1415 34
mcimadamore@1415 35 public class InferenceTest2b {
mcimadamore@1415 36
mcimadamore@1415 37 private static void assertTrue(boolean cond) {
mcimadamore@1415 38 if (!cond)
mcimadamore@1415 39 throw new AssertionError();
mcimadamore@1415 40 }
mcimadamore@1415 41
mcimadamore@1415 42 public static void main(String[] args) {
mcimadamore@1415 43
mcimadamore@1415 44 InferenceTest2b test = new InferenceTest2b();
mcimadamore@1415 45
mcimadamore@1415 46 test.m1((a, b) -> {return a;});
mcimadamore@1415 47 test.m2((a, b) -> {return a;});
mcimadamore@1415 48 test.m3((a, b) -> a);
mcimadamore@1415 49 }
mcimadamore@1415 50
mcimadamore@1415 51 interface SAM6<T> {
mcimadamore@1415 52 T m6(T a, T b);
mcimadamore@1415 53 }
mcimadamore@1415 54
mcimadamore@1415 55 void m1(SAM6<? super List<?>> s) {
mcimadamore@1415 56 System.out.println("m1()");
mcimadamore@1415 57 Stack<String> a = new Stack<String>();
mcimadamore@1415 58 ArrayList<String> b = new ArrayList<String>();
mcimadamore@1415 59 assertTrue(s.m6(a, b) == a);
mcimadamore@1415 60
mcimadamore@1415 61 Vector<?> c = null;
mcimadamore@1415 62 assertTrue(s.m6(c, b) == c);
mcimadamore@1415 63 }
mcimadamore@1415 64
mcimadamore@1415 65 void m2(SAM6<? super Integer> s) {
mcimadamore@1415 66 System.out.println("m2()");
emc@1869 67 assertTrue(s.m6(1, 2).equals(Integer.valueOf(1)));
mcimadamore@1415 68 }
mcimadamore@1415 69
mcimadamore@1415 70 void m3(SAM6<? super Calendar> s) {
mcimadamore@1415 71 System.out.println("m3()");
mcimadamore@1415 72 Calendar gc = Calendar.getInstance();
mcimadamore@1415 73 GregorianCalendar gc2 = new GregorianCalendar();
mcimadamore@1415 74 assertTrue(s.m6(gc, gc2) == gc);
mcimadamore@1415 75 }
mcimadamore@1415 76 }

mercurial