From 2edf222e0e2b1e511b3bfbf305b5f242438eb42a Mon Sep 17 00:00:00 2001 From: Sergey Patrikeev Date: Thu, 7 May 2020 17:51:22 +0300 Subject: [PATCH] shared-indexes: move PrettyWriter to shared-indexes plugin, where it is used. GitOrigin-RevId: d86456e0f28177f8f918465b43f7ffb88b32816a --- .../diagnostic/dump/output/PrettyWriter.kt | 32 ------------------- 1 file changed, 32 deletions(-) delete mode 100644 platform/lang-impl/src/com/intellij/util/indexing/diagnostic/dump/output/PrettyWriter.kt diff --git a/platform/lang-impl/src/com/intellij/util/indexing/diagnostic/dump/output/PrettyWriter.kt b/platform/lang-impl/src/com/intellij/util/indexing/diagnostic/dump/output/PrettyWriter.kt deleted file mode 100644 index 019a6a2294b0..000000000000 --- a/platform/lang-impl/src/com/intellij/util/indexing/diagnostic/dump/output/PrettyWriter.kt +++ /dev/null @@ -1,32 +0,0 @@ -package com.intellij.util.indexing.diagnostic.dump.output - -import java.io.PrintStream - -class PrettyWriter(private val out: PrintStream) : AutoCloseable { - - private var indent = "" - - inner class Object { - fun writeString(s: String) { - s.lineSequence().forEach { - out.println("$indent$it") - } - } - } - - fun writeObject(name: String, block: Object.() -> Unit) { - out.println("$indent$name") - indent += " " - val obj = Object() - try { - obj.block() - } - finally { - indent = indent.removeSuffix(" ") - } - } - - override fun close() { - out.close() - } -} \ No newline at end of file