test/tools/javac/lambda/LambdaCapture04.java

Tue, 12 Mar 2013 16:02:43 +0000

author
mcimadamore
date
Tue, 12 Mar 2013 16:02:43 +0000
changeset 1628
5ddecb91d843
parent 0
959103a6100f
permissions
-rw-r--r--

8009545: Graph inference: dependencies between inference variables should be set during incorporation
Summary: Move all transitivity checks into the incorporation round
Reviewed-by: jjg

     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  *  test for capture of non-mutable locals/outer fields in multiple scopes
    29  * @author  Maurizio Cimadamore
    30  * @run main LambdaCapture04
    31  */
    33 public class LambdaCapture04 {
    35     static int assertionCount = 0;
    37     static void assertTrue(boolean cond) {
    38         assertionCount++;
    39         if (!cond)
    40             throw new AssertionError();
    41     }
    43     interface Tester {
    44         void test();
    45     }
    47     interface TU<U> {
    48         public void foo(U u);
    49     }
    51     public static <U> void exec(TU<U> lambda, U x) {
    52         lambda.foo(x);
    53     }
    55     Integer n1 = 10;
    57     void test1() {
    58         final Integer N1 = 1;
    59         class A {
    60             Integer n2 = 20;
    61             void test() {
    62                   final Integer N2 = 2;
    63                   class B {
    64                        void test() {
    65                            final Integer N3 = 3;
    66                            exec((final Integer x) -> new Tester() { public void test() { assertTrue(x + n1 + n2 + N1 + N2 + N3 == 66); } }.test(),30);
    67                        }
    68                   }
    69                   new B().test();
    70             }
    71         }
    72         new A().test();
    73     }
    75     void test2() {
    76         final Integer N1 = 1;
    77         class A {
    78             Integer n2 = 20;
    79             void test() {
    80                   final Integer N2 = 2;
    81                   class B {
    82                        void test() {
    83                            final Integer N3 = 3;
    84                            exec((final Integer x) -> {
    85                                class LocTester implements Tester {
    86                                    public void test() { assertTrue(x + n1 + n2 + N1 + N2 + N3 == 66); }
    87                                };
    88                                new LocTester().test();
    89                            },30);
    90                        }
    91                   }
    92                   new B().test();
    93             }
    94         }
    95         new A().test();
    96     }
    98     void test3() {
    99         final Integer N1 = 1;
   100         new Tester() {
   101             Integer n2 = 20;
   102             public void test() {
   103                 final Integer N2 = 2;
   104                 new Tester() {
   105                     public void test() {
   106                         final Integer N3 = 3;
   107                         exec((final Integer x) -> new Tester() { public void test() { assertTrue(x + n1 + n2 + N1 + N2 + N3 == 66); } }.test(),30);
   108                     }
   109                 }.test();
   110             }
   111         }.test();
   112     }
   114     void test4() {
   115         final Integer N1 = 1;
   116         new Tester() {
   117             Integer n2 = 20;
   118             public void test() {
   119                 final Integer N2 = 2;
   120                 new Tester() {
   121                     public void test() {
   122                         final Integer N3 = 3;
   123                         exec((final Integer x) -> {
   124                             class LocTester implements Tester {
   125                                 public void test() { assertTrue(x + n1 + n2 + N1 + N2 + N3 == 66); }
   126                             };
   127                             new LocTester().test();
   128                         },30);
   129                     }
   130                 }.test();
   131             }
   132         }.test();
   133     }
   135     public static void main(String[] args) {
   136         LambdaCapture04 t = new LambdaCapture04();
   137         t.test1();
   138         t.test2();
   139         t.test3();
   140         t.test4();
   141         assertTrue(assertionCount == 4);
   142     }
   143 }

mercurial