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

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/test/tools/javac/lambda/TargetType60.java	Wed Apr 27 01:34:52 2016 +0800
     1.3 @@ -0,0 +1,65 @@
     1.4 +/*
     1.5 + * @test /nodynamiccopyright/
     1.6 + * @bug 8007462
     1.7 + * @summary Fix provisional applicability for method references
     1.8 + * @compile/fail/ref=TargetType60.out -XDrawDiagnostics TargetType60.java
     1.9 + */
    1.10 +class TargetType60 {
    1.11 +
    1.12 +    interface Sam0 {
    1.13 +        void m();
    1.14 +    }
    1.15 +
    1.16 +    interface Sam1<X> {
    1.17 +        void m(X x);
    1.18 +    }
    1.19 +
    1.20 +    interface Sam2<X,Y> {
    1.21 +        void m(X x, Y y);
    1.22 +    }
    1.23 +
    1.24 +    void m0() { }
    1.25 +    void m1(String s) { }
    1.26 +    void m2(String s1, String s2) { }
    1.27 +
    1.28 +    void m01() { }
    1.29 +    void m01(String s) { }
    1.30 +
    1.31 +    void m012() { }
    1.32 +    void m012(String s) { }
    1.33 +    void m012(String s1, String s2) { }
    1.34 +
    1.35 +    void n0() { }
    1.36 +    void n1(String s) { }
    1.37 +    void n2(TargetType60 rec, String s2) { }
    1.38 +
    1.39 +    void n01() { }
    1.40 +    void n01(String s) { }
    1.41 +
    1.42 +    void n012() { }
    1.43 +    void n012(String s) { }
    1.44 +    void n012(TargetType60 rec, String s2) { }
    1.45 +
    1.46 +    static String g(Sam0 s) { return null; }
    1.47 +    static <U> U g(Sam1<U> s) { return null; }
    1.48 +    static <U> U g(Sam2<U,String> s) { return null; }
    1.49 +
    1.50 +    static <U> U u(Sam1<U> s) { return null; }
    1.51 +    static <U> U u(Sam2<U,String> s) { return null; }
    1.52 +
    1.53 +    void testBound() {
    1.54 +        String s1 = g(this::m0); //ok - resolves to g(Sam0)
    1.55 +        String s2 = g(this::m1); //ok - resolves to g(Sam1)
    1.56 +        String s3 = g(this::m2); //ok - resolves to g(Sam2)
    1.57 +        String s4 = g(this::m01);//ambiguous (g(Sam0), g(Sam1) apply)
    1.58 +        String s5 = g(this::m012);//ambiguous (g(Sam0), g(Sam1), g(Sam2) apply)
    1.59 +    }
    1.60 +
    1.61 +    static void testUnbound() {
    1.62 +        TargetType60 s1 = u(TargetType60::n0); //ok - resolves to u(Sam1)
    1.63 +        TargetType60 s2 = u(TargetType60::n1); //ok - resolves to u(Sam2)
    1.64 +        TargetType60 s3 = u(TargetType60::n2); //none is applicable
    1.65 +        TargetType60 s4 = u(TargetType60::n01);//ambiguous (u(Sam1), u(Sam2) apply)
    1.66 +        TargetType60 s5 = u(TargetType60::n012);//ambiguous (u(Sam1), u(Sam2) apply)
    1.67 +    }
    1.68 +}