jdk8-mips64-public/langtools: test/tools/javac/lambda/typeInference/InferenceTest3.java@e64bb2f5f0cf

8031967: For some sources compiler compiles for ever
Summary: Avoid creating DeferredTypes for method calls with method calls as receivers if the site can be determined reliably
Reviewed-by: mcimadamore, vromero
Contributed-by: maurizio.cimadamore@oracle.com, jan.lahoda@oracle.com

     1 /*

     2  * Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved.

     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

     4  *

     5  * This code is free software; you can redistribute it and/or modify it

     6  * under the terms of the GNU General Public License version 2 only, as

     7  * published by the Free Software Foundation.

     8  *

     9  * This code is distributed in the hope that it will be useful, but WITHOUT

    10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

    11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

    12  * version 2 for more details (a copy is included in the LICENSE file that

    13  * accompanied this code).

    14  *

    15  * You should have received a copy of the GNU General Public License version

    16  * 2 along with this work; if not, write to the Free Software Foundation,

    17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

    18  *

    19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

    20  * or visit www.oracle.com if you need additional information or have any

    21  * questions.

    22  */

    24 /**

    25  * @test

    26  * @bug 8003280

    27  * @summary Add lambda tests

    28  *  Interface inheritance, sub-interface resolves the type of the super interface.

    29  * @compile InferenceTest3.java

    30  * @run main InferenceTest3

    31  */

    33 import java.io.File;

    34 import java.io.Serializable;

    35 import java.util.Date;

    36 import java.util.Calendar;

    37 import java.util.TimeZone;

    39 public class InferenceTest3 {

    41     private static void assertTrue(boolean cond) {

    42         if (!cond)

    43             throw new AssertionError();

    44     }

    46     public static void main(String[] args) {

    47         InferenceTest3 test = new InferenceTest3();

    48         test.m1(a -> a.getTime());

    49         test.m2(a -> a.toString());

    51         C<String, Integer> c = a -> a.length();

    52         assertTrue(c.m("lambda") == 6);

    54         E<Double, String> e = a -> Double.toHexString(a);

    55         assertTrue(e.m(Double.MAX_VALUE).equals("0x1.fffffffffffffp1023"));

    56         assertTrue(e.m(Double.MIN_VALUE).equals("0x0.0000000000001p-1022"));

    57         assertTrue(e.m(1.0).equals("0x1.0p0"));

    58     }

    60     private void m1(C<Date, Long> c) {

    61         Calendar cal = Calendar.getInstance(TimeZone.getTimeZone("GMT"));

    62         cal.set(1970, 0, 1, 0, 0, 0);

    63         cal.set(Calendar.MILLISECOND, 0);

    64         Date date = cal.getTime();

    65         assertTrue(c.m(date) == 0L);

    66     }

    68     private void m2(E<Integer, String> e) {

    69         assertTrue(e.m(2).equals("2"));

    70     }

    72     interface A<T extends Serializable, U> {

    73         U m(T t);

    74     }

    76     interface C<X extends Serializable, Y extends Number> extends A<X,Y> {}

    78     interface E<X extends Serializable, Y extends String> extends A<X,Y> {}

    79 }

Mercurial > jdk8-mips64-public > langtools / file revision

test/tools/javac/lambda/typeInference/InferenceTest3.java@e64bb2f5f0cf

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