Add support for correct generation of inner tests

Author: tepa46

utbot-framework/src/main/kotlin/org/utbot/framework/codegen/renderer/CgJavaRenderer.kt

@@ -226,9 +226,23 @@ internal class CgJavaRenderer(context: CgRendererContext, printer: CgPrinter = C
     }
 
     override fun visit(element: CgConstructorCall) {
-        print("new ")
-        print(element.executableId.classId.asString())
-        renderExecutableCallArguments(element)
+        when(element.type.isInner){
+            true -> {
+                // the first argument of inner classes is outer class
+                print(element.arguments.first().accept(this))
+                print(".new ")
+                print(element.executableId.classId.simpleName)
+
+                print("(")
+                element.arguments.drop(1).renderSeparated()
+                print(")")
+            }
+            false -> {
+                print("new ")
+                print(element.executableId.classId.asString())
+                renderExecutableCallArguments(element)
+            }
+        }
     }
 
     override fun renderRegularImport(regularImport: RegularImport) {

utbot-framework/src/main/kotlin/org/utbot/framework/codegen/tree/CgMethodConstructor.kt

@@ -1331,14 +1331,15 @@ open class CgMethodConstructor(val context: CgContext) : CgContextOwner by conte
         val constructorCall = currentExecutableId as ConstructorId
         val executionResult = currentExecution.result
 
+        // TODO usvm-sbft: delete require when #141 will be fixed
+        require(!constructorCall.classId.isInner) {
+            "Inner class ${constructorCall.classId} constructor testing is not supported yet"
+        }
+
         executionResult
             .onSuccess {
                 methodType = SUCCESSFUL
 
-                require(!constructorCall.classId.isInner) {
-                    "Inner class ${constructorCall.classId} constructor testing is not supported yet"
-                }
-
                 actual = newVar(constructorCall.classId, "actual") {
                     constructorCall(*methodArguments.toTypedArray())
                 }