Name refactoring

UnitTestBot · Mar 29, 2024 · 84a35fe · 84a35fe
1 parent d81bf92
commit 84a35fe
Show file tree

Hide file tree

Showing 53 changed files with 436 additions and 394 deletions.
diff --git a/clion-plugin/src/main/kotlin/org/utbot/cpp/clion/plugin/grpc/GrpcRequestBuilderFactory.kt b/clion-plugin/src/main/kotlin/org/utbot/cpp/clion/plugin/grpc/GrpcRequestBuilderFactory.kt
@@ -21,7 +21,7 @@ class GrpcRequestBuilderFactory(
             project.name,
             project.path,
             project.settings.storedSettings.testDirRelativePath,
-            project.settings.storedSettings.buildDirRelativePath
+            project.settings.storedSettings.buildDirRelPath
         )
     }
 

diff --git a/clion-plugin/src/main/kotlin/org/utbot/cpp/clion/plugin/grpc/GrpcRequestBuildersImpl.kt b/clion-plugin/src/main/kotlin/org/utbot/cpp/clion/plugin/grpc/GrpcRequestBuildersImpl.kt
@@ -12,7 +12,7 @@ internal data class ProjectContextBuilder(
     val projectName: String,
     val projectPath: String,
     val testDirRelativePath: String,
-    val buildDirRelativePath: String
+    val buildDirRelPath: String
 ) : GrpcRequestBuilder<Testgen.ProjectContext> {
     override fun build(remoteMapping: RemoteMapping): Testgen.ProjectContext {
         val projectNioPath = Paths.get(projectPath) // project path is not set by user, assuming it is valid
@@ -29,7 +29,7 @@ internal data class ProjectContextBuilder(
                     UTBot.message("settings.project.testsDir.wrong")
                 )
             )
-            .setBuildDirRelativePath(buildDirRelativePath)
+            .setBuildDirRelPath(buildDirRelPath)
             .setProjectName(projectName)
             .setProjectPath(remoteMapping.convertToRemote(projectPath, UTBot.message("projectPath.wrong.conversion")))
             .build()

diff --git a/clion-plugin/src/main/kotlin/org/utbot/cpp/clion/plugin/settings/UTBotAllProjectSettings.kt b/clion-plugin/src/main/kotlin/org/utbot/cpp/clion/plugin/settings/UTBotAllProjectSettings.kt
@@ -24,15 +24,15 @@ class UTBotAllProjectSettings(val project: Project) {
     val buildDirPath: Path
         get() {
             try {
-                return Paths.get(project.path).resolve(storedSettings.buildDirRelativePath)
+                return Paths.get(project.path).resolve(storedSettings.buildDirRelPath)
             } catch (e: InvalidPathException) {
                 throw IllegalPathException(
                     UTBot.message(
                         "paths.invalid",
                         "relative path to build dir",
-                        storedSettings.buildDirRelativePath
+                        storedSettings.buildDirRelPath
                     ),
-                    storedSettings.buildDirRelativePath
+                    storedSettings.buildDirRelPath
                 )
             }
         }
@@ -82,7 +82,7 @@ class UTBotAllProjectSettings(val project: Project) {
 
     fun predictPaths() {
         storedSettings.remotePath = UTBotProjectStoredSettings.REMOTE_PATH_VALUE_FOR_LOCAL_SCENARIO
-        storedSettings.buildDirRelativePath = UTBotProjectStoredSettings.DEFAULT_RELATIVE_PATH_TO_BUILD_DIR
+        storedSettings.buildDirRelPath = UTBotProjectStoredSettings.DEFAULT_RELATIVE_PATH_TO_BUILD_DIR
         storedSettings.targetPath = UTBotTarget.autoTarget.path
     }
 

diff --git a/clion-plugin/src/main/kotlin/org/utbot/cpp/clion/plugin/settings/UTBotConfigurable.kt b/clion-plugin/src/main/kotlin/org/utbot/cpp/clion/plugin/settings/UTBotConfigurable.kt
@@ -135,7 +135,7 @@ class UTBotConfigurable(private val myProject: Project) : BoundConfigurable(
 
     private fun Panel.createPathsSettings() {
         row(UTBot.message("settings.project.buildDir")) {
-            textField().bindText(settings::buildDirRelativePath).columns(COLUMNS_LARGE)
+            textField().bindText(settings::buildDirRelPath).columns(COLUMNS_LARGE)
                 .validateInput(ValidationCondition(UTBot.message("validation.not.empty")) {
                     it.text.stripLeadingSlashes().isNotEmpty()
                 })

diff --git a/...-plugin/src/main/kotlin/org/utbot/cpp/clion/plugin/settings/UTBotProjectStoredSettings.kt b/...-plugin/src/main/kotlin/org/utbot/cpp/clion/plugin/settings/UTBotProjectStoredSettings.kt
@@ -29,7 +29,7 @@ class UTBotProjectStoredSettings(val project: Project) : PersistentStateComponen
 
     // serialized by the ide
     data class State(
-        var buildDirRelativePath: String = DEFAULT_RELATIVE_PATH_TO_BUILD_DIR,
+        var buildDirRelPath: String = DEFAULT_RELATIVE_PATH_TO_BUILD_DIR,
         var testsDirRelativePath: String = DEFAULT_TESTS_DIR_RELATIVE_PATH,
         var targetPath: String = UTBotTarget.autoTarget.path,
         var remotePath: String = REMOTE_PATH_VALUE_FOR_LOCAL_SCENARIO,
@@ -44,7 +44,7 @@ class UTBotProjectStoredSettings(val project: Project) : PersistentStateComponen
         var isPluginEnabled: Boolean = false
     ) {
         fun fromSettingsModel(model: UTBotSettingsModel) {
-            buildDirRelativePath = model.projectSettings.buildDirRelativePath
+            buildDirRelPath = model.projectSettings.buildDirRelPath
             testsDirRelativePath = model.projectSettings.testsDirRelativePath
             targetPath = model.projectSettings.targetPath
             remotePath = model.projectSettings.remotePath
@@ -129,10 +129,10 @@ class UTBotProjectStoredSettings(val project: Project) : PersistentStateComponen
         else
             Paths.get(project.path).relativize(Paths.get(targetPath)).toString()
 
-    var buildDirRelativePath: String
-        get() = myState.buildDirRelativePath.stripLeadingSlashes()
+    var buildDirRelPath: String
+        get() = myState.buildDirRelPath.stripLeadingSlashes()
         set(value) {
-            myState.buildDirRelativePath = value
+            myState.buildDirRelPath = value
         }
 
     var isPluginEnabled: Boolean

diff --git a/clion-plugin/src/main/kotlin/org/utbot/cpp/clion/plugin/ui/wizard/steps/BuildOptionsStep.kt b/clion-plugin/src/main/kotlin/org/utbot/cpp/clion/plugin/ui/wizard/steps/BuildOptionsStep.kt
@@ -18,7 +18,7 @@ class BuildOptionsStep(parentDisposable: Disposable, private val settingsModel:
         addHtml("media/options_wizard_text.html")
         panel {
             row("Relative path to Build directory") {
-                textField().bindText(settingsModel.projectSettings::buildDirRelativePath).columns(COLUMNS_LARGE)
+                textField().bindText(settingsModel.projectSettings::buildDirRelPath).columns(COLUMNS_LARGE)
                     .validateWith(ValidationCondition(UTBot.message("validation.not.empty")) { it.text.isNotEmpty() })
             }
 

diff --git a/...rc/test/kotlin/org/utbot/cpp/clion/plugin/tests/buildingRequestsTests/BaseBuildingTest.kt b/...rc/test/kotlin/org/utbot/cpp/clion/plugin/tests/buildingRequestsTests/BaseBuildingTest.kt
@@ -26,14 +26,14 @@ open class BaseBuildingTest {
         Paths.get(File(".").canonicalPath).resolve("../integration-tests/c-example-mini").normalize()
     protected val testsDirRelativePath = "cl-plugin-test-tests"
     protected val testsDirectoryPath: Path = projectPath.resolve(testsDirRelativePath)
-    protected val buildDirRelativePath = "build"
+    protected val buildDirRelPath = "build"
     protected val fixture: CodeInsightTestFixture = createFixture(projectPath)
     protected val project: Project
         get() = fixture.project
     val settings = project.settings.storedSettings
 
     init {
-        settings.buildDirRelativePath = buildDirRelativePath
+        settings.buildDirRelPath = buildDirRelPath
         settings.testDirRelativePath = projectPath.relativize(testsDirectoryPath).toString()
         settings.isPluginEnabled = true
         project.logger.logWriters.let {
@@ -56,7 +56,7 @@ open class BaseBuildingTest {
             projectName = project.name
             testDirPath =
                 if (isRemote) "$remotePath/$testsDirRelativePath" else this@BaseBuildingTest.testsDirectoryPath.toString()
-            buildDirRelativePath = this@BaseBuildingTest.buildDirRelativePath
+            buildDirRelPath = this@BaseBuildingTest.buildDirRelPath
         }.build()
     }
 
@@ -89,4 +89,4 @@ open class BaseBuildingTest {
 
         return event
     }
-}
+}
diff --git a/...c/test/kotlin/org/utbot/cpp/clion/plugin/tests/integrationTests/BaseGenerationTestCase.kt b/...c/test/kotlin/org/utbot/cpp/clion/plugin/tests/integrationTests/BaseGenerationTestCase.kt
@@ -41,7 +41,7 @@ abstract class BaseGenerationTestCase {
         get() = project.client
 
     init {
-        project.settings.storedSettings.buildDirRelativePath = buildDirName
+        project.settings.storedSettings.buildDirRelPath = buildDirName
         project.settings.storedSettings.testDirRelativePath = projectPath.relativize(testsDirectoryPath).toString()
         project.settings.storedSettings.isPluginEnabled = true
         project.logger.logWriters.let {
@@ -102,4 +102,4 @@ abstract class BaseGenerationTestCase {
         fixture.tearDown()
         Logger.info("tearDownAll of BaseGenerationTest has finished!")
     }
-}
+}
diff --git a/server/proto/testgen.proto b/server/proto/testgen.proto
@@ -86,10 +86,11 @@ message LogEntry {
 message ProjectContext {
     string projectName = 1;
     string projectPath = 2;
-    string testDirPath = 3;
-    string buildDirRelativePath = 4;
-    string clientProjectPath = 5;
-    string itfPath = 6;
+    string clientProjectPath = 3;
+    string testDirRelPath = 4;
+    string reportDirRelPath = 5;
+    string buildDirRelPath = 6;
+    string itfRelPath = 7;
 }
 
 enum ErrorMode {

diff --git a/server/src/KleeRunner.cpp b/server/src/KleeRunner.cpp
@@ -122,7 +122,7 @@ void KleeRunner::runKlee(const std::vector<tests::TestMethod> &testMethods,
     testsWriter->writeTestsWithProgress(
         testsMap,
         "Running klee",
-        projectContext.testDirPath,
+        projectContext.getTestDirAbsPath(),
         std::move(prepareTests),
         std::move(prepareTotal));
 }