From d479ac8a95274280b4f1dca78e72ccfd4522e49e Mon Sep 17 00:00:00 2001
From: Konstantin Chukharev <lipen00@gmail.com>
Date: Fri, 19 Jul 2024 10:54:50 +0300
Subject: [PATCH] Fix quoting in DOT (#238)

---
 .../src/main/kotlin/org/jacodb/ets/utils/EtsFileDtoToDot.kt   | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/jacodb-ets/src/main/kotlin/org/jacodb/ets/utils/EtsFileDtoToDot.kt b/jacodb-ets/src/main/kotlin/org/jacodb/ets/utils/EtsFileDtoToDot.kt
index ab12af4bd..d692b9867 100644
--- a/jacodb-ets/src/main/kotlin/org/jacodb/ets/utils/EtsFileDtoToDot.kt
+++ b/jacodb-ets/src/main/kotlin/org/jacodb/ets/utils/EtsFileDtoToDot.kt
@@ -84,7 +84,7 @@ fun EtsFileDto.toDot(useLR: Boolean = false): String {
 
     fun statementLabel(stmt: StmtDto): String {
         val labelLines: MutableList<String> = mutableListOf()
-        labelLines += "$stmt"
+        labelLines += "$stmt".replace("\"", "\\\"")
         return labelLines.joinToString("") { "${it}\\l" }
     }
 
@@ -137,7 +137,7 @@ fun EtsFileDto.toDot(useLR: Boolean = false): String {
                     val ids = List(bb.stmts.size) { i ->
                         "${b}.${i}"
                     }
-                    lines += "    ${ids.joinToString(" -> ") { """"$it"""" }};"
+                    lines += "    ${ids.joinToString(" -> ") { "\"$it\"" }};"
                 }
 
                 lines += "  }"