Fix quoting in DOT (#238)

UnitTestBot · Jul 19, 2024 · d479ac8 · d479ac8
1 parent d0438be
commit d479ac8
Showing 1 changed file with 2 additions and 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
@@ -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 += "  }"