Fixed bug with Nothing properties

Author: volivan239

utbot-framework/src/main/kotlin/org/utbot/framework/codegen/Domain.kt

@@ -375,16 +375,21 @@ object TestNg : TestFramework(displayName = "TestNG") {
 }
 
 object Junit4 : TestFramework("JUnit4") {
-    private val parametrizedTestsNotSupportedError: Nothing = error("Parametrized tests are not supported for JUnit4")
+    private val parametrizedTestsNotSupportedError: Nothing
+        get() = error("Parametrized tests are not supported for JUnit4")
 
     override val mainPackage: String = JUNIT4_PACKAGE
     override val testAnnotation = "@$mainPackage.Test"
     override val testAnnotationFqn: String = "$mainPackage.Test"
 
-    override val parameterizedTestAnnotation = parametrizedTestsNotSupportedError
-    override val parameterizedTestAnnotationFqn = parametrizedTestsNotSupportedError
-    override val methodSourceAnnotation = parametrizedTestsNotSupportedError
-    override val methodSourceAnnotationFqn = parametrizedTestsNotSupportedError
+    override val parameterizedTestAnnotation
+        get() = parametrizedTestsNotSupportedError
+    override val parameterizedTestAnnotationFqn
+        get() = parametrizedTestsNotSupportedError
+    override val methodSourceAnnotation
+        get() = parametrizedTestsNotSupportedError
+    override val methodSourceAnnotationFqn
+        get() = parametrizedTestsNotSupportedError
 
     override val testAnnotationId = BuiltinClassId(
         name = "$JUNIT4_PACKAGE.Test",

utbot-framework/src/main/kotlin/org/utbot/framework/codegen/model/constructor/tree/TestFrameworkManager.kt

@@ -215,21 +215,6 @@ internal abstract class TestFrameworkManager(val context: CgContext)
      * Add a short test's description depending on the test framework type:
      */
     abstract fun addTestDescription(description: String)
-//    {
-//        if (description == null) return
-//        val testAnnotation =
-//            collectedMethodAnnotations.singleOrNull { it.classId == testFramework.testAnnotationId }
-//
-//        val descriptionArgument = CgNamedAnnotationArgument("description", stringLiteral(description))
-//        if (testAnnotation is CgMultipleArgsAnnotation) {
-//            testAnnotation.arguments += descriptionArgument
-//        } else {
-//            collectedMethodAnnotations += CgMultipleArgsAnnotation(
-//                testFramework.testAnnotationId,
-//                mutableListOf(descriptionArgument)
-//            )
-//        }
-//    }
 
     abstract fun disableTestMethod(reason: String)
 
@@ -399,7 +384,8 @@ internal class TestNgManager(context: CgContext) : TestFrameworkManager(context)
 }
 
 internal class Junit4Manager(context: CgContext) : TestFrameworkManager(context) {
-    private val parametrizedTestsNotSupportedError: Nothing = error("Parametrized tests are not supported for JUnit4")
+    private val parametrizedTestsNotSupportedError: Nothing
+        get() = error("Parametrized tests are not supported for JUnit4")
 
     override val dataProviderMethodsHolder
         get() = parametrizedTestsNotSupportedError