resolve sonarcloud bugs

ftsrg · Sep 10, 2023 · c43d0a1 · c43d0a1
1 parent be9444c
commit c43d0a1
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 8 deletions.
diff --git a/...ojects/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/por/XcfaDporLts.kt b/...ojects/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/por/XcfaDporLts.kt
@@ -258,7 +258,8 @@ open class XcfaDporLts(private val xcfa: XCFA) : LTS<S, A> {
 
                 val action = node.inEdge.get().action
                 if (relevantProcesses.contains(action.pid)) {
-                    if (newLastDependents.containsKey(action.pid) && index <= newLastDependents[action.pid]!!) {
+                    if (newLastDependents.containsKey(action.pid) && index <= checkNotNull(
+                            newLastDependents[action.pid])) {
                         // there is an action a' such that  action -> a' -> newaction  (->: happens-before)
                         relevantProcesses.remove(action.pid)
                     } else if (dependent(newaction, action)) {
@@ -277,7 +278,7 @@ open class XcfaDporLts(private val xcfa: XCFA) : LTS<S, A> {
 
                         newLastDependents[action.pid] = index
                         newLastDependents =
-                            max(newLastDependents, stack[index].lastDependents[action.pid]!!)
+                            max(newLastDependents, checkNotNull(stack[index].lastDependents[action.pid]))
                         relevantProcesses.remove(action.pid)
                     }
                 }
@@ -442,9 +443,10 @@ open class XcfaDporLts(private val xcfa: XCFA) : LTS<S, A> {
          */
         private fun noInfluenceOnRealExploration(realStackSize: Int) =
             last.processLastAction.keys.all { process ->
-                last.lastDependents.containsKey(process) && last.lastDependents[process]!!.all { (_, index) ->
-                    index >= realStackSize
-                }
+                last.lastDependents.containsKey(process) &&
+                    checkNotNull(last.lastDependents[process]).all { (_, index) ->
+                        index >= realStackSize
+                    }
             }
     }
 

diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/LoopUnrollPass.kt b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/LoopUnrollPass.kt
@@ -99,13 +99,13 @@ class LoopUnrollPass : ProcedurePass {
             }
 
             loopEdges.forEach {
-                val newSource = if (it.source == loopStart) startLocation else locs[it.source]!!
+                val newSource = if (it.source == loopStart) startLocation else checkNotNull(locs[it.source])
                 val newLabel = if (it.source == loopStart) it.label.removeCondition() else it.label
-                val edge = XcfaEdge(newSource, locs[it.target]!!, newLabel, it.metadata)
+                val edge = XcfaEdge(newSource, checkNotNull(locs[it.target]!!), newLabel, it.metadata)
                 builder.addEdge(edge)
             }
 
-            return locs[loopStart]!!
+            return checkNotNull(locs[loopStart])
         }
 
         fun unroll(builder: XcfaProcedureBuilder, transFunc: ExplStmtTransFunc) {