We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 60f7a77 commit 50cc99dCopy full SHA for 50cc99d
jacodb-ets/src/main/kotlin/org/jacodb/ets/utils/StmtToDot.kt
@@ -23,12 +23,14 @@ import org.jacodb.ets.model.EtsNopStmt
23
import org.jacodb.ets.model.EtsRawStmt
24
import org.jacodb.ets.model.EtsReturnStmt
25
import org.jacodb.ets.model.EtsStmt
26
+import org.jacodb.ets.model.EtsThrowStmt
27
28
internal fun EtsStmt.toDotLabel(): String {
29
val label = when (this) {
30
is EtsNopStmt -> "nop"
31
is EtsAssignStmt -> "$lhv := $rhv"
32
is EtsReturnStmt -> returnValue?.let { "return $it" } ?: "return"
33
+ is EtsThrowStmt -> "throw $exception"
34
is EtsIfStmt -> "if ($condition)"
35
is EtsCallStmt -> "call $expr"
36
is EtsRawStmt -> "raw $kind"
0 commit comments