test/tools/javac/lambda/TargetType63.java

Wed, 27 Apr 2016 01:34:52 +0800

author
aoqi
date
Wed, 27 Apr 2016 01:34:52 +0800
changeset 0
959103a6100f
permissions
-rw-r--r--

Initial load
http://hg.openjdk.java.net/jdk8u/jdk8u/langtools/
changeset: 2573:53ca196be1ae
tag: jdk8u25-b17

     1 /*
     2  * @test /nodynamiccopyright/
     3  * @summary smoke test for inference of throws type variables
     4  * @compile/fail/ref=TargetType63.out -XDrawDiagnostics TargetType63.java
     5  */
     6 class TargetType63 {
     8     interface F<T extends Throwable> {
     9         void m() throws T;
    10     }
    12     void g1() { }
    13     void g2() throws ClassNotFoundException { }
    14     void g3() throws Exception { }
    16     <Z extends Throwable> void m1(F<Z> fz) throws Z { }
    17     <Z extends ClassNotFoundException> void m2(F<Z> fz) throws Z { }
    19     void test1() {
    20         m1(()->{ }); //ok (Z = RuntimeException)
    21         m1(this::g1); //ok (Z = RuntimeException)
    22     }
    24     void test2() {
    25         m2(()->{ }); //fail (Z = ClassNotFoundException)
    26         m2(this::g1); //fail (Z = ClassNotFoundException)
    27     }
    29     void test3() {
    30         m1(()->{ throw new ClassNotFoundException(); }); //fail (Z = ClassNotFoundException)
    31         m1(this::g2); //fail (Z = ClassNotFoundException)
    32         m2(()->{ throw new ClassNotFoundException(); }); //fail (Z = ClassNotFoundException)
    33         m2(this::g2); //fail (Z = ClassNotFoundException)
    34     }
    36     void test4() {
    37         m1(()->{ throw new Exception(); }); //fail (Z = Exception)
    38         m1(this::g3); //fail (Z = Exception)
    39     }
    40 }

mercurial