test/tools/javac/TryWithResources/DuplicateResourceDecl.java

Sun, 04 Nov 2012 10:59:42 +0000

author
mcimadamore
date
Sun, 04 Nov 2012 10:59:42 +0000
changeset 1393
d7d932236fee
parent 0
959103a6100f
permissions
-rw-r--r--

7192246: Add type-checking support for default methods
Summary: Add type-checking support for default methods as per Featherweight-Defender document
Reviewed-by: jjg, dlsmith

     1 /*
     2  * @test  /nodynamiccopyright/
     3  * @bug 6911256 6964740 6965277
     4  * @author Maurizio Cimadamore
     5  * @summary Check that resource variable is not accessible from catch/finally clause
     6  * @compile/fail/ref=DuplicateResourceDecl.out -XDrawDiagnostics DuplicateResourceDecl.java
     7  */
     9 class DuplicateResourceDecl {
    11     public static void main(String[] args) {
    12         try(MyResource c = new MyResource();MyResource c = new MyResource()) {
    13         //do something
    14         } catch (Exception e) { }
    15     }
    17     static class MyResource implements AutoCloseable {
    18         public void close() throws Exception {}
    19     }
    20 }

mercurial