natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Bump up version and compatibility with MPS 232

This commit is contained in:
Fedor Isakov 2023-09-21 14:00:11 +02:00
parent 2fdae19190
commit 19eca73737
6 changed files with 40 additions and 32 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
build.xml
View File

@ -7,7 +7,7 @@
<property name="build.layout" location="${build.dir}/artifacts/coderules" />
<property name="ci.build.num" value="9999" />
<property name="ci.build.tag" value="SNAPSHOT" />
<property name="ci.mps.release" value="222" />
<property name="ci.mps.release" value="232" />
<property name="test.jvmargs" value="-Xss2048k -Xmx2048m" />
<property name="mps.macro.coderules_home" location="${basedir}" />
<property name="mps_home" location="${basedir}/MPS_HOME" />
@ -102,15 +102,15 @@
<id>jetbrains.mps.coderules</id>
<name>MPS Coderules Typechecking</name>
<description>Typechecking with Coderules (experimental)</description>
<version>${ci.mps.release}-0.9.6-b${ci.build.num}</version>
<version>${ci.mps.release}-0.9.7-b${ci.build.num}</version>
<vendor url="jetbrains.com/mps">JetBrains s.r.o.</vendor>
<depends>jetbrains.mps.core</depends>
<depends>jetbrains.mps.testing</depends>
<depends>jetbrains.mps.build</depends>
<depends>jetbrains.mps.ide.java</depends>
<depends>com.intellij.modules.platform</depends>
<idea-version since-build="222.3345" />
<change-notes><![CDATA[<ul><li>Compatible with upcoming 2022 release of MPS</li><li>Built with Java 17</li><li>New Coderules trace view</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
<idea-version since-build="232.8660" />
<change-notes><![CDATA[<ul><li>Compatible with upcoming 2023.2 release of MPS</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
<extensions defaultExtensionNs="com.intellij">
<applicationService serviceImplementation="jetbrains.mps.coderules.ideaplugin.TypecheckingSettings" />
<applicationConfigurable groupId="other" groupWeight="200" instance="jetbrains.mps.coderules.ideaplugin.TypecheckingSettingsPage" id="preferences.typecheckingSettings" />
@ -2115,15 +2115,15 @@
<id>jetbrains.mps.coderules</id>
<name>MPS Coderules Typechecking</name>
<description>Typechecking with Coderules (experimental)</description>
<version>${ci.mps.release}-0.9.6-b${ci.build.num}</version>
<version>${ci.mps.release}-0.9.7-b${ci.build.num}</version>
<vendor url="jetbrains.com/mps">JetBrains s.r.o.</vendor>
<depends>jetbrains.mps.core</depends>
<depends>jetbrains.mps.testing</depends>
<depends>jetbrains.mps.build</depends>
<depends>jetbrains.mps.ide.java</depends>
<depends>com.intellij.modules.platform</depends>
<idea-version since-build="222.3345" />
<change-notes><![CDATA[<ul><li>Compatible with upcoming 2022 release of MPS</li><li>Built with Java 17</li><li>New Coderules trace view</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
<idea-version since-build="232.8660" />
<change-notes><![CDATA[<ul><li>Compatible with upcoming 2023.2 release of MPS</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
<extensions defaultExtensionNs="com.intellij">
<applicationService serviceImplementation="jetbrains.mps.coderules.ideaplugin.TypecheckingSettings" />
<applicationConfigurable groupId="other" groupWeight="200" instance="jetbrains.mps.coderules.ideaplugin.TypecheckingSettingsPage" id="preferences.typecheckingSettings" />
@ -2146,15 +2146,15 @@
<id>jetbrains.mps.coderules</id>
<name>MPS Coderules Typechecking</name>
<description>Typechecking with Coderules (experimental)</description>
<version>${ci.mps.release}-0.9.6-b${ci.build.num}</version>
<version>${ci.mps.release}-0.9.7-b${ci.build.num}</version>
<vendor url="jetbrains.com/mps">JetBrains s.r.o.</vendor>
<depends>jetbrains.mps.core</depends>
<depends>jetbrains.mps.testing</depends>
<depends>jetbrains.mps.build</depends>
<depends>jetbrains.mps.ide.java</depends>
<depends>com.intellij.modules.platform</depends>
<idea-version since-build="222.3345" />
<change-notes><![CDATA[<ul><li>Compatible with upcoming 2022 release of MPS</li><li>Built with Java 17</li><li>New Coderules trace view</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
<idea-version since-build="232.8660" />
<change-notes><![CDATA[<ul><li>Compatible with upcoming 2023.2 release of MPS</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
<extensions defaultExtensionNs="com.intellij">
<applicationService serviceImplementation="jetbrains.mps.coderules.ideaplugin.TypecheckingSettings" />
<applicationConfigurable groupId="other" groupWeight="200" instance="jetbrains.mps.coderules.ideaplugin.TypecheckingSettingsPage" id="preferences.typecheckingSettings" />
@ -3753,15 +3753,15 @@
<id>jetbrains.mps.coderules</id>
<name>MPS Coderules Typechecking</name>
<description>Typechecking with Coderules (experimental)</description>
<version>${ci.mps.release}-0.9.6-b${ci.build.num}</version>
<version>${ci.mps.release}-0.9.7-b${ci.build.num}</version>
<vendor url="jetbrains.com/mps">JetBrains s.r.o.</vendor>
<depends>jetbrains.mps.core</depends>
<depends>jetbrains.mps.testing</depends>
<depends>jetbrains.mps.build</depends>
<depends>jetbrains.mps.ide.java</depends>
<depends>com.intellij.modules.platform</depends>
<idea-version since-build="222.3345" />
<change-notes><![CDATA[<ul><li>Compatible with upcoming 2022 release of MPS</li><li>Built with Java 17</li><li>New Coderules trace view</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
<idea-version since-build="232.8660" />
<change-notes><![CDATA[<ul><li>Compatible with upcoming 2023.2 release of MPS</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
<extensions defaultExtensionNs="com.intellij">
<applicationService serviceImplementation="jetbrains.mps.coderules.ideaplugin.TypecheckingSettings" />
<applicationConfigurable groupId="other" groupWeight="200" instance="jetbrains.mps.coderules.ideaplugin.TypecheckingSettingsPage" id="preferences.typecheckingSettings" />
@ -3865,6 +3865,7 @@
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.constraints.rules.skeleton.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.context.defs.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.context.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.doc.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.analyzers.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.jar" />
@ -6470,6 +6471,7 @@
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.constraints.rules.skeleton.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.context.defs.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.context.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.doc.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.analyzers.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.jar" />

12
coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
View File

@ -122,7 +122,7 @@
<concept id="8654221991637384182" name="jetbrains.mps.build.structure.BuildFileIncludesSelector" flags="ng" index="3qWCbU">
<property id="8654221991637384184" name="pattern" index="3qWCbO" />
</concept>
<concept id="4701820937132344003" name="jetbrains.mps.build.structure.BuildLayout_Container" flags="ng" index="1y1bJS">
<concept id="4701820937132344003" name="jetbrains.mps.build.structure.BuildLayout_Container" flags="ngI" index="1y1bJS">
<child id="7389400916848037006" name="children" index="39821P" />
</concept>
<concept id="841011766566059607" name="jetbrains.mps.build.structure.BuildStringNotEmpty" flags="ng" index="3_J27D" />
@ -138,7 +138,7 @@
</concept>
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ngI" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
@ -301,7 +301,7 @@
<ref role="3Mxwex" node="5Hdh9$IhmQ$" resolve="ci.mps.release" />
</node>
<node concept="3Mxwew" id="2BiN_P7R7Wi" role="3MwsjC">
<property role="3MwjfP" value="-0.9.6-b" />
<property role="3MwjfP" value="-0.9.7-b" />
</node>
<node concept="3Mxwey" id="2BiN_P7R81m" role="3MwsjC">
<ref role="3Mxwex" node="2BiN_P7R7jO" resolve="ci.build.num" />
@ -327,14 +327,14 @@
<node concept="2pNUuL" id="5Hdh9$IhmW_" role="2pNNFR">
<property role="2pNUuO" value="since-build" />
<node concept="2pMdtt" id="5Hdh9$IhnkA" role="2pMdts">
<property role="2pMdty" value="222.3345" />
<property role="2pMdty" value="232.8660" />
</node>
</node>
</node>
<node concept="2pNNFK" id="2fVm_54SZ$e" role="20twgj">
<property role="2pNNFO" value="change-notes" />
<node concept="2pNm8S" id="2p5jUSWfCr8" role="3o6s8t">
<property role="3o6aOc" value="&lt;ul&gt;&lt;li&gt;Compatible with upcoming 2022 release of MPS&lt;/li&gt;&lt;li&gt;Built with Java 17&lt;/li&gt;&lt;li&gt;New Coderules trace view&lt;/li&gt;&lt;li&gt;Bugfixes and optimizations&lt;/li&gt;&lt;/ul&gt;" />
<property role="3o6aOc" value="&lt;ul&gt;&lt;li&gt;Compatible with upcoming 2023.2 release of MPS&lt;/li&gt;&lt;li&gt;Bugfixes and optimizations&lt;/li&gt;&lt;/ul&gt;" />
</node>
</node>
<node concept="2pNNFK" id="2CPBoDATrZn" role="20twgj">
@ -3654,7 +3654,7 @@
<node concept="aVJcg" id="5Hdh9$IhmQ_" role="aVJcv">
<node concept="NbPM2" id="5Hdh9$IhmQA" role="aVJcq">
<node concept="3Mxwew" id="5Hdh9$IhmQB" role="3MwsjC">
<property role="3MwjfP" value="222" />
<property role="3MwjfP" value="232" />
</node>
</node>
</node>

2
samples/fitch/build.xml
View File

@ -909,6 +909,7 @@
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.constraints.rules.skeleton.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.context.defs.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.context.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.doc.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.analyzers.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.jar" />
@ -1773,6 +1774,7 @@
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.constraints.rules.skeleton.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.context.defs.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.context.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.doc.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.analyzers.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.jar" />

2
samples/lambdacalc/build.xml
View File

@ -329,6 +329,7 @@
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.constraints.rules.skeleton.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.context.defs.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.context.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.doc.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.analyzers.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.jar" />
@ -666,6 +667,7 @@
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.constraints.rules.skeleton.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.context.defs.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.context.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.doc.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.analyzers.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.jar" />

16
samples/mpscore/build.xml
View File

@ -7,7 +7,7 @@
<property name="build.layout" location="${build.dir}/artifacts/mpscore" />
<property name="ci.build.num" value="9999" />
<property name="ci.build.tag" value="SNAPSHOT" />
<property name="ci.mps.release" value="222" />
<property name="ci.mps.release" value="232" />
<property name="test.jvmargs" value="-Xss2048k -Xmx2048m" />
<property name="coderules_art" location="${basedir}/../../build/artifacts/coderules" />
<property name="mps.macro.mpscore_home" location="${basedir}" />
@ -5525,14 +5525,14 @@
<id>jetbrains.mps.core.types</id>
<name>MPS Coderules Core Types</name>
<description>Types for core MPS languages with Coderules (experimental)</description>
<version>${ci.mps.release}-0.9.6-b${ci.build.num}</version>
<version>${ci.mps.release}-0.9.7-b${ci.build.num}</version>
<vendor url="jetbrains.com/mps">JetBrains s.r.o.</vendor>
<depends>jetbrains.mps.core</depends>
<depends>jetbrains.mps.coderules</depends>
<depends>jetbrains.mps.build</depends>
<depends>com.intellij.modules.platform</depends>
<idea-version since-build="222.3345" />
<change-notes><![CDATA[<ul><li>Compatible with upcoming 2022 release of MPS</li><li>Built with Java 17</li><li>Suppport for more MPS core languages</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
<idea-version since-build="232.8660" />
<change-notes><![CDATA[<ul><li>Compatible with upcoming 2023.2 release of MPS</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
<extensions defaultExtensionNs="com.intellij">
<mps.LanguageLibrary dir="/languages" />
@ -5547,14 +5547,14 @@
<id>jetbrains.mps.core.types</id>
<name>MPS Coderules Core Types</name>
<description>Types for core MPS languages with Coderules (experimental)</description>
<version>${ci.mps.release}-0.9.6-b${ci.build.num}</version>
<version>${ci.mps.release}-0.9.7-b${ci.build.num}</version>
<vendor url="jetbrains.com/mps">JetBrains s.r.o.</vendor>
<depends>jetbrains.mps.core</depends>
<depends>jetbrains.mps.coderules</depends>
<depends>jetbrains.mps.build</depends>
<depends>com.intellij.modules.platform</depends>
<idea-version since-build="222.3345" />
<change-notes><![CDATA[<ul><li>Compatible with upcoming 2022 release of MPS</li><li>Built with Java 17</li><li>Suppport for more MPS core languages</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
<idea-version since-build="232.8660" />
<change-notes><![CDATA[<ul><li>Compatible with upcoming 2023.2 release of MPS</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
<extensions defaultExtensionNs="com.intellij">
<mps.LanguageLibrary dir="/languages" />
@ -10717,6 +10717,7 @@
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.constraints.rules.skeleton.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.context.defs.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.context.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.doc.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.analyzers.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.jar" />
@ -15627,6 +15628,7 @@
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.constraints.rules.skeleton.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.context.defs.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.context.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.doc.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.analyzers.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.jar" />

12
samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps
View File

@ -105,7 +105,7 @@
<concept id="8654221991637384182" name="jetbrains.mps.build.structure.BuildFileIncludesSelector" flags="ng" index="3qWCbU">
<property id="8654221991637384184" name="pattern" index="3qWCbO" />
</concept>
<concept id="4701820937132344003" name="jetbrains.mps.build.structure.BuildLayout_Container" flags="ng" index="1y1bJS">
<concept id="4701820937132344003" name="jetbrains.mps.build.structure.BuildLayout_Container" flags="ngI" index="1y1bJS">
<child id="7389400916848037006" name="children" index="39821P" />
</concept>
<concept id="841011766566059607" name="jetbrains.mps.build.structure.BuildStringNotEmpty" flags="ng" index="3_J27D" />
@ -121,7 +121,7 @@
</concept>
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ngI" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
@ -225,7 +225,7 @@
<node concept="aVJcg" id="5Hdh9$IhmQ_" role="aVJcv">
<node concept="NbPM2" id="5Hdh9$IhmQA" role="aVJcq">
<node concept="3Mxwew" id="5Hdh9$IhmQB" role="3MwsjC">
<property role="3MwjfP" value="222" />
<property role="3MwjfP" value="232" />
</node>
</node>
</node>
@ -260,7 +260,7 @@
<ref role="3Mxwex" node="5Hdh9$IhmQ$" resolve="ci.mps.release" />
</node>
<node concept="3Mxwew" id="2BiN_P7R7Wi" role="3MwsjC">
<property role="3MwjfP" value="-0.9.6-b" />
<property role="3MwjfP" value="-0.9.7-b" />
</node>
<node concept="3Mxwey" id="2BiN_P7R81m" role="3MwsjC">
<ref role="3Mxwex" node="2BiN_P7R7jO" resolve="ci.build.num" />
@ -286,14 +286,14 @@
<node concept="2pNUuL" id="5Hdh9$IhmW_" role="2pNNFR">
<property role="2pNUuO" value="since-build" />
<node concept="2pMdtt" id="5Hdh9$IhnkA" role="2pMdts">
<property role="2pMdty" value="222.3345" />
<property role="2pMdty" value="232.8660" />
</node>
</node>
</node>
<node concept="2pNNFK" id="2fVm_54SZ$e" role="20twgj">
<property role="2pNNFO" value="change-notes" />
<node concept="2pNm8S" id="2p5jUSWfCr8" role="3o6s8t">
<property role="3o6aOc" value="&lt;ul&gt;&lt;li&gt;Compatible with upcoming 2022 release of MPS&lt;/li&gt;&lt;li&gt;Built with Java 17&lt;/li&gt;&lt;li&gt;Suppport for more MPS core languages&lt;/li&gt;&lt;li&gt;Bugfixes and optimizations&lt;/li&gt;&lt;/ul&gt;" />
<property role="3o6aOc" value="&lt;ul&gt;&lt;li&gt;Compatible with upcoming 2023.2 release of MPS&lt;/li&gt;&lt;li&gt;Bugfixes and optimizations&lt;/li&gt;&lt;/ul&gt;" />
</node>
</node>
<node concept="m$_yC" id="77GimjbRIwv" role="m$_yJ">