From 1a6c7225ee50b4669254e35d0dc1351657d5f206 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sergej=20Ko=C5=A1=C4=8Dejev?= <sergej@koscejev.cz>
Date: Mon, 8 Jun 2026 09:03:16 +0200
Subject: [PATCH] feat: add support for MPS 2025.1.2

---
 .idea/compiler.xml                                             | 2 +-
 .idea/gradle.xml                                               | 1 +
 .idea/kotlinc.xml                                              | 3 ++-
 .idea/misc.xml                                                 | 2 +-
 build.gradle.kts                                               | 1 +
 .../main/kotlin/org/modelix/mps/api/ModelixMpsApiImpl251.kt    | 3 +++
 lib/src/main/kotlin/org/modelix/mps/api/ModelixMpsApi.kt       | 1 +
 settings.gradle.kts                                            | 1 +
 8 files changed, 11 insertions(+), 3 deletions(-)
 create mode 100644 impl251/src/main/kotlin/org/modelix/mps/api/ModelixMpsApiImpl251.kt

diff --git a/.idea/compiler.xml b/.idea/compiler.xml
index d9076ec..16788c3 100644
--- a/.idea/compiler.xml
+++ b/.idea/compiler.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
   <component name="CompilerConfiguration">
-    <bytecodeTargetLevel>
+    <bytecodeTargetLevel target="11">
       <module name="modelix.mps-api.buildSrc" target="21" />
       <module name="modelix.mps-api.buildSrc.main" target="21" />
       <module name="modelix.mps-api.buildSrc.test" target="21" />
diff --git a/.idea/gradle.xml b/.idea/gradle.xml
index 247e294..79479e7 100644
--- a/.idea/gradle.xml
+++ b/.idea/gradle.xml
@@ -19,6 +19,7 @@
             <option value="$PROJECT_DIR$/impl233" />
             <option value="$PROJECT_DIR$/impl241" />
             <option value="$PROJECT_DIR$/impl243" />
+            <option value="$PROJECT_DIR$/impl251" />
             <option value="$PROJECT_DIR$/lib" />
           </set>
         </option>
diff --git a/.idea/kotlinc.xml b/.idea/kotlinc.xml
index c224ad5..2e4da65 100644
--- a/.idea/kotlinc.xml
+++ b/.idea/kotlinc.xml
@@ -1,6 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
   <component name="KotlinJpsPluginSettings">
-    <option name="version" value="2.0.21" />
+    <option name="externalSystemId" value="Gradle" />
+    <option name="version" value="2.3.21" />
   </component>
 </project>
\ No newline at end of file
diff --git a/.idea/misc.xml b/.idea/misc.xml
index 4b0bf0d..f11bcc5 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -4,5 +4,5 @@
   <component name="FrameworkDetectionExcludesConfiguration">
     <file type="web" url="file://$PROJECT_DIR$" />
   </component>
-  <component name="ProjectRootManager" version="2" languageLevel="JDK_21" default="true" project-jdk-name="temurin-21" project-jdk-type="JavaSDK" />
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_11" project-jdk-name="temurin-21" project-jdk-type="JavaSDK" />
 </project>
\ No newline at end of file
diff --git a/build.gradle.kts b/build.gradle.kts
index f9964ad..5205dfb 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -27,6 +27,7 @@ val mpsVersions = mapOf<Int, String>(
     233 to "2023.3.2",
     241 to "2024.1.1",
     243 to "2024.3",
+    251 to "2025.1.2",
 )
 
 var previousMajorVersions_: List<Int> = emptyList()
diff --git a/impl251/src/main/kotlin/org/modelix/mps/api/ModelixMpsApiImpl251.kt b/impl251/src/main/kotlin/org/modelix/mps/api/ModelixMpsApiImpl251.kt
new file mode 100644
index 0000000..113827d
--- /dev/null
+++ b/impl251/src/main/kotlin/org/modelix/mps/api/ModelixMpsApiImpl251.kt
@@ -0,0 +1,3 @@
+package org.modelix.mps.api
+
+open class ModelixMpsApiImpl251 : ModelixMpsApiImpl243()
diff --git a/lib/src/main/kotlin/org/modelix/mps/api/ModelixMpsApi.kt b/lib/src/main/kotlin/org/modelix/mps/api/ModelixMpsApi.kt
index 90cd7f2..81d99ce 100644
--- a/lib/src/main/kotlin/org/modelix/mps/api/ModelixMpsApi.kt
+++ b/lib/src/main/kotlin/org/modelix/mps/api/ModelixMpsApi.kt
@@ -28,6 +28,7 @@ private fun resolveInstance(): IModelixMpsApi {
         233 -> ModelixMpsApiImpl233()
         241 -> ModelixMpsApiImpl241()
         243 -> ModelixMpsApiImpl243()
+        251 -> ModelixMpsApiImpl251()
         else -> throw UnsupportedOperationException("Unsupported MPS version: $mpsVersion")
     }
 }
diff --git a/settings.gradle.kts b/settings.gradle.kts
index 39f50e5..9102158 100644
--- a/settings.gradle.kts
+++ b/settings.gradle.kts
@@ -19,6 +19,7 @@ val mpsVersions = mapOf<Int, String>(
     233 to "2023.3.2",
     241 to "2024.1.1",
     243 to "2024.3",
+    251 to "2025.1.2",
 )
 
 for (majorVersion in mpsVersions.keys) {