From e26efb4e4d2a10ceb9ac4275a1e2806f56802bcc Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Tue, 5 Mar 2013 18:57:28 +0400
Subject: [PATCH] Printer now supports any appendable + separated lists

---
 .../src/org/jetbrains/jet/utils/Printer.java  | 47 ++++++++++++++++---
 1 file changed, 41 insertions(+), 6 deletions(-)

diff --git a/compiler/util/src/org/jetbrains/jet/utils/Printer.java b/compiler/util/src/org/jetbrains/jet/utils/Printer.java
index b66ad2d1b5e..73e1c40f3b8 100644
--- a/compiler/util/src/org/jetbrains/jet/utils/Printer.java
+++ b/compiler/util/src/org/jetbrains/jet/utils/Printer.java
@@ -18,25 +18,38 @@ package org.jetbrains.jet.utils;
 
 import org.jetbrains.annotations.NotNull;
 
+import java.io.IOException;
+import java.util.Collection;
+import java.util.Iterator;
+
 public class Printer {
     private static final String INDENTATION_UNIT = "    ";
     private static final String LINE_SEPARATOR = System.getProperty("line.separator");
 
-    private final StringBuilder out;
+    private final Appendable out;
     private final int maxBlankLines;
 
     private String indent = "";
     private int blankLineCountIncludingCurrent = 0;
 
-    public Printer(@NotNull StringBuilder out) {
+    public Printer(@NotNull Appendable out) {
         this(out, Integer.MAX_VALUE);
     }
 
-    public Printer(@NotNull StringBuilder out, int maxBlankLines) {
+    public Printer(@NotNull Appendable out, int maxBlankLines) {
         this.out = out;
         this.maxBlankLines = maxBlankLines;
     }
 
+    private void append(Object o) {
+        try {
+            out.append(o.toString());
+        }
+        catch (IOException e) {
+            // Do nothing
+        }
+    }
+
     @NotNull
     public Printer println(Object... objects) {
         print(objects);
@@ -48,13 +61,13 @@ public class Printer {
     private void printLineSeparator() {
         if (blankLineCountIncludingCurrent <= maxBlankLines) {
             blankLineCountIncludingCurrent++;
-            out.append(LINE_SEPARATOR);
+            append(LINE_SEPARATOR);
         }
     }
 
     @NotNull
     public Printer print(Object... objects) {
-        out.append(indent);
+        append(indent);
         printWithNoIndent(objects);
 
         return this;
@@ -64,7 +77,7 @@ public class Printer {
     public Printer printWithNoIndent(Object... objects) {
         for (Object object : objects) {
             blankLineCountIncludingCurrent = 0;
-            out.append(object);
+            append(object);
         }
 
         return this;
@@ -95,4 +108,26 @@ public class Printer {
 
         return this;
     }
+
+    @NotNull
+    public Printer separated(Object separator, Object... items) {
+        for (int i = 0; i < items.length; i++) {
+            if (i > 0) {
+                printlnWithNoIndent(separator);
+            }
+            printlnWithNoIndent(items[i]);
+        }
+        return this;
+    }
+
+    @NotNull
+    public Printer separated(Object separator, Collection<?> items) {
+        for (Iterator<?> iterator = items.iterator(); iterator.hasNext(); ) {
+            printlnWithNoIndent(iterator.next());
+            if (iterator.hasNext()) {
+                printlnWithNoIndent(separator);
+            }
+        }
+        return this;
+    }
 }