Extract const

Lipen · Lipen · commit de0ebd3fa99c · 2025-08-05T14:20:11.000+03:00
diff --git a/usvm-ts/src/main/kotlin/org/usvm/machine/expr/CallApproximations.kt b/usvm-ts/src/main/kotlin/org/usvm/machine/expr/CallApproximations.kt
@@ -537,10 +537,12 @@ private fun TsExprResolver.handleArrayJoin(
         "Array.join() is not fully implemented, returning a symbolic string constant"
     }
     scope.calcOnState {
-        mkStringConstant("joined_array_result", scope)
+        mkStringConstant(ARRAY_JOIN_RESULT, scope)
     }
 }
 
+private const val ARRAY_JOIN_RESULT = "joined_array_result"
+
 /**
  * Handles the `Array.slice(start, end)` method call.
  * Returns a shallow copy of a portion of the array from the `start` index to the `end` index.

Original file line number	Diff line number	Diff line change
`@@ -537,10 +537,12 @@ private fun TsExprResolver.handleArrayJoin(`
`537`	`537`	`"Array.join() is not fully implemented, returning a symbolic string constant"`
`538`	`538`	`}`
`539`	`539`	`scope.calcOnState {`
`540`		`- mkStringConstant("joined_array_result", scope)`
	`540`	`+ mkStringConstant(ARRAY_JOIN_RESULT, scope)`
`541`	`541`	`}`
`542`	`542`	`}`
`543`	`543`
	`544`	`+private const val ARRAY_JOIN_RESULT = "joined_array_result"`
	`545`	`+`
`544`	`546`	`/**`
`545`	`547`	* Handles the `Array.slice(start, end)` method call.
`546`	`548`	* Returns a shallow copy of a portion of the array from the `start` index to the `end` index.