Thu, 25 Jul 2013 14:51:40 +0100
8020843: javac crashes on accessibility check with method reference with typevar receiver
Summary: method reference overload check doesn't walk through type-variable receivers
Reviewed-by: jjg
aoqi@0 | 1 | /* |
aoqi@0 | 2 | * Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved. |
aoqi@0 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
aoqi@0 | 4 | * |
aoqi@0 | 5 | * This code is free software; you can redistribute it and/or modify it |
aoqi@0 | 6 | * under the terms of the GNU General Public License version 2 only, as |
aoqi@0 | 7 | * published by the Free Software Foundation. |
aoqi@0 | 8 | * |
aoqi@0 | 9 | * This code is distributed in the hope that it will be useful, but WITHOUT |
aoqi@0 | 10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
aoqi@0 | 11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
aoqi@0 | 12 | * version 2 for more details (a copy is included in the LICENSE file that |
aoqi@0 | 13 | * accompanied this code). |
aoqi@0 | 14 | * |
aoqi@0 | 15 | * You should have received a copy of the GNU General Public License version |
aoqi@0 | 16 | * 2 along with this work; if not, write to the Free Software Foundation, |
aoqi@0 | 17 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
aoqi@0 | 18 | * |
aoqi@0 | 19 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
aoqi@0 | 20 | * or visit www.oracle.com if you need additional information or have any |
aoqi@0 | 21 | * questions. |
aoqi@0 | 22 | */ |
aoqi@0 | 23 | |
aoqi@0 | 24 | /** |
aoqi@0 | 25 | * @test |
aoqi@0 | 26 | * @bug 8003280 |
aoqi@0 | 27 | * @summary Add lambda tests |
aoqi@0 | 28 | * Test lambda expressions for different method signatures (parameter and return type) |
aoqi@0 | 29 | * @compile LambdaTest2.java |
aoqi@0 | 30 | * @run main LambdaTest2 |
aoqi@0 | 31 | */ |
aoqi@0 | 32 | |
aoqi@0 | 33 | public class LambdaTest2 { |
aoqi@0 | 34 | |
aoqi@0 | 35 | private static int count = 0; |
aoqi@0 | 36 | |
aoqi@0 | 37 | private static void assertTrue(boolean b) { |
aoqi@0 | 38 | if(!b) |
aoqi@0 | 39 | throw new AssertionError(); |
aoqi@0 | 40 | } |
aoqi@0 | 41 | |
aoqi@0 | 42 | public static void main(String[] args) { |
aoqi@0 | 43 | LambdaTest2 test = new LambdaTest2(); |
aoqi@0 | 44 | |
aoqi@0 | 45 | test.method2((int n) -> { ; }); |
aoqi@0 | 46 | test.method2(n -> { }); // "int" is optional here |
aoqi@0 | 47 | test.method2((int n) -> { }); // ";" is optional here |
aoqi@0 | 48 | test.method2((int n) -> { return; }); // ";" is mandatory here |
aoqi@0 | 49 | test.method2((int n) -> { count += n; }); |
aoqi@0 | 50 | assertTrue(count == 10); |
aoqi@0 | 51 | |
aoqi@0 | 52 | VoidInt vi = (int i) -> { |
aoqi@0 | 53 | switch (i) { |
aoqi@0 | 54 | case 0: |
aoqi@0 | 55 | System.out.println("normal"); |
aoqi@0 | 56 | break; |
aoqi@0 | 57 | default: |
aoqi@0 | 58 | System.out.println("invalid"); |
aoqi@0 | 59 | } |
aoqi@0 | 60 | }; |
aoqi@0 | 61 | |
aoqi@0 | 62 | test.method3(()-> { count++; }); |
aoqi@0 | 63 | test.method3(() -> {}); |
aoqi@0 | 64 | assertTrue(count == 11); |
aoqi@0 | 65 | |
aoqi@0 | 66 | VoidVoid vv = ()-> { while(true) |
aoqi@0 | 67 | if(false) |
aoqi@0 | 68 | break; |
aoqi@0 | 69 | else |
aoqi@0 | 70 | continue; |
aoqi@0 | 71 | }; |
aoqi@0 | 72 | |
aoqi@0 | 73 | IntVoid iv1 = () -> 42; |
aoqi@0 | 74 | IntVoid iv2 = () -> { return 43; };//";" is mandatory here |
aoqi@0 | 75 | assertTrue(iv1.ivMethod() == 42); |
aoqi@0 | 76 | assertTrue(iv2.ivMethod() == 43); |
aoqi@0 | 77 | |
aoqi@0 | 78 | IntInt ii1 = (int n) -> n+1; |
aoqi@0 | 79 | IntInt ii2 = n -> 42; |
aoqi@0 | 80 | IntInt ii3 = n -> { return 43; }; |
aoqi@0 | 81 | IntInt ii4 = |
aoqi@0 | 82 | (int n) -> { |
aoqi@0 | 83 | if(n > 0) |
aoqi@0 | 84 | return n+1; |
aoqi@0 | 85 | else |
aoqi@0 | 86 | return n-1; |
aoqi@0 | 87 | }; |
aoqi@0 | 88 | assertTrue(ii1.iiMethod(1) == 2); |
aoqi@0 | 89 | assertTrue(ii2.iiMethod(1) == 42); |
aoqi@0 | 90 | assertTrue(ii3.iiMethod(1) == 43); |
aoqi@0 | 91 | assertTrue(ii4.iiMethod(-1) == -2); |
aoqi@0 | 92 | } |
aoqi@0 | 93 | |
aoqi@0 | 94 | void method2(VoidInt a) { |
aoqi@0 | 95 | a.viMethod(10); |
aoqi@0 | 96 | } |
aoqi@0 | 97 | |
aoqi@0 | 98 | void method3(VoidVoid a) { |
aoqi@0 | 99 | a.vvMethod(); |
aoqi@0 | 100 | } |
aoqi@0 | 101 | |
aoqi@0 | 102 | //SAM type interfaces |
aoqi@0 | 103 | interface VoidInt { |
aoqi@0 | 104 | void viMethod(int n); |
aoqi@0 | 105 | } |
aoqi@0 | 106 | |
aoqi@0 | 107 | interface VoidVoid { |
aoqi@0 | 108 | void vvMethod(); |
aoqi@0 | 109 | } |
aoqi@0 | 110 | |
aoqi@0 | 111 | interface IntVoid { |
aoqi@0 | 112 | int ivMethod(); |
aoqi@0 | 113 | } |
aoqi@0 | 114 | |
aoqi@0 | 115 | interface IntInt { |
aoqi@0 | 116 | int iiMethod(int n); |
aoqi@0 | 117 | } |
aoqi@0 | 118 | } |