Sun, 04 Nov 2012 10:59:42 +0000
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 }