[utbot-rider]

1. introducing first version of UtBot for Rider, based on VSharp symbolic
engine
2. Added `Run Rider` run configuration

Author: Domonion

.run/Run IDE.run.xml renamed to .run/Run IDEA.run.xml

@@ -1,5 +1,5 @@
 <component name="ProjectRunConfigurationManager">
-  <configuration default="false" name="Run IDE" type="GradleRunConfiguration" factoryName="Gradle">
+  <configuration default="false" name="Run IDEA" type="GradleRunConfiguration" factoryName="Gradle">
     <ExternalSystemSettings>
       <option name="executionName" />
       <option name="externalProjectPath" value="$PROJECT_DIR$/utbot-intellij" />

.run/Run Rider.run.xml

@@ -0,0 +1,23 @@
+<component name="ProjectRunConfigurationManager">
+  <configuration default="false" name="Run Rider" type="GradleRunConfiguration" factoryName="Gradle">
+    <ExternalSystemSettings>
+      <option name="executionName" />
+      <option name="externalProjectPath" value="$PROJECT_DIR$/utbot-rider" />
+      <option name="externalSystemIdString" value="GRADLE" />
+      <option name="scriptParameters" value="-PincludeRiderInBuild=true" />
+      <option name="taskDescriptions">
+        <list />
+      </option>
+      <option name="taskNames">
+        <list>
+          <option value="runIde" />
+        </list>
+      </option>
+      <option name="vmOptions" />
+    </ExternalSystemSettings>
+    <ExternalSystemDebugServerProcess>true</ExternalSystemDebugServerProcess>
+    <ExternalSystemReattachDebugProcess>true</ExternalSystemReattachDebugProcess>
+    <DebugAllEnabled>false</DebugAllEnabled>
+    <method v="2" />
+  </configuration>
+</component>

gradle.properties

@@ -32,8 +32,14 @@ collectionsVersion=0.3.4
 # as they cannot be set from properties
 # utbot-intellij/build.gradle.kts
 # utbot-rd/build.gradle
-rdVersion=2022.3.4
+# utbot-rider/build.gradle.kts
 intellijPluginVersion=1.7.0
+# every time you bump rd version:
+# 1. regenerate all models
+# 2. check if rider plugin works
+rdVersion=2022.2.1
+# to enable - add -PincludeRiderInBuild=true in build CLI
+includeRiderInBuild=false
 jacocoVersion=0.8.8
 commonsLangVersion=3.11
 commonsIoVersion=2.8.0
@@ -68,9 +74,17 @@ shadowJarVersion=7.1.2
 openblasVersion=0.3.10-1.5.4
 arpackNgVersion=3.7.0-1.5.4
 
+# configuration for build server
 org.gradle.daemon=false
 org.gradle.parallel=false
 org.gradle.jvmargs="-XX:MaxHeapSize=6144m"
 kotlin.compiler.execution.strategy=in-process
+org.gradle.caching=false
 
-org.gradle.caching=false
+# configuration for local compilation - much faster
+#org.gradle.daemon=true
+#kotlin.daemon.jvm.options=-Xmx4g
+#org.gradle.parallel=true
+#org.gradle.caching=true
+#org.gradle.workers.max=8
+#org.gradle.jvmargs="-XX:MaxHeapSize=6144m"

settings.gradle.kts

@@ -2,6 +2,7 @@ val ideType: String by settings
 
 val pythonIde: String by settings
 val jsIde: String by settings
+val includeRiderInBuild: String by settings
 
 pluginManagement {
     resolutionStrategy {
@@ -40,6 +41,10 @@ include("utbot-testing")
 include("utbot-rd")
 include("utbot-android-studio")
 
+if (includeRiderInBuild.toBoolean()) {
+    include("utbot-rider")
+}
+
 include("utbot-ui-commons")
 
 if (pythonIde.split(",").contains(ideType)) {

utbot-framework/src/main/kotlin/org/utbot/framework/process/generated/EngineProcessModel.Generated.kt

@@ -66,7 +66,10 @@ class EngineProcessModel private constructor(
         fun create(lifetime: Lifetime, protocol: IProtocol): EngineProcessModel  {
             EngineProcessRoot.register(protocol.serializers)
 
-            return EngineProcessModel()
+            return EngineProcessModel().apply {
+                identify(protocol.identity, RdId.Null.mix("EngineProcessModel"))
+                bind(lifetime, protocol, "EngineProcessModel")
+            }
         }
 
 

utbot-framework/src/main/kotlin/org/utbot/framework/process/generated/RdInstrumenterAdapter.Generated.kt

@@ -42,7 +42,10 @@ class RdInstrumenterAdapter private constructor(
         fun create(lifetime: Lifetime, protocol: IProtocol): RdInstrumenterAdapter  {
             EngineProcessRoot.register(protocol.serializers)
 
-            return RdInstrumenterAdapter()
+            return RdInstrumenterAdapter().apply {
+                identify(protocol.identity, RdId.Null.mix("RdInstrumenterAdapter"))
+                bind(lifetime, protocol, "RdInstrumenterAdapter")
+            }
         }
 
         private val __StringNullableSerializer = FrameworkMarshallers.String.nullable()

utbot-framework/src/main/kotlin/org/utbot/framework/process/generated/RdSourceFindingStrategy.Generated.kt

@@ -44,7 +44,10 @@ class RdSourceFindingStrategy private constructor(
         fun create(lifetime: Lifetime, protocol: IProtocol): RdSourceFindingStrategy  {
             EngineProcessRoot.register(protocol.serializers)
 
-            return RdSourceFindingStrategy()
+            return RdSourceFindingStrategy().apply {
+                identify(protocol.identity, RdId.Null.mix("RdSourceFindingStrategy"))
+                bind(lifetime, protocol, "RdSourceFindingStrategy")
+            }
         }
 
         private val __StringNullableSerializer = FrameworkMarshallers.String.nullable()

utbot-instrumentation/src/main/kotlin/org/utbot/instrumentation/rd/generated/InstrumentedProcessModel.Generated.kt

@@ -55,7 +55,10 @@ class InstrumentedProcessModel private constructor(
         fun create(lifetime: Lifetime, protocol: IProtocol): InstrumentedProcessModel  {
             InstrumentedProcessRoot.register(protocol.serializers)
 
-            return InstrumentedProcessModel()
+            return InstrumentedProcessModel().apply {
+                identify(protocol.identity, RdId.Null.mix("InstrumentedProcessModel"))
+                bind(lifetime, protocol, "InstrumentedProcessModel")
+            }
         }
 
 

utbot-rd/build.gradle

@@ -1,5 +1,5 @@
 plugins {
-    id 'com.jetbrains.rdgen' version "2022.3.4"
+    id 'com.jetbrains.rdgen' version "2022.2.1"
 }
 
 import com.jetbrains.rd.generator.gradle.RdGenExtension
@@ -181,4 +181,28 @@ task generateCommonModels(type: RdGenTask) {
         directory = generatedOutputDir.canonicalPath
         namespace = "org.utbot.rd.generated"
     }
+}
+
+task generateCSharpModels(type: RdGenTask) {
+    def currentProjectDir = project.projectDir
+    def riderPluginProjectDir = project.rootProject.projectDir.toPath().resolve("utbot-rider").toFile()
+    def generatedOutputDir = new File (riderPluginProjectDir, "src/dotnet/UtBot/UtBot.Rd/Generated")
+    def hashDir = generatedOutputDir
+    def sourcesDir = new File(currentProjectDir, "src/main/rdgen/org/utbot/rd/models")
+    def rdParams = extensions.getByName("params") as RdGenExtension
+
+    group = "rdgen"
+    rdParams.verbose = true
+    rdParams.sources(sourcesDir)
+    rdParams.hashFolder = hashDir.canonicalPath
+    rdParams.packages = "org.utbot.rd.models"
+
+    rdParams.generator {
+        language = "csharp"
+        transform = "symmetric"
+        root = "org.utbot.rd.models.CSharpRoot"
+
+        directory = generatedOutputDir.canonicalPath
+        namespace = "UtBot.Rd.Generated"
+    }
 }

utbot-rd/src/main/kotlin/org/utbot/rd/generated/SettingsModel.Generated.kt

@@ -43,7 +43,10 @@ class SettingsModel private constructor(
         fun create(lifetime: Lifetime, protocol: IProtocol): SettingsModel  {
             SettingsRoot.register(protocol.serializers)
 
-            return SettingsModel()
+            return SettingsModel().apply {
+                identify(protocol.identity, RdId.Null.mix("SettingsModel"))
+                bind(lifetime, protocol, "SettingsModel")
+            }
         }
 
 

utbot-rd/src/main/kotlin/org/utbot/rd/generated/SynchronizationModel.Generated.kt

@@ -41,7 +41,10 @@ class SynchronizationModel private constructor(
         fun create(lifetime: Lifetime, protocol: IProtocol): SynchronizationModel  {
             SynchronizationRoot.register(protocol.serializers)
 
-            return SynchronizationModel()
+            return SynchronizationModel().apply {
+                identify(protocol.identity, RdId.Null.mix("SynchronizationModel"))
+                bind(lifetime, protocol, "SynchronizationModel")
+            }
         }
 
 

utbot-rd/src/main/rdgen/org/utbot/rd/models/CSharpModel.kt

@@ -0,0 +1,27 @@
+@file:Suppress("unused")
+package org.utbot.rd.models
+
+import com.jetbrains.rd.generator.nova.*
+
+object CSharpRoot: Root()
+
+object VSharpModel: Ext(CSharpRoot) {
+    val generateArguments = structdef {
+        field("assemblyPath", PredefinedType.string)
+        field("projectCsprojPath", PredefinedType.string)
+        field("solutionFilePath", PredefinedType.string)
+        field("moduleFqnName", PredefinedType.string)
+        field("methodToken", PredefinedType.int)
+        field("generationTimeoutInSeconds", PredefinedType.int)
+    }
+
+    val generateResults = structdef {
+        field("generatedProjectPath", PredefinedType.string)
+        field("generatedFilesPaths", array(PredefinedType.string))
+    }
+
+    init {
+        call("generate", generateArguments, generateResults).async
+        signal("ping", PredefinedType.string).async
+    }
+}

utbot-rd/src/main/rdgen/org/utbot/rd/models/EngineProcessModel.kt

@@ -1,3 +1,4 @@
+@file:Suppress("unused")
 package org.utbot.rd.models
 
 import com.jetbrains.rd.generator.nova.*

utbot-rd/src/main/rdgen/org/utbot/rd/models/InstrumentedProcessModel.kt

@@ -1,3 +1,4 @@
+@file:Suppress("unused")
 package org.utbot.rd.models
 
 import com.jetbrains.rd.generator.nova.*

utbot-rd/src/main/rdgen/org/utbot/rd/models/SettingsModel.kt

@@ -1,3 +1,5 @@
+@file:Suppress("unused")
+
 package org.utbot.rd.models
 
 import com.jetbrains.rd.generator.nova.*

utbot-rd/src/main/rdgen/org/utbot/rd/models/SynchronizationModel.kt

@@ -1,3 +1,4 @@
+@file:Suppress("unused")
 package org.utbot.rd.models
 
 import com.jetbrains.rd.generator.nova.*