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

Fix typechecking rules not migrated by some reason

This commit is contained in:
Fedor Isakov 2023-10-12 14:17:28 +02:00
parent 0eac1c2f4f
commit 65dac57c7f
5 changed files with 64 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
samples/mpscore/languages/jetbrains.mps.baseLanguage.kotlinRefsExt/models/jetbrains.mps.baseLanguage.kotlinRefsExt.types.mps
View File

@ -34,7 +34,7 @@
<concept id="1188207840427" name="jetbrains.mps.baseLanguage.structure.AnnotationInstance" flags="nn" index="2AHcQZ">
<reference id="1188208074048" name="annotation" index="2AI5Lk" />
</concept>
<concept id="1188208481402" name="jetbrains.mps.baseLanguage.structure.HasAnnotation" flags="ng" index="2AJDlI">
<concept id="1188208481402" name="jetbrains.mps.baseLanguage.structure.HasAnnotation" flags="ngI" index="2AJDlI">
<child id="1188208488637" name="annotation" index="2AJF6D" />
</concept>
<concept id="1154032098014" name="jetbrains.mps.baseLanguage.structure.AbstractLoopStatement" flags="nn" index="2LF5Ji">
@ -58,7 +58,7 @@
<concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
<child id="1068431790190" name="initializer" index="33vP2m" />
</concept>
<concept id="1513279640923991009" name="jetbrains.mps.baseLanguage.structure.IGenericClassCreator" flags="ng" index="366HgL">
<concept id="1513279640923991009" name="jetbrains.mps.baseLanguage.structure.IGenericClassCreator" flags="ngI" index="366HgL">
<property id="1513279640906337053" name="inferTypeParams" index="373rjd" />
</concept>
<concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
@ -97,7 +97,7 @@
<concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
<concept id="1068581517677" name="jetbrains.mps.baseLanguage.structure.VoidType" flags="in" index="3cqZAl" />
<concept id="1081506773034" name="jetbrains.mps.baseLanguage.structure.LessThanExpression" flags="nn" index="3eOVzh" />
<concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
<concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ngI" index="1ndlxa">
<reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
<child id="1068499141038" name="actualArgument" index="37wK5m" />
</concept>
@ -118,7 +118,7 @@
</concept>
<concept id="1214918800624" name="jetbrains.mps.baseLanguage.structure.PostfixIncrementExpression" flags="nn" index="3uNrnE" />
<concept id="1073239437375" name="jetbrains.mps.baseLanguage.structure.NotEqualsExpression" flags="nn" index="3y3z36" />
<concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
<concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ngI" index="1B3ioH">
<child id="1178549979242" name="visibility" index="1B3o_S" />
</concept>
<concept id="1144226303539" name="jetbrains.mps.baseLanguage.structure.ForeachStatement" flags="nn" index="1DcWWT">
@ -168,7 +168,7 @@
<child id="7915009415671751864" name="type" index="2FaQuo" />
</concept>
<concept id="237887375562511215" name="jetbrains.mps.baseLanguage.methodReferences.structure.MethodReference" flags="ng" index="37Ijox" />
<concept id="3507059745126391419" name="jetbrains.mps.baseLanguage.methodReferences.structure.IMethodReference" flags="ng" index="3UZKCU">
<concept id="3507059745126391419" name="jetbrains.mps.baseLanguage.methodReferences.structure.IMethodReference" flags="ngI" index="3UZKCU">
<reference id="237887375562511297" name="method" index="37Ijqf" />
<child id="962278442658307079" name="target" index="wWaWy" />
</concept>
@ -177,7 +177,7 @@
<concept id="8456919074574710634" name="jetbrains.mps.logic.structure.ExpressionItem" flags="ng" index="37jhX">
<child id="8456919074574710741" name="code" index="37jj2" />
</concept>
<concept id="8169506320648805904" name="jetbrains.mps.logic.structure.LogicalVariableDeclarationContainer" flags="ng" index="29MRiA">
<concept id="8169506320648805904" name="jetbrains.mps.logic.structure.LogicalVariableDeclarationContainer" flags="ngI" index="29MRiA">
<child id="6399471711045617306" name="dataType" index="3vLBG7" />
<child id="3063948360254832884" name="declaration" index="3XD1gS" />
</concept>
@ -224,7 +224,7 @@
<concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
<child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
</concept>
<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>
<concept id="4222318806802425298" name="jetbrains.mps.lang.core.structure.SuppressErrorsAnnotation" flags="ng" index="15s5l7">
@ -339,6 +339,7 @@
<child id="6097203247156492735" name="code" index="3iwQuN" />
<child id="6097203247156594418" name="variable" index="3iJhzY" />
<child id="6097203247216428965" name="logical" index="3tb1AD" />
<child id="3972229586022038333" name="parameter" index="1Q0WFY" />
</concept>
<concept id="6097203247183580433" name="jetbrains.mps.lang.coderules.structure.ExpandMacroInputReference" flags="ng" index="3j8tct">
<reference id="6097203247183580434" name="declaration" index="3j8tcu" />
@ -408,6 +409,9 @@
<child id="2316688792939428590" name="code" index="3IrJb0" />
</concept>
<concept id="965748826975413063" name="jetbrains.mps.lang.coderules.structure.RulePartParameterDeclaration" flags="ng" index="3NuqgR" />
<concept id="3972229586021710485" name="jetbrains.mps.lang.coderules.structure.ExpandMacroParameterUsage" flags="ng" index="1QfGHm">
<reference id="3972229586021710487" name="declaration" index="1QfGHk" />
</concept>
<concept id="3063948360254202562" name="jetbrains.mps.lang.coderules.structure.LocalDeclarationStatement" flags="ng" index="3X$Joe" />
</language>
</registry>
@ -546,6 +550,14 @@
<property role="TrG5h" value="kfc" />
</node>
</node>
<node concept="1QfGHm" id="5obCDEeWUN3" role="1Q0WFY">
<property role="TrG5h" value="substitution" />
<ref role="1QfGHk" to="kqnc:5itBwMaLICh" resolve="substitution" />
</node>
<node concept="1QfGHm" id="5obCDEeWUN4" role="1Q0WFY">
<property role="TrG5h" value="Bound" />
<ref role="1QfGHk" to="kqnc:6BYZfeEX8SG" resolve="Bound" />
</node>
</node>
<node concept="3iyZe8" id="7doxVE4Sz$w" role="0oKgB">
<ref role="3iRiWT" to="kqnc:5itBwMau8m1" resolve="lift" />
@ -665,6 +677,14 @@
</node>
<node concept="32pEOW" id="7doxVE4SzVR" role="3vLBG7" />
</node>
<node concept="1QfGHm" id="5obCDEeWUN9" role="1Q0WFY">
<property role="TrG5h" value="substitution" />
<ref role="1QfGHk" to="kqnc:5itBwMaLICh" resolve="substitution" />
</node>
<node concept="1QfGHm" id="5obCDEeWUNa" role="1Q0WFY">
<property role="TrG5h" value="Bound" />
<ref role="1QfGHk" to="kqnc:6BYZfeEX8SG" resolve="Bound" />
</node>
</node>
</node>
<node concept="AVZre" id="7doxVE4SBJA">

18
samples/mpscore/languages/jetbrains.mps.baseLanguage.methodReferencesExt/models/jetbrains.mps.baseLanguage.methodReferencesExt.types.mps
View File

@ -67,7 +67,7 @@
<concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
<child id="1081516765348" name="expression" index="3fr31v" />
</concept>
<concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
<concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ngI" index="1ndlxa">
<reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
<child id="1068499141038" name="actualArgument" index="37wK5m" />
</concept>
@ -112,7 +112,7 @@
<concept id="8456919074574710634" name="jetbrains.mps.logic.structure.ExpressionItem" flags="ng" index="37jhX">
<child id="8456919074574710741" name="code" index="37jj2" />
</concept>
<concept id="8169506320648805904" name="jetbrains.mps.logic.structure.LogicalVariableDeclarationContainer" flags="ng" index="29MRiA">
<concept id="8169506320648805904" name="jetbrains.mps.logic.structure.LogicalVariableDeclarationContainer" flags="ngI" index="29MRiA">
<child id="6399471711045617306" name="dataType" index="3vLBG7" />
<child id="3063948360254832884" name="declaration" index="3XD1gS" />
</concept>
@ -177,7 +177,7 @@
<concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
<child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
</concept>
<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>
<concept id="709746936026466394" name="jetbrains.mps.lang.core.structure.ChildAttribute" flags="ng" index="3VBwX9">
@ -264,6 +264,7 @@
<child id="6097203247156492735" name="code" index="3iwQuN" />
<child id="6097203247156594418" name="variable" index="3iJhzY" />
<child id="6097203247216428965" name="logical" index="3tb1AD" />
<child id="3972229586022038333" name="parameter" index="1Q0WFY" />
</concept>
<concept id="6097203247183580433" name="jetbrains.mps.lang.coderules.structure.ExpandMacroInputReference" flags="ng" index="3j8tct">
<reference id="6097203247183580434" name="declaration" index="3j8tcu" />
@ -335,6 +336,9 @@
<child id="2316688792939428590" name="code" index="3IrJb0" />
</concept>
<concept id="965748826975413063" name="jetbrains.mps.lang.coderules.structure.RulePartParameterDeclaration" flags="ng" index="3NuqgR" />
<concept id="3972229586021710485" name="jetbrains.mps.lang.coderules.structure.ExpandMacroParameterUsage" flags="ng" index="1QfGHm">
<reference id="3972229586021710487" name="declaration" index="1QfGHk" />
</concept>
</language>
</registry>
<node concept="3iyXCk" id="6ZRhjsG9l2$">
@ -1661,6 +1665,14 @@
</node>
<node concept="32pEOW" id="vrUbzhDWbr" role="3vLBG7" />
</node>
<node concept="1QfGHm" id="5obCDEeYnxd" role="1Q0WFY">
<property role="TrG5h" value="substitution" />
<ref role="1QfGHk" to="kqnc:5itBwMaLICh" resolve="substitution" />
</node>
<node concept="1QfGHm" id="5obCDEeYnxe" role="1Q0WFY">
<property role="TrG5h" value="Bound" />
<ref role="1QfGHk" to="kqnc:6BYZfeEX8SG" resolve="Bound" />
</node>
</node>
</node>
</model>

9
samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
View File

@ -765,6 +765,7 @@
<child id="6097203247142468229" name="type" index="3hPmi9" />
</concept>
<concept id="6097203247162979076" name="jetbrains.mps.lang.coderules.structure.ExpandMacroParameterDeclaration" flags="ng" index="3i76O8">
<child id="6097203247163841813" name="init" index="3i4Ccp" />
<child id="6097203247163011497" name="type" index="3i7YY_" />
</concept>
<concept id="6097203247156088058" name="jetbrains.mps.lang.coderules.structure.ExpandMacroInputSpecification" flags="ng" index="3ixlbQ">
@ -16235,9 +16236,6 @@
<node concept="3hN9Ij" id="5itBwMaub0o" role="3jbY8P">
<ref role="3hLkJx" node="5itBwMauaTZ" resolve="componentType" />
</node>
<node concept="a7P8L" id="5itBwMauaZp" role="3jbY8V">
<ref role="a7OzE" node="5itBwMauaYP" resolve="Param" />
</node>
<node concept="3jhG_Y" id="1oUE7CXkYVn" role="3jhGvd">
<node concept="3jhG_Z" id="1oUE7CXkYVo" role="3jhGob">
<ref role="3jhG_U" node="5itBwMaLICh" resolve="substitution" />
@ -16246,6 +16244,9 @@
</node>
</node>
</node>
<node concept="a7P8L" id="1gkIvnhTsY7" role="3jbY8V">
<ref role="a7OzE" node="5itBwMauaYP" resolve="Param" />
</node>
</node>
</node>
<node concept="3Aqczg" id="4MEOIDEwTar" role="3cqZAp">
@ -16655,12 +16656,14 @@
<node concept="3uibUv" id="5itBwMaLJw4" role="3i7YY_">
<ref role="3uigEE" node="6EY0p2w8VOq" resolve="TypeVarSubstitution" />
</node>
<node concept="10Nm6u" id="5obCDEeUvGT" role="3i4Ccp" />
</node>
<node concept="3i76O8" id="6BYZfeEX8SG" role="3i7zYg">
<property role="TrG5h" value="Bound" />
<node concept="26uTi9" id="2fVm_54$1D0" role="3i7YY_">
<node concept="32pEOW" id="2fVm_54$1Fh" role="3vMvoR" />
</node>
<node concept="10Nm6u" id="5obCDEeUvHc" role="3i4Ccp" />
</node>
</node>
<node concept="3iyZe8" id="5X1yxJHLgzH" role="0oKgB">

2
samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps
View File

@ -1823,7 +1823,7 @@
<node concept="10Oyi0" id="3swcsd3mQv1" role="1tU5fm" />
<node concept="2OqwBi" id="3swcsd3mSWH" role="33vP2m">
<node concept="37vLTw" id="3swcsd3nc$6" role="2Oq$k0">
<ref role="3cqZAo" node="3swcsd3nczM" resolve="list" />
<ref role="3cqZAo" node="3swcsd3nczM" resolve="reqParams" />
</node>
<node concept="34oBXx" id="3swcsd3mSWZ" role="2OqNvi" />
</node>

18
samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.types.mps
View File

@ -35,7 +35,7 @@
<concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
<child id="1068581517665" name="statement" index="3cqZAp" />
</concept>
<concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
<concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ngI" index="1ndlxa">
<reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
</concept>
<concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
@ -66,7 +66,7 @@
<concept id="8456919074574710634" name="jetbrains.mps.logic.structure.ExpressionItem" flags="ng" index="37jhX">
<child id="8456919074574710741" name="code" index="37jj2" />
</concept>
<concept id="8169506320648805904" name="jetbrains.mps.logic.structure.LogicalVariableDeclarationContainer" flags="ng" index="29MRiA">
<concept id="8169506320648805904" name="jetbrains.mps.logic.structure.LogicalVariableDeclarationContainer" flags="ngI" index="29MRiA">
<child id="6399471711045617306" name="dataType" index="3vLBG7" />
<child id="3063948360254832884" name="declaration" index="3XD1gS" />
</concept>
@ -96,7 +96,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>
@ -163,6 +163,7 @@
<child id="6097203247156492735" name="code" index="3iwQuN" />
<child id="6097203247156594418" name="variable" index="3iJhzY" />
<child id="6097203247216428965" name="logical" index="3tb1AD" />
<child id="3972229586022038333" name="parameter" index="1Q0WFY" />
</concept>
<concept id="8455178808320440061" name="jetbrains.mps.lang.coderules.structure.TermConstraint" flags="ng" index="1j3QaD">
<child id="8455178808320440237" name="term" index="1j3QfT" />
@ -234,6 +235,9 @@
<child id="2316688792938825385" name="clauses" index="3I6sU7" />
</concept>
<concept id="965748826975413063" name="jetbrains.mps.lang.coderules.structure.RulePartParameterDeclaration" flags="ng" index="3NuqgR" />
<concept id="3972229586021710485" name="jetbrains.mps.lang.coderules.structure.ExpandMacroParameterUsage" flags="ng" index="1QfGHm">
<reference id="3972229586021710487" name="declaration" index="1QfGHk" />
</concept>
</language>
</registry>
<node concept="AVZre" id="6ZRhjsG74BX">
@ -893,6 +897,14 @@
</node>
<node concept="32pEOW" id="6ZRhjsG8xFP" role="3vLBG7" />
</node>
<node concept="1QfGHm" id="5obCDEeYrvz" role="1Q0WFY">
<property role="TrG5h" value="substitution" />
<ref role="1QfGHk" to="kqnc:5itBwMaLICh" resolve="substitution" />
</node>
<node concept="1QfGHm" id="5obCDEeYrv$" role="1Q0WFY">
<property role="TrG5h" value="Bound" />
<ref role="1QfGHk" to="kqnc:6BYZfeEX8SG" resolve="Bound" />
</node>
</node>
</node>
</model>