# HG changeset patch
# User Christian Wimmer <christian.wimmer@oracle.com>
# Date 1353983048 28800
# Node ID 5a1f6e96e1639ae8be0c11349f343e8d5bdeb5cb
# Parent  2e577202843c690bd210c2c6cd06726a23aea013
close() method for dump handlers should not throw IOException

diff -r 2e577202843c -r 5a1f6e96e163 graal/com.oracle.graal.debug/src/com/oracle/graal/debug/DebugDumpHandler.java
--- a/graal/com.oracle.graal.debug/src/com/oracle/graal/debug/DebugDumpHandler.java	Mon Nov 26 18:17:14 2012 -0800
+++ b/graal/com.oracle.graal.debug/src/com/oracle/graal/debug/DebugDumpHandler.java	Mon Nov 26 18:24:08 2012 -0800
@@ -26,4 +26,7 @@
 
 public interface DebugDumpHandler extends Closeable {
     void dump(Object object, String message);
+
+    @Override
+    void close();
 }
diff -r 2e577202843c -r 5a1f6e96e163 graal/com.oracle.graal.printer/src/com/oracle/graal/printer/BinaryGraphPrinter.java
--- a/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/BinaryGraphPrinter.java	Mon Nov 26 18:17:14 2012 -0800
+++ b/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/BinaryGraphPrinter.java	Mon Nov 26 18:24:08 2012 -0800
@@ -438,8 +438,12 @@
     }
 
     @Override
-    public void close() throws IOException {
-        flush();
-        channel.close();
+    public void close() {
+        try {
+            flush();
+            channel.close();
+        } catch (IOException ex) {
+            throw new Error(ex);
+        }
     }
 }
diff -r 2e577202843c -r 5a1f6e96e163 graal/com.oracle.graal.printer/src/com/oracle/graal/printer/CFGPrinterObserver.java
--- a/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/CFGPrinterObserver.java	Mon Nov 26 18:17:14 2012 -0800
+++ b/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/CFGPrinterObserver.java	Mon Nov 26 18:24:08 2012 -0800
@@ -195,7 +195,7 @@
     }
 
     @Override
-    public void close() throws IOException {
+    public void close() {
         if (cfgPrinter != null) {
             cfgPrinter.close();
         }
diff -r 2e577202843c -r 5a1f6e96e163 graal/com.oracle.graal.printer/src/com/oracle/graal/printer/CompilationPrinter.java
--- a/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/CompilationPrinter.java	Mon Nov 26 18:17:14 2012 -0800
+++ b/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/CompilationPrinter.java	Mon Nov 26 18:24:08 2012 -0800
@@ -82,7 +82,7 @@
     }
 
     @Override
-    public void close() throws IOException {
+    public void close() {
         out.out().close();
     }
 
diff -r 2e577202843c -r 5a1f6e96e163 graal/com.oracle.graal.printer/src/com/oracle/graal/printer/GraphPrinter.java
--- a/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/GraphPrinter.java	Mon Nov 26 18:17:14 2012 -0800
+++ b/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/GraphPrinter.java	Mon Nov 26 18:24:08 2012 -0800
@@ -43,4 +43,7 @@
      * Ends the current group.
      */
     void endGroup() throws IOException;
+
+    @Override
+    void close();
 }
diff -r 2e577202843c -r 5a1f6e96e163 graal/com.oracle.graal.printer/src/com/oracle/graal/printer/GraphPrinterDumpHandler.java
--- a/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/GraphPrinterDumpHandler.java	Mon Nov 26 18:17:14 2012 -0800
+++ b/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/GraphPrinterDumpHandler.java	Mon Nov 26 18:24:08 2012 -0800
@@ -200,7 +200,7 @@
     }
 
     @Override
-    public void close() throws IOException {
+    public void close() {
         for (int i = 0; i < previousInlineContext.size(); i++) {
             closeScope();
         }