Merge branch 'master' into renovate/com.github.breadmoirai.github-release-2.x

Author: arimer

.github/workflows/vulnerability-scanning.yml

@@ -13,7 +13,7 @@ jobs:
           distribution: temurin
           java-version: 17
       - name: Setup Gradle
-        uses: gradle/actions/setup-gradle@ac638b010cf58a27ee6c972d7336334ccaf61c96 # v4
+        uses: gradle/actions/setup-gradle@ed408507eac070d1f99cc633dbcf757c94c7933a # v4
       - name: Call setup
         run: ./gradlew dependencies
       - name: Dependency Check

CHANGELOG.md

@@ -6,6 +6,13 @@ Format of the log is _loosely_ based on [Keep a Changelog](https://keepachangelo
 The project does _not_ follow Semantic Versioning and the changes are documented in reverse chronological order, grouped by calendar month.
 
 
+## September 2025
+
+### Fixed
+
+- Variability: In the configuration editor, pressing Return/Enter anywhere will create an empty line after the configuration. Pressing Shift-Return/Enter on the header line of a configuration will create an empty line before the configuration.
+
+
 ## July 2025
 
 ### Fixed
@@ -18,6 +25,7 @@ The project does _not_ follow Semantic Versioning and the changes are documented
 - CI tests for InterpreterCoverageAssQuery which make use use the calculated coverage data
 - Solver: Add test infrastructure to ensure that errors computed by any solver are converted to editor messages properly.
 - Variability: APIs for FilterParams (configuration of filter&instantiate process) and skeleton tree data structure were extended
+- Warning for BangOp in case type is not OptionType
 
 
 ## June 2025

code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/typesystem.mps

@@ -276,6 +276,9 @@
       </concept>
     </language>
     <language id="7a5dda62-9140-4668-ab76-d5ed1746f2b2" name="jetbrains.mps.lang.typesystem">
+      <concept id="1207055528241" name="jetbrains.mps.lang.typesystem.structure.WarningStatement" flags="nn" index="a7r0C">
+        <child id="1207055552304" name="warningText" index="a7wSD" />
+      </concept>
       <concept id="1766949807893567867" name="jetbrains.mps.lang.typesystem.structure.OverridesConceptFunction" flags="ig" index="bXqS6" />
       <concept id="1185788614172" name="jetbrains.mps.lang.typesystem.structure.NormalTypeClause" flags="ng" index="mw_s8">
         <child id="1185788644032" name="normalType" index="mwGJk" />
@@ -11144,5 +11147,46 @@
     </node>
     <node concept="3Tm1VV" id="3eH6BL2UU3s" role="1B3o_S" />
   </node>
+  <node concept="18kY7G" id="6rS$_kMPZL2">
+    <property role="TrG5h" value="check_BangOp" />
+    <node concept="3clFbS" id="6rS$_kMPZL3" role="18ibNy">
+      <node concept="3clFbJ" id="6rS$_kMQ0WU" role="3cqZAp">
+        <node concept="3fqX7Q" id="6rS$_kMQ2_Q" role="3clFbw">
+          <node concept="2OqwBi" id="6rS$_kMQ2_S" role="3fr31v">
+            <node concept="2OqwBi" id="6rS$_kMQ2_T" role="2Oq$k0">
+              <node concept="2OqwBi" id="6rS$_kMQ2_U" role="2Oq$k0">
+                <node concept="1YBJjd" id="6rS$_kMQ2_V" role="2Oq$k0">
+                  <ref role="1YBMHb" node="6rS$_kMPZL5" resolve="bangOp" />
+                </node>
+                <node concept="3TrEf2" id="6rS$_kMQ2_W" role="2OqNvi">
+                  <ref role="3Tt5mk" to="hm2y:3G_qVqIw4zp" resolve="expr" />
+                </node>
+              </node>
+              <node concept="3JvlWi" id="6rS$_kMQ2_X" role="2OqNvi" />
+            </node>
+            <node concept="1mIQ4w" id="6rS$_kMQ2_Y" role="2OqNvi">
+              <node concept="chp4Y" id="6rS$_kMQ2_Z" role="cj9EA">
+                <ref role="cht4Q" to="hm2y:2rOWEwsEjcg" resolve="OptionType" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbS" id="6rS$_kMQ0WW" role="3clFbx">
+          <node concept="a7r0C" id="6rS$_kMQ2Ju" role="3cqZAp">
+            <node concept="Xl_RD" id="6rS$_kMQ2JB" role="a7wSD">
+              <property role="Xl_RC" value="Bang operator applied for an expression of a non-option type" />
+            </node>
+            <node concept="1YBJjd" id="6rS$_kMQ2UR" role="1urrMF">
+              <ref role="1YBMHb" node="6rS$_kMPZL5" resolve="bangOp" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1YaCAy" id="6rS$_kMPZL5" role="1YuTPh">
+      <property role="TrG5h" value="bangOp" />
+      <ref role="1YaFvo" to="hm2y:24Fec4173Us" resolve="BangOp" />
+    </node>
+  </node>
 </model>