Skip to content

Commit e2b4194

Browse files
committed
Apply review fixes
1 parent dca75eb commit e2b4194

File tree

135 files changed

+281
-270
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

135 files changed

+281
-270
lines changed

utbot-analytics/src/test/kotlin/org/utbot/features/FeatureProcessorWithRepetitionTest.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,13 +5,13 @@ import org.junit.jupiter.api.Assertions
55
import org.junit.jupiter.api.BeforeAll
66
import org.junit.jupiter.api.Test
77
import org.utbot.analytics.EngineAnalyticsContext
8-
import org.utbot.examples.UtTestCaseChecker
8+
import org.utbot.examples.UtValueTestCaseChecker
99
import org.utbot.examples.eq
1010
import org.utbot.examples.withFeaturePath
1111
import java.io.File
1212
import java.io.FileInputStream
1313

14-
class FeatureProcessorWithRepetitionTest : UtTestCaseChecker(OnePath::class, false) {
14+
class FeatureProcessorWithRepetitionTest : UtValueTestCaseChecker(OnePath::class, false) {
1515
companion object {
1616
const val featureDir = "src/test/resources/features"
1717
fun reward(coverage: Double, time: Double) = RewardEstimator.reward(coverage, time)

utbot-cli/src/main/kotlin/org/utbot/cli/BunchTestGeneratorCommand.kt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -99,7 +99,7 @@ class BunchTestGeneratorCommand : GenerateTestsAbstractCommand(
9999

100100
initializeEngine(workingDirectory)
101101

102-
// utContext is used in `generateTestCases`, `generateTest`, `generateReport`
102+
// utContext is used in `generate`, `generateTest`, `generateReport`
103103
withUtContext(UtContext(classLoader)) {
104104

105105
val testClassName = "${classUnderTest.simpleName}Test"

utbot-cli/src/main/kotlin/org/utbot/cli/GenerateTestsAbstractCommand.kt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -159,7 +159,7 @@ abstract class GenerateTestsAbstractCommand(name: String, help: String) :
159159
searchDirectory: Path,
160160
chosenClassesToMockAlways: Set<ClassId>
161161
): List<UtTestCase> =
162-
TestCaseGenerator.generateTestCases(
162+
TestCaseGenerator.generate(
163163
targetMethods,
164164
mockStrategy,
165165
chosenClassesToMockAlways,

utbot-cli/src/main/kotlin/org/utbot/cli/GenerateTestsCommand.kt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -97,7 +97,7 @@ class GenerateTestsCommand :
9797
if (targetMethods.isEmpty()) {
9898
throw Exception("Nothing to process. No methods were provided")
9999
}
100-
// utContext is used in `generateTestCases`, `generateTest`, `generateReport`
100+
// utContext is used in `generate`, `generateTest`, `generateReport`
101101
withUtContext(UtContext(targetMethods.first().clazz.java.classLoader)) {
102102

103103
val testClassName = output?.toPath()?.toFile()?.nameWithoutExtension

utbot-framework/src/main/kotlin/org/utbot/external/api/UtBotJavaApi.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -127,7 +127,7 @@ object UtBotJavaApi {
127127
FileUtil.isolateClassFiles(classUnderTest.kotlin).toPath(), classpath, dependencyClassPath
128128
)
129129
}
130-
.generateTestCases(
130+
.generate(
131131
methodsForAutomaticGeneration.map {
132132
toUtMethod(
133133
it.methodToBeTestedFromUserInput,
@@ -191,7 +191,7 @@ object UtBotJavaApi {
191191
init(
192192
FileUtil.isolateClassFiles(classUnderTest.kotlin).toPath(), classpath, dependencyClassPath
193193
)
194-
}.generateTestCases(
194+
}.generate(
195195
methodsForAutomaticGeneration.map {
196196
toUtMethod(
197197
it.methodToBeTestedFromUserInput,

utbot-framework/src/main/kotlin/org/utbot/framework/plugin/api/TestCaseGenerator.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -125,7 +125,7 @@ object TestCaseGenerator {
125125
}
126126

127127
@Throws(CancellationException::class)
128-
fun generateTestCasesAsync(
128+
fun generateAsync(
129129
controller: EngineController,
130130
method: UtMethod<*>,
131131
mockStrategy: MockStrategyApi,
@@ -136,7 +136,7 @@ object TestCaseGenerator {
136136
return createDefaultFlow(engine)
137137
}
138138

139-
fun generateTestCases(
139+
fun generate(
140140
methods: List<UtMethod<*>>,
141141
mockStrategy: MockStrategyApi,
142142
chosenClassesToMockAlways: Set<ClassId> = Mocker.javaDefaultClasses.mapTo(mutableSetOf()) { it.id },

utbot-framework/src/main/kotlin/org/utbot/framework/plugin/sarif/GenerateTestsAndSarifReportFacade.kt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -70,7 +70,7 @@ class GenerateTestsAndSarifReportFacade(
7070
}
7171

7272
private fun generateTestCases(targetClass: TargetClassWrapper, workingDirectory: Path): List<UtTestCase> =
73-
TestCaseGenerator.generateTestCases(
73+
TestCaseGenerator.generate(
7474
targetClass.targetMethods(),
7575
sarifProperties.mockStrategy,
7676
sarifProperties.classesToMockAlways,

utbot-framework/src/test/kotlin/org/utbot/examples/TestSpecificTestCaseGenerator.kt

Lines changed: 14 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ import mu.KotlinLogging
55
import org.utbot.common.runBlockingWithCancellationPredicate
66
import org.utbot.common.runIgnoringCancellationException
77
import org.utbot.engine.EngineController
8+
import org.utbot.engine.UtBotSymbolicEngine
89
import org.utbot.framework.UtSettings
910
import org.utbot.framework.plugin.api.MockStrategyApi
1011
import org.utbot.framework.plugin.api.TestCaseGenerator
@@ -13,10 +14,22 @@ import org.utbot.framework.plugin.api.UtExecution
1314
import org.utbot.framework.plugin.api.UtMethod
1415
import org.utbot.framework.plugin.api.UtTestCase
1516
import org.utbot.framework.util.jimpleBody
17+
import java.nio.file.Path
1618

19+
/**
20+
* Special [UtTestCase] generator for test methods that has a correct
21+
* wrapper for suspend function [TestCaseGenerator.generateAsync].
22+
*/
1723
object TestSpecificTestCaseGenerator {
1824
private val logger = KotlinLogging.logger {}
1925

26+
fun init(buildDir: Path,
27+
classpath: String?,
28+
dependencyPaths: String,
29+
engineActions: MutableList<(UtBotSymbolicEngine) -> Unit> = mutableListOf(),
30+
isCanceled: () -> Boolean = { false },
31+
) = TestCaseGenerator.init(buildDir, classpath, dependencyPaths, engineActions, isCanceled)
32+
2033
fun generate(method: UtMethod<*>, mockStrategy: MockStrategyApi): UtTestCase {
2134
logger.trace { "UtSettings:${System.lineSeparator()}" + UtSettings.toString() }
2235

@@ -27,7 +40,7 @@ object TestSpecificTestCaseGenerator {
2740

2841
runIgnoringCancellationException {
2942
runBlockingWithCancellationPredicate(TestCaseGenerator.isCanceled) {
30-
TestCaseGenerator.generateTestCasesAsync(EngineController(), method, mockStrategy).collect {
43+
TestCaseGenerator.generateAsync(EngineController(), method, mockStrategy).collect {
3144
when (it) {
3245
is UtExecution -> executions += it
3346
is UtError -> errors.merge(it.description, 1, Int::plus)

utbot-framework/src/test/kotlin/org/utbot/examples/UtModelChecker.kt renamed to utbot-framework/src/test/kotlin/org/utbot/examples/UtModelTestCaseChecker.kt

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,6 @@ import org.utbot.framework.plugin.api.FieldId
1515
import org.utbot.framework.plugin.api.MockStrategyApi
1616
import org.utbot.framework.plugin.api.MockStrategyApi.NO_MOCKS
1717
import org.utbot.framework.plugin.api.UtAssembleModel
18-
import org.utbot.framework.plugin.api.TestCaseGenerator
1918
import org.utbot.framework.plugin.api.UtCompositeModel
2019
import org.utbot.framework.plugin.api.UtDirectSetFieldModel
2120
import org.utbot.framework.plugin.api.UtExecution
@@ -40,7 +39,7 @@ import kotlin.reflect.KFunction3
4039
import org.junit.jupiter.api.Assertions.assertTrue
4140
import org.utbot.framework.UtSettings.useFuzzing
4241

43-
internal abstract class UtModelChecker(
42+
internal abstract class UtModelTestCaseChecker(
4443
testClass: KClass<*>,
4544
testCodeGeneration: Boolean = true,
4645
languagePipelines: List<CodeGenerationLanguageLastStage> = listOf(
@@ -138,7 +137,7 @@ internal abstract class UtModelChecker(
138137
buildDir = findPathToClassFiles(classLocation)
139138
previousClassLocation = classLocation
140139
}
141-
TestCaseGenerator.init(buildDir, classpath = null, dependencyPaths = System.getProperty("java.class.path"))
140+
TestSpecificTestCaseGenerator.init(buildDir, classpath = null, dependencyPaths = System.getProperty("java.class.path"))
142141
return TestSpecificTestCaseGenerator.generate(method, mockStrategy)
143142
}
144143

utbot-framework/src/test/kotlin/org/utbot/examples/UtTestCaseChecker.kt renamed to utbot-framework/src/test/kotlin/org/utbot/examples/UtValueTestCaseChecker.kt

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -42,7 +42,6 @@ import org.utbot.framework.plugin.api.MockStrategyApi
4242
import org.utbot.framework.plugin.api.MockStrategyApi.NO_MOCKS
4343
import org.utbot.framework.plugin.api.ObjectMockTarget
4444
import org.utbot.framework.plugin.api.ParameterMockTarget
45-
import org.utbot.framework.plugin.api.TestCaseGenerator
4645
import org.utbot.framework.plugin.api.UtCompositeModel
4746
import org.utbot.framework.plugin.api.UtConcreteValue
4847
import org.utbot.framework.plugin.api.UtInstrumentation
@@ -72,7 +71,7 @@ import kotlin.reflect.KFunction5
7271

7372
val logger = KotlinLogging.logger {}
7473

75-
abstract class UtTestCaseChecker(
74+
abstract class UtValueTestCaseChecker(
7675
testClass: KClass<*>,
7776
testCodeGeneration: Boolean = true,
7877
languagePipelines: List<CodeGenerationLanguageLastStage> = listOf(
@@ -2493,7 +2492,7 @@ abstract class UtTestCaseChecker(
24932492
mockStrategy: MockStrategyApi,
24942493
additionalDependenciesClassPath: String
24952494
): UtTestCase {
2496-
TestCaseGenerator.init(buildDir, additionalDependenciesClassPath, System.getProperty("java.class.path"))
2495+
TestSpecificTestCaseGenerator.init(buildDir, additionalDependenciesClassPath, System.getProperty("java.class.path"))
24972496
return TestSpecificTestCaseGenerator.generate(method, mockStrategy)
24982497
}
24992498

@@ -2504,7 +2503,7 @@ abstract class UtTestCaseChecker(
25042503
): UtTestCase {
25052504
val additionalDependenciesClassPath =
25062505
computeAdditionalDependenciesClasspathAndBuildDir(method, additionalDependencies)
2507-
TestCaseGenerator.init(buildDir, additionalDependenciesClassPath, System.getProperty("java.class.path"))
2506+
TestSpecificTestCaseGenerator.init(buildDir, additionalDependenciesClassPath, System.getProperty("java.class.path"))
25082507
withUtContext(UtContext(method.clazz.java.classLoader)) {
25092508
return TestSpecificTestCaseGenerator.generate(method, mockStrategy)
25102509
}

utbot-framework/src/test/kotlin/org/utbot/examples/algorithms/BinarySearchTest.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
package org.utbot.examples.algorithms
22

3-
import org.utbot.examples.UtTestCaseChecker
3+
import org.utbot.examples.UtValueTestCaseChecker
44
import org.utbot.examples.ignoreExecutionsNumber
55
import org.utbot.examples.isException
66
import org.utbot.framework.plugin.api.DocCodeStmt
@@ -9,7 +9,7 @@ import org.utbot.framework.plugin.api.DocRegularStmt
99
import org.utbot.framework.plugin.api.DocStatement
1010
import org.junit.jupiter.api.Test
1111

12-
class BinarySearchTest : UtTestCaseChecker(testClass = BinarySearch::class,) {
12+
class BinarySearchTest : UtValueTestCaseChecker(testClass = BinarySearch::class,) {
1313
@Test
1414
fun testLeftBinarySearch() {
1515
val fullSummary = listOf<DocStatement>(

utbot-framework/src/test/kotlin/org/utbot/examples/algorithms/CorrectBracketSequencesTest.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
package org.utbot.examples.algorithms
22

3-
import org.utbot.examples.UtTestCaseChecker
3+
import org.utbot.examples.UtValueTestCaseChecker
44
import org.utbot.examples.algorithms.CorrectBracketSequences.isBracket
55
import org.utbot.examples.algorithms.CorrectBracketSequences.isOpen
66
import org.utbot.examples.eq
@@ -14,7 +14,7 @@ import org.utbot.framework.plugin.api.DocPreTagStatement
1414
import org.utbot.framework.plugin.api.DocRegularStmt
1515
import org.junit.jupiter.api.Test
1616

17-
internal class CorrectBracketSequencesTest : UtTestCaseChecker(
17+
internal class CorrectBracketSequencesTest : UtValueTestCaseChecker(
1818
testClass = CorrectBracketSequences::class,
1919
testCodeGeneration = true,
2020
languagePipelines = listOf(

utbot-framework/src/test/kotlin/org/utbot/examples/algorithms/GraphTest.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
package org.utbot.examples.algorithms
22

3-
import org.utbot.examples.UtTestCaseChecker
3+
import org.utbot.examples.UtValueTestCaseChecker
44
import org.utbot.examples.eq
55
import org.utbot.examples.ignoreExecutionsNumber
66
import org.utbot.examples.isException
77
import org.junit.jupiter.api.Tag
88
import org.junit.jupiter.api.Test
99

10-
internal class GraphTest : UtTestCaseChecker(testClass = GraphExample::class) {
10+
internal class GraphTest : UtValueTestCaseChecker(testClass = GraphExample::class) {
1111
@Test
1212
@Tag("slow")
1313
fun testRunFindCycle() {

utbot-framework/src/test/kotlin/org/utbot/examples/algorithms/SortTest.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
package org.utbot.examples.algorithms
22

3-
import org.utbot.examples.UtTestCaseChecker
3+
import org.utbot.examples.UtValueTestCaseChecker
44
import org.utbot.examples.eq
55
import org.utbot.examples.ge
66
import org.utbot.examples.ignoreExecutionsNumber
@@ -12,7 +12,7 @@ import org.utbot.framework.plugin.api.DocRegularStmt
1212
import org.utbot.framework.plugin.api.MockStrategyApi
1313
import org.junit.jupiter.api.Test
1414

15-
internal class SortTest : UtTestCaseChecker(testClass = Sort::class) {
15+
internal class SortTest : UtValueTestCaseChecker(testClass = Sort::class) {
1616
@Test
1717
fun testQuickSort() {
1818
check(

utbot-framework/src/test/kotlin/org/utbot/examples/annotations/LombokAnnotationTest.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
package org.utbot.examples.annotations
22

3-
import org.utbot.examples.UtTestCaseChecker
3+
import org.utbot.examples.UtValueTestCaseChecker
44
import org.utbot.examples.DoNotCalculate
55
import org.utbot.examples.annotations.lombok.EnumWithAnnotations
66
import org.utbot.examples.annotations.lombok.EnumWithoutAnnotations
@@ -15,7 +15,7 @@ import org.junit.jupiter.api.Test
1515
* (see, i.e. https://stackoverflow.com/questions/44584487/improve-lombok-data-code-coverage)
1616
* and Lombok code is considered to be already tested itself.
1717
*/
18-
class LombokAnnotationTest : UtTestCaseChecker(testClass = EnumWithAnnotations::class) {
18+
class LombokAnnotationTest : UtValueTestCaseChecker(testClass = EnumWithAnnotations::class) {
1919

2020
@Test
2121
fun testGetterWithAnnotations() {

utbot-framework/src/test/kotlin/org/utbot/examples/annotations/NotNullAnnotationTest.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
package org.utbot.examples.annotations
22

3-
import org.utbot.examples.UtTestCaseChecker
3+
import org.utbot.examples.UtValueTestCaseChecker
44
import org.utbot.examples.eq
55
import org.junit.jupiter.api.Disabled
66
import org.junit.jupiter.api.Test
77

8-
internal class NotNullAnnotationTest : UtTestCaseChecker(testClass = NotNullAnnotation::class) {
8+
internal class NotNullAnnotationTest : UtValueTestCaseChecker(testClass = NotNullAnnotation::class) {
99
@Test
1010
fun testDoesNotThrowNPE() {
1111
check(

utbot-framework/src/test/kotlin/org/utbot/examples/arrays/ArrayOfArraysTest.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
package org.utbot.examples.arrays
22

3-
import org.utbot.examples.UtTestCaseChecker
3+
import org.utbot.examples.UtValueTestCaseChecker
44
import org.utbot.examples.DoNotCalculate
55
import org.utbot.examples.atLeast
66
import org.utbot.examples.casts.ColoredPoint
@@ -11,7 +11,7 @@ import org.utbot.examples.withoutMinimization
1111
import org.junit.jupiter.api.Test
1212

1313
@Suppress("NestedLambdaShadowedImplicitParameter")
14-
internal class ArrayOfArraysTest : UtTestCaseChecker(testClass = ArrayOfArrays::class) {
14+
internal class ArrayOfArraysTest : UtValueTestCaseChecker(testClass = ArrayOfArrays::class) {
1515
@Test
1616
fun testDefaultValues() {
1717
check(

utbot-framework/src/test/kotlin/org/utbot/examples/arrays/ArrayOfObjectsTest.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
package org.utbot.examples.arrays
22

3-
import org.utbot.examples.UtTestCaseChecker
3+
import org.utbot.examples.UtValueTestCaseChecker
44
import org.utbot.examples.DoNotCalculate
55
import org.utbot.examples.atLeast
66
import org.utbot.examples.between
@@ -13,7 +13,7 @@ import org.utbot.framework.plugin.api.CodegenLanguage
1313
import org.junit.jupiter.api.Test
1414

1515
// TODO failed Kotlin compilation SAT-1332
16-
internal class ArrayOfObjectsTest : UtTestCaseChecker(
16+
internal class ArrayOfObjectsTest : UtValueTestCaseChecker(
1717
testClass = ArrayOfObjects::class,
1818
testCodeGeneration = true,
1919
languagePipelines = listOf(

utbot-framework/src/test/kotlin/org/utbot/examples/arrays/ArraysOverwriteValueTest.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
package org.utbot.examples.arrays
22

3-
import org.utbot.examples.UtTestCaseChecker
3+
import org.utbot.examples.UtValueTestCaseChecker
44
import org.utbot.examples.eq
55
import org.utbot.framework.codegen.CodeGeneration
66
import org.utbot.framework.plugin.api.CodegenLanguage
77
import org.junit.jupiter.api.Test
88

99
// TODO failed Kotlin compilation SAT-1332
10-
class ArraysOverwriteValueTest : UtTestCaseChecker(
10+
class ArraysOverwriteValueTest : UtValueTestCaseChecker(
1111
testClass = ArraysOverwriteValue::class,
1212
testCodeGeneration = true,
1313
languagePipelines = listOf(

utbot-framework/src/test/kotlin/org/utbot/examples/arrays/FinalStaticFieldArrayTest.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
package org.utbot.examples.arrays
22

3-
import org.utbot.examples.UtTestCaseChecker
3+
import org.utbot.examples.UtValueTestCaseChecker
44
import org.utbot.examples.ignoreExecutionsNumber
55
import org.junit.jupiter.api.Test
66

7-
internal class FinalStaticFieldArrayTest : UtTestCaseChecker(testClass = FinalStaticFieldArray::class) {
7+
internal class FinalStaticFieldArrayTest : UtValueTestCaseChecker(testClass = FinalStaticFieldArray::class) {
88

99
@Test
1010
fun testFactorial() {

utbot-framework/src/test/kotlin/org/utbot/examples/arrays/IntArrayBasicsTest.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
package org.utbot.examples.arrays
22

3-
import org.utbot.examples.UtTestCaseChecker
3+
import org.utbot.examples.UtValueTestCaseChecker
44
import org.utbot.examples.eq
55
import org.utbot.examples.ge
66
import org.utbot.examples.ignoreExecutionsNumber
@@ -10,7 +10,7 @@ import org.utbot.framework.plugin.api.CodegenLanguage
1010
import org.junit.jupiter.api.Test
1111

1212
// TODO failed Kotlin compilation SAT-1332
13-
internal class IntArrayBasicsTest : UtTestCaseChecker(
13+
internal class IntArrayBasicsTest : UtValueTestCaseChecker(
1414
testClass = IntArrayBasics::class,
1515
testCodeGeneration = true,
1616
languagePipelines = listOf(

utbot-framework/src/test/kotlin/org/utbot/examples/arrays/PrimitiveArraysTest.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
package org.utbot.examples.arrays
22

3-
import org.utbot.examples.UtTestCaseChecker
3+
import org.utbot.examples.UtValueTestCaseChecker
44
import org.utbot.examples.atLeast
55
import org.utbot.examples.eq
66
import org.utbot.examples.isException
@@ -9,7 +9,7 @@ import org.utbot.framework.plugin.api.CodegenLanguage
99
import org.junit.jupiter.api.Test
1010

1111
// TODO failed Kotlin compilation SAT-1332
12-
internal class PrimitiveArraysTest : UtTestCaseChecker(
12+
internal class PrimitiveArraysTest : UtValueTestCaseChecker(
1313
testClass = PrimitiveArrays::class,
1414
testCodeGeneration = true,
1515
languagePipelines = listOf(

0 commit comments

Comments
 (0)