darcy@609: /*
darcy@609:  * @test  /nodynamiccopyright/
darcy@609:  * @bug 6911256 6964740
darcy@609:  * @author Joseph D. Darcy
darcy@609:  * @summary Verify invalid TWR block is not accepted.
darcy@609:  * @compile/fail -source 6 TwrOnNonResource.java
darcy@609:  * @compile/fail/ref=TwrOnNonResource.out -XDrawDiagnostics TwrOnNonResource.java
darcy@609:  */
darcy@609: 
darcy@609: class TwrOnNonResource {
darcy@609:     public static void main(String... args) {
darcy@609:         try(TwrOnNonResource aonr = new TwrOnNonResource()) {
darcy@609:             System.out.println(aonr.toString());
darcy@609:         }
darcy@609:         try(TwrOnNonResource aonr = new TwrOnNonResource()) {
darcy@609:             System.out.println(aonr.toString());
darcy@609:         } finally {;}
darcy@609:         try(TwrOnNonResource aonr = new TwrOnNonResource()) {
darcy@609:             System.out.println(aonr.toString());
darcy@609:         } catch (Exception e) {;}
darcy@609: 
darcy@609:         // Also check expression form
darcy@609:         TwrOnNonResource aonr = new TwrOnNonResource();
darcy@609:         try(aonr) {
darcy@609:             System.out.println(aonr.toString());
darcy@609:         }
darcy@609:         try(aonr) {
darcy@609:             System.out.println(aonr.toString());
darcy@609:         } finally {;}
darcy@609:         try(aonr) {
darcy@609:             System.out.println(aonr.toString());
darcy@609:         } catch (Exception e) {;}
darcy@609:     }
darcy@609: 
darcy@609:     /*
darcy@609:      * A close method, but the class is <em>not</em> Closeable or
darcy@609:      * AutoCloseable.
darcy@609:      */
darcy@609:     public void close() {
darcy@609:         throw new AssertionError("I'm not Closable!");
darcy@609:     }
darcy@609: }