Style fixes

Author: CaelmBleidd

usvm-ts/src/main/kotlin/org/usvm/api/checkers/UnreachableCodeDetector.kt

@@ -43,7 +43,7 @@ class UnreachableCodeDetector : TsInterpreterObserver, UMachineObserver<TsState>
                 uncoveredIfSuccessors
                     .filter { it.value.isNotEmpty() }
                     .takeIf { it.isNotEmpty() }
-                    ?.let { method to it.map { UncoveredIfSuccessors(it.key, it.value) } }
+                    ?.let { ifSucc -> method to ifSucc.map { UncoveredIfSuccessors(it.key, it.value) } }
             }.toMap()
     }
 }

usvm-ts/src/main/kotlin/org/usvm/machine/TsInterpreterObserver.kt

@@ -14,14 +14,72 @@ import org.usvm.statistics.UInterpreterObserver
 
 @Suppress("unused")
 interface TsInterpreterObserver : UInterpreterObserver {
-    fun onAssignStatement(simpleValueResolver: TsSimpleValueResolver, stmt: EtsAssignStmt, scope: TsStepScope) {}
+    fun onAssignStatement(
+        simpleValueResolver: TsSimpleValueResolver,
+        stmt: EtsAssignStmt,
+        scope: TsStepScope
+    ) {
+        // default empty implementation
+    }
+
     // TODO on entry point
-    fun onCallWithUnresolvedArguments(simpleValueResolver: TsSimpleValueResolver, stmt: EtsCallExpr, scope: TsStepScope) {}
+
+    fun onCallWithUnresolvedArguments(
+        simpleValueResolver: TsSimpleValueResolver,
+        stmt: EtsCallExpr,
+        scope: TsStepScope
+    ) {
+        // default empty implementation
+    }
+
     // TODO onCallWithResolvedArguments
-    fun onIfStatement(simpleValueResolver: TsSimpleValueResolver, stmt: EtsIfStmt, scope: TsStepScope) {}
-    fun onIfStatementWithResolvedCondition(simpleValueResolver: TsSimpleValueResolver, stmt: EtsIfStmt, condition: UBoolExpr, scope: TsStepScope) {}
-    fun onReturnStatement(simpleValueResolver: TsSimpleValueResolver, stmt: EtsReturnStmt, scope: TsStepScope) {}
-    fun onThrowStatement(simpleValueResolver: TsSimpleValueResolver, stmt: EtsThrowStmt, scope: TsStepScope) {}
-    fun onGotoStatement(simpleValueResolver: TsSimpleValueResolver, stmt: EtsGotoStmt, scope: TsStepScope) {}
-    fun onSwitchStatement(simpleValueResolver: TsSimpleValueResolver, stmt: EtsSwitchStmt, scope: TsStepScope) {}
+
+    fun onIfStatement(
+        simpleValueResolver: TsSimpleValueResolver,
+        stmt: EtsIfStmt,
+        scope: TsStepScope
+    ) {
+        // default empty implementation
+    }
+
+    fun onIfStatementWithResolvedCondition(
+        simpleValueResolver: TsSimpleValueResolver,
+        stmt: EtsIfStmt,
+        condition: UBoolExpr,
+        scope: TsStepScope
+    ) {
+        // default empty implementation
+    }
+
+    fun onReturnStatement(
+        simpleValueResolver: TsSimpleValueResolver,
+        stmt: EtsReturnStmt,
+        scope: TsStepScope
+    ) {
+        // default empty implementation
+    }
+
+    fun onThrowStatement(
+        simpleValueResolver: TsSimpleValueResolver,
+        stmt: EtsThrowStmt,
+        scope: TsStepScope
+    ) {
+        // default empty implementation
+    }
+
+    fun onGotoStatement(
+        simpleValueResolver: TsSimpleValueResolver,
+        stmt: EtsGotoStmt,
+        scope: TsStepScope
+    ) {
+        // default empty implementation
+    }
+
+    fun onSwitchStatement(
+        simpleValueResolver: TsSimpleValueResolver,
+        stmt: EtsSwitchStmt,
+        scope: TsStepScope
+    ) {
+        // default empty implementation
+    }
 }

usvm-ts/src/main/kotlin/org/usvm/machine/interpreter/TsInterpreter.kt

@@ -168,7 +168,6 @@ class TsInterpreter(
                 mockMethodCall(scope, it.method)
                 return
             }
-
         } ?: observer?.onAssignStatement(exprResolver.simpleValueResolver, stmt, scope)