test/langtools/tools/javac/lambda/lambdaExpression/LambdaTest6.java
author vjovanovic
Mon, 28 Oct 2019 15:03:36 +0100
changeset 58871 27c2d2a4b695
parent 47216 71c04702a3d5
permissions -rw-r--r--
8232806: Introduce a system property to disable eager lambda initialization Reviewed-by: briangoetz, mr, psandoz, forax
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
14547
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
     1
/*
22448
a85fbad9d687 8029230: Update copyright year to match last edit in jdk8 langtools repository for 2013
ksrini
parents: 18730
diff changeset
     2
 * Copyright (c) 2011, 2013, Oracle and/or its affiliates. All rights reserved.
14547
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
     4
 *
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
     7
 * published by the Free Software Foundation.
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
     8
 *
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    13
 * accompanied this code).
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    14
 *
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    18
 *
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    21
 * questions.
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    22
 */
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    23
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    24
/**
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    25
 * @test
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    26
 * @bug 8003280
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    27
 * @summary Add lambda tests
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    28
 *   Test bridge methods for certain SAM conversions
58871
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    29
 *   Tests that jdk.internal.lambda.disableEagerInitialization=true creates a
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    30
 *   get$Lambda method for non-capturing lambdas
14547
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    31
 * @compile LambdaTest6.java
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    32
 * @run main LambdaTest6
58871
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    33
 * @run main/othervm -Djdk.internal.lambda.disableEagerInitialization=true LambdaTest6
14547
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    34
 */
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    35
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    36
import java.lang.reflect.Method;
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    37
import java.util.HashSet;
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    38
import java.util.Set;
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    39
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    40
public class LambdaTest6<T> {
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    41
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    42
    interface H {Object m();}
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    43
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    44
    interface K<U> {void m(U element);}
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    45
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    46
    interface L extends K<String> {} //generic substitution
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    47
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    48
    interface M {void m(String s);}
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    49
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    50
    interface KM extends K<String>, M{} //generic substitution
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    51
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    52
    interface N extends H {String m();} //covariant return
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    53
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    54
    private static void assertTrue(boolean b) {
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    55
        if(!b)
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    56
            throw new AssertionError();
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    57
    }
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    58
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    59
    private Set<String> setOfStringObject() {
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    60
        Set<String> s = new HashSet<>();
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    61
        s.add("java.lang.String");
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    62
        s.add("java.lang.Object");
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    63
        return s;
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    64
    }
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    65
58871
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    66
    private static Set<String> allowedMethods() {
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    67
        Set<String> s = new HashSet<>();
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    68
        s.add("m");
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    69
        if (Boolean.getBoolean("jdk.internal.lambda.disableEagerInitialization")) {
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    70
            s.add("get$Lambda");
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    71
        }
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    72
        return s;
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    73
    }
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    74
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    75
    private static boolean matchingMethodNames(Method[] methods) {
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    76
        Set<String> methodNames = new HashSet<>();
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    77
        for (Method m : methods) {
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    78
            methodNames.add(m.getName());
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    79
        }
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    80
        return methodNames.equals(allowedMethods());
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    81
    }
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    82
14547
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    83
    private void test1()
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    84
    {
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    85
        L la = s -> { };
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    86
        la.m("hi");
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    87
        Class<? extends L> c1 = la.getClass();
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    88
        Method[] methods = c1.getDeclaredMethods();
58871
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    89
        assertTrue(matchingMethodNames(methods));
14547
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    90
        Set<String> types = setOfStringObject();
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    91
        for(Method m : methods) {
58871
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    92
            if ("m".equals(m.getName())) {
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    93
                Class[] parameterTypes = m.getParameterTypes();
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    94
                assertTrue(parameterTypes.length == 1);
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    95
                assertTrue(types.remove(parameterTypes[0].getName()));
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
    96
            }
14547
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    97
        }
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    98
        assertTrue(types.isEmpty() || (types.size() == 1 && types.contains("java.lang.String")));
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    99
    }
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   100
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   101
    private void test2()
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   102
    {
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   103
        KM km = s -> { };
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   104
        //km.m("hi");
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   105
        Class<? extends KM> c2 = km.getClass();
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   106
        Method[] methods = c2.getDeclaredMethods();
58871
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
   107
        assertTrue(matchingMethodNames(methods));
14547
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   108
        Set<String> types = setOfStringObject();
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   109
        for(Method m : methods) {
58871
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
   110
            if ("m".equals(m.getName())) {
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
   111
                Class[] parameterTypes = m.getParameterTypes();
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
   112
                assertTrue(parameterTypes.length == 1);
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
   113
                assertTrue(types.remove(parameterTypes[0].getName()));
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
   114
            }
14547
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   115
        }
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   116
        assertTrue(types.isEmpty());
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   117
    }
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   118
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   119
    private void test3()
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   120
    {
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   121
        N na = ()-> "hi";
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   122
        assertTrue( na.m().equals("hi") );
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   123
        assertTrue( ((H)na).m().equals("hi") );
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   124
        Class<? extends N> c3 = na.getClass();
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   125
        Method[] methods = c3.getDeclaredMethods();
58871
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
   126
        assertTrue(matchingMethodNames(methods));
14547
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   127
        Set<String> types = setOfStringObject();
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   128
        for(Method m : methods) {
58871
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
   129
            if ("m".equals(m.getName())) {
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
   130
                Class returnType = m.getReturnType();
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
   131
                assertTrue(types.remove(returnType.getName()));
27c2d2a4b695 8232806: Introduce a system property to disable eager lambda initialization
vjovanovic
parents: 47216
diff changeset
   132
            }
14547
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   133
        }
18730
95354d510139 8016281: The SAM method should be passed to the metafactory as a MethodType not a MethodHandle
mcimadamore
parents: 18412
diff changeset
   134
        assertTrue(types.size() == 1); //there's a bridge
14547
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   135
    }
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   136
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   137
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   138
    public static void main(String[] args) {
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   139
        LambdaTest6 test = new LambdaTest6();
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   140
        test.test1();
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   141
        test.test2();
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   142
        test.test3();
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   143
    }
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
   144
}