From c0bde0bb062a3febc70cdb74f70cd95f3585483b Mon Sep 17 00:00:00 2001
From: Konstantin Chukharev <lipen00@gmail.com>
Date: Wed, 29 Oct 2025 15:44:14 +0300
Subject: [PATCH] Support EtsThrowStmt to dot label

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

diff --git a/jacodb-ets/src/main/kotlin/org/jacodb/ets/utils/StmtToDot.kt b/jacodb-ets/src/main/kotlin/org/jacodb/ets/utils/StmtToDot.kt
index 85d8e1f56..1b2009736 100644
--- a/jacodb-ets/src/main/kotlin/org/jacodb/ets/utils/StmtToDot.kt
+++ b/jacodb-ets/src/main/kotlin/org/jacodb/ets/utils/StmtToDot.kt
@@ -23,12 +23,14 @@ import org.jacodb.ets.model.EtsNopStmt
 import org.jacodb.ets.model.EtsRawStmt
 import org.jacodb.ets.model.EtsReturnStmt
 import org.jacodb.ets.model.EtsStmt
+import org.jacodb.ets.model.EtsThrowStmt
 
 internal fun EtsStmt.toDotLabel(): String {
     val label = when (this) {
         is EtsNopStmt -> "nop"
         is EtsAssignStmt -> "$lhv := $rhv"
         is EtsReturnStmt -> returnValue?.let { "return $it" } ?: "return"
+        is EtsThrowStmt -> "throw $exception"
         is EtsIfStmt -> "if ($condition)"
         is EtsCallStmt -> "call $expr"
         is EtsRawStmt -> "raw $kind"