Fix function name in codegen for mypy (#1512)

tamarinvs19 · web-flow · commit 72264adec864 · 2022-12-15T16:35:33.000+03:00
diff --git a/utbot-python/src/main/kotlin/org/utbot/python/framework/codegen/model/PythonCodeGenerator.kt b/utbot-python/src/main/kotlin/org/utbot/python/framework/codegen/model/PythonCodeGenerator.kt
@@ -193,7 +193,7 @@ class PythonCodeGenerator(
         }
 
         val functionPrefix = "__mypy_check"
-        val functionName = "def ${functionPrefix}_{method.name}(${parameters.joinToString(", ")}):"  // TODO: in future can be "async def"
+        val functionName = "def ${functionPrefix}_${method.name}(${parameters.joinToString(", ")}):"  // TODO: in future can be "async def"
 
         val mypyCheckCode = listOf(
             renderer.toString(),

Original file line number	Diff line number	Diff line change
`@@ -193,7 +193,7 @@ class PythonCodeGenerator(`
`193`	`193`	`}`
`194`	`194`
`195`	`195`	`val functionPrefix = "__mypy_check"`
`196`		`- val functionName = "def ${functionPrefix}_{method.name}(${parameters.joinToString(", ")}):" // TODO: in future can be "async def"`
	`196`	`+ val functionName = "def ${functionPrefix}_${method.name}(${parameters.joinToString(", ")}):" // TODO: in future can be "async def"`
`197`	`197`
`198`	`198`	`val mypyCheckCode = listOf(`
`199`	`199`	`renderer.toString(),`