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

Ensure typechecking state is properly disposed of on reload

This commit is contained in:
Fedor Isakov 2021-01-25 13:06:46 +01:00
parent 7c0f8682ed
commit ad269bb6b5
4 changed files with 327 additions and 164 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps
View File

@ -3929,11 +3929,16 @@
<node concept="3clFbS" id="6$7vuu2xvux" role="1wplMD">
<node concept="3clFbF" id="1z4$59jNHw5" role="3cqZAp">
<node concept="2OqwBi" id="1z4$59jNHS3" role="3clFbG">
<node concept="37vLTw" id="1z4$59jNHw3" role="2Oq$k0">
<ref role="3cqZAo" node="61G6TdBScAl" resolve="typecheckingService" />
<node concept="2OqwBi" id="1RYTbd7DK$T" role="2Oq$k0">
<node concept="37vLTw" id="1z4$59jNHw3" role="2Oq$k0">
<ref role="3cqZAo" node="61G6TdBScAl" resolve="typecheckingService" />
</node>
<node concept="liA8E" id="1RYTbd7DKVz" role="2OqNvi">
<ref role="37wK5l" to="tj24:1RYTbd7Di6U" resolve="getState" />
</node>
</node>
<node concept="liA8E" id="1z4$59jNIhM" role="2OqNvi">
<ref role="37wK5l" to="tj24:5HVB6JS1mjL" resolve="clearAllCaches" />
<ref role="37wK5l" to="tj24:5HVB6JS1Tc9" resolve="clearAllCaches" />
</node>
</node>
</node>
@ -4150,11 +4155,16 @@
<node concept="3clFbS" id="3u5wJtbtkW" role="1wplMD">
<node concept="3clFbF" id="1z4$59jNIY7" role="3cqZAp">
<node concept="2OqwBi" id="1z4$59jNJgz" role="3clFbG">
<node concept="37vLTw" id="1z4$59jNIY5" role="2Oq$k0">
<ref role="3cqZAo" node="61G6TdBSLyy" resolve="typecheckingService" />
<node concept="2OqwBi" id="1RYTbd7DF4m" role="2Oq$k0">
<node concept="37vLTw" id="1z4$59jNIY5" role="2Oq$k0">
<ref role="3cqZAo" node="61G6TdBSLyy" resolve="typecheckingService" />
</node>
<node concept="liA8E" id="1RYTbd7DFkk" role="2OqNvi">
<ref role="37wK5l" to="tj24:1RYTbd7Di6U" resolve="getState" />
</node>
</node>
<node concept="liA8E" id="1z4$59jNJAt" role="2OqNvi">
<ref role="37wK5l" to="tj24:5HVB6JS1mjL" resolve="clearAllCaches" />
<ref role="37wK5l" to="tj24:5HVB6JS1Tc9" resolve="clearAllCaches" />
</node>
</node>
</node>
@ -4430,11 +4440,16 @@
<node concept="3clFbS" id="3IIf9OA4zNu" role="1wplMD">
<node concept="3clFbF" id="1z4$59jNKoJ" role="3cqZAp">
<node concept="2OqwBi" id="1z4$59jNKF5" role="3clFbG">
<node concept="37vLTw" id="1z4$59jNKoH" role="2Oq$k0">
<ref role="3cqZAo" node="61G6TdBSO$R" resolve="typecheckingService" />
<node concept="2OqwBi" id="1RYTbd7DEao" role="2Oq$k0">
<node concept="37vLTw" id="1z4$59jNKoH" role="2Oq$k0">
<ref role="3cqZAo" node="61G6TdBSO$R" resolve="typecheckingService" />
</node>
<node concept="liA8E" id="1RYTbd7DEv0" role="2OqNvi">
<ref role="37wK5l" to="tj24:1RYTbd7Di6U" resolve="getState" />
</node>
</node>
<node concept="liA8E" id="1z4$59jNL7F" role="2OqNvi">
<ref role="37wK5l" to="tj24:5HVB6JS1mjL" resolve="clearAllCaches" />
<ref role="37wK5l" to="tj24:5HVB6JS1Tc9" resolve="clearAllCaches" />
</node>
</node>
</node>
@ -4752,11 +4767,16 @@
<node concept="3clFbS" id="3KwBCAABsCh" role="1wplMD">
<node concept="3clFbF" id="1z4$59jNM8L" role="3cqZAp">
<node concept="2OqwBi" id="1z4$59jNMep" role="3clFbG">
<node concept="37vLTw" id="1z4$59jNM8J" role="2Oq$k0">
<ref role="3cqZAo" node="61G6TdBSTGX" resolve="typecheckingService" />
<node concept="2OqwBi" id="1RYTbd7DBFn" role="2Oq$k0">
<node concept="37vLTw" id="1z4$59jNM8J" role="2Oq$k0">
<ref role="3cqZAo" node="61G6TdBSTGX" resolve="typecheckingService" />
</node>
<node concept="liA8E" id="1RYTbd7DDkX" role="2OqNvi">
<ref role="37wK5l" to="tj24:1RYTbd7Di6U" resolve="getState" />
</node>
</node>
<node concept="liA8E" id="1z4$59jNMsl" role="2OqNvi">
<ref role="37wK5l" to="tj24:5HVB6JS1mjL" resolve="clearAllCaches" />
<ref role="37wK5l" to="tj24:5HVB6JS1Tc9" resolve="clearAllCaches" />
</node>
</node>
</node>

305
coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps
View File

@ -344,6 +344,7 @@
<concept id="1138411891628" name="jetbrains.mps.lang.smodel.structure.SNodeOperation" flags="nn" index="eCIE_">
<child id="1144104376918" name="parameter" index="1xVPHs" />
</concept>
<concept id="5045161044515397667" name="jetbrains.mps.lang.smodel.structure.Node_PointerOperation" flags="ng" index="iZEcu" />
<concept id="1145404486709" name="jetbrains.mps.lang.smodel.structure.SemanticDowncastExpression" flags="nn" index="2JrnkZ">
<child id="1145404616321" name="leftExpression" index="2JrQYb" />
</concept>
@ -374,10 +375,16 @@
<concept id="540871147943773365" name="jetbrains.mps.baseLanguage.collections.structure.SingleArgumentSequenceOperation" flags="nn" index="25WWJ4">
<child id="540871147943773366" name="argument" index="25WWJ7" />
</concept>
<concept id="1204980550705" name="jetbrains.mps.baseLanguage.collections.structure.VisitAllOperation" flags="nn" index="2es0OD" />
<concept id="1226511727824" name="jetbrains.mps.baseLanguage.collections.structure.SetType" flags="in" index="2hMVRd">
<child id="1226511765987" name="elementType" index="2hN53Y" />
</concept>
<concept id="1226516258405" name="jetbrains.mps.baseLanguage.collections.structure.HashSetCreator" flags="nn" index="2i4dXS" />
<concept id="1151688443754" name="jetbrains.mps.baseLanguage.collections.structure.ListType" flags="in" index="_YKpA">
<child id="1151688676805" name="elementType" index="_ZDj9" />
</concept>
<concept id="1151702311717" name="jetbrains.mps.baseLanguage.collections.structure.ToListOperation" flags="nn" index="ANE8D" />
<concept id="1226934395923" name="jetbrains.mps.baseLanguage.collections.structure.ClearSetOperation" flags="nn" index="2EZike" />
<concept id="1235566831861" name="jetbrains.mps.baseLanguage.collections.structure.AllOperation" flags="nn" index="2HxqBE" />
<concept id="1237721394592" name="jetbrains.mps.baseLanguage.collections.structure.AbstractContainerCreator" flags="nn" index="HWqM0">
<child id="1237721435807" name="elementType" index="HW$YZ" />
@ -388,6 +395,7 @@
<concept id="1160666733551" name="jetbrains.mps.baseLanguage.collections.structure.AddAllElementsOperation" flags="nn" index="X8dFx" />
<concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
<concept id="3055999550620853964" name="jetbrains.mps.baseLanguage.collections.structure.RemoveWhereOperation" flags="nn" index="1aUR6E" />
<concept id="1167380149909" name="jetbrains.mps.baseLanguage.collections.structure.RemoveElementOperation" flags="nn" index="3dhRuq" />
<concept id="1165525191778" name="jetbrains.mps.baseLanguage.collections.structure.GetFirstOperation" flags="nn" index="1uHKPH" />
<concept id="1165530316231" name="jetbrains.mps.baseLanguage.collections.structure.IsEmptyOperation" flags="nn" index="1v1jN8" />
<concept id="7125221305512719026" name="jetbrains.mps.baseLanguage.collections.structure.CollectionType" flags="in" index="3vKaQO" />
@ -505,6 +513,47 @@
</node>
</node>
</node>
<node concept="3clFbF" id="1RYTbd7BALm" role="3cqZAp">
<node concept="2OqwBi" id="1RYTbd7BC73" role="3clFbG">
<node concept="2OqwBi" id="1RYTbd7BBcp" role="2Oq$k0">
<node concept="Xjq3P" id="1RYTbd7BALk" role="2Oq$k0" />
<node concept="2OwXpG" id="1RYTbd7BBrS" role="2OqNvi">
<ref role="2Oxat5" node="1RYTbd7AOyL" resolve="states" />
</node>
</node>
<node concept="2es0OD" id="1RYTbd7BDgd" role="2OqNvi">
<node concept="1bVj0M" id="1RYTbd7BDgf" role="23t8la">
<node concept="3clFbS" id="1RYTbd7BDgg" role="1bW5cS">
<node concept="3clFbF" id="1RYTbd7BDAv" role="3cqZAp">
<node concept="2OqwBi" id="1RYTbd7BDPq" role="3clFbG">
<node concept="37vLTw" id="1RYTbd7BDAu" role="2Oq$k0">
<ref role="3cqZAo" node="1RYTbd7BDgh" resolve="it" />
</node>
<node concept="liA8E" id="1RYTbd7BE9H" role="2OqNvi">
<ref role="37wK5l" to="tj24:5HVB6JS1Tc9" resolve="clearAllCaches" />
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="1RYTbd7BDgh" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="1RYTbd7BDgi" role="1tU5fm" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="1RYTbd7BEK9" role="3cqZAp">
<node concept="2OqwBi" id="1RYTbd7BG5b" role="3clFbG">
<node concept="2OqwBi" id="1RYTbd7BFfm" role="2Oq$k0">
<node concept="Xjq3P" id="1RYTbd7BEK7" role="2Oq$k0" />
<node concept="2OwXpG" id="1RYTbd7BFvE" role="2OqNvi">
<ref role="2Oxat5" node="1RYTbd7AOyL" resolve="states" />
</node>
</node>
<node concept="2EZike" id="1RYTbd7BH2Z" role="2OqNvi" />
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="5BwsbZJDRw1" role="jymVt" />
@ -1527,26 +1576,49 @@
<node concept="3clFbS" id="1T5MAgPdhk6" role="3clFbx">
<node concept="3clFbJ" id="1T5MAgPdkBj" role="3cqZAp">
<node concept="3clFbS" id="1T5MAgPdkB_" role="3clFbx">
<node concept="3clFbF" id="1T5MAgPdl2l" role="3cqZAp">
<node concept="2OqwBi" id="1T5MAgPdlfX" role="3clFbG">
<node concept="1LFfDK" id="3VwM5b5TwyJ" role="2Oq$k0">
<node concept="3cmrfG" id="3VwM5b5TwKh" role="1LF_Uc">
<node concept="3cpWs8" id="1RYTbd7GbKf" role="3cqZAp">
<node concept="3cpWsn" id="1RYTbd7GbKg" role="3cpWs9">
<property role="TrG5h" value="sharedState" />
<node concept="3uibUv" id="1RYTbd7FZ9H" role="1tU5fm">
<ref role="3uigEE" to="tj24:4Z$O9mrQIzY" resolve="TypecheckingState" />
</node>
<node concept="1LFfDK" id="1RYTbd7GbKh" role="33vP2m">
<node concept="3cmrfG" id="1RYTbd7GbKi" role="1LF_Uc">
<property role="3cmrfH" value="1" />
</node>
<node concept="2OqwBi" id="1T5MAgPdQ98" role="1LFl5Q">
<node concept="37vLTw" id="1T5MAgPdQ99" role="2Oq$k0">
<node concept="2OqwBi" id="1RYTbd7GbKj" role="1LFl5Q">
<node concept="37vLTw" id="1RYTbd7GbKk" role="2Oq$k0">
<ref role="3cqZAo" node="1T5MAgPdbbl" resolve="SHARED_STATE" />
</node>
<node concept="liA8E" id="1T5MAgPdQ9a" role="2OqNvi">
<node concept="liA8E" id="1RYTbd7GbKl" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~ThreadLocal.get()" resolve="get" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="1T5MAgPdl2l" role="3cqZAp">
<node concept="2OqwBi" id="1T5MAgPdlfX" role="3clFbG">
<node concept="37vLTw" id="1RYTbd7GbKm" role="2Oq$k0">
<ref role="3cqZAo" node="1RYTbd7GbKg" resolve="sharedState" />
</node>
<node concept="liA8E" id="1T5MAgPdlpj" role="2OqNvi">
<ref role="37wK5l" to="tj24:5HVB6JS1Tc9" resolve="clearAllCaches" />
</node>
</node>
</node>
<node concept="3clFbF" id="1RYTbd7GdTR" role="3cqZAp">
<node concept="2OqwBi" id="1RYTbd7GeMX" role="3clFbG">
<node concept="37vLTw" id="1RYTbd7GdTP" role="2Oq$k0">
<ref role="3cqZAo" node="1RYTbd7AOyL" resolve="states" />
</node>
<node concept="3dhRuq" id="1RYTbd7GfM$" role="2OqNvi">
<node concept="37vLTw" id="1RYTbd7GhgR" role="25WWJ7">
<ref role="3cqZAo" node="1RYTbd7GbKg" resolve="sharedState" />
</node>
</node>
</node>
</node>
</node>
<node concept="3y3z36" id="1T5MAgPdklu" role="3clFbw">
<node concept="10Nm6u" id="1T5MAgPdkyz" role="3uHU7w" />
@ -1575,15 +1647,13 @@
<node concept="37vLTw" id="3VwM5b5TzE1" role="37vLTJ">
<ref role="3cqZAo" node="5cBWTAejqou" resolve="effectiveState" />
</node>
<node concept="2ShNRf" id="3VwM5b5T$iU" role="37vLTx">
<node concept="1pGfFk" id="3VwM5b5T$iV" role="2ShVmc">
<ref role="37wK5l" to="tj24:5cBWTAehvV3" resolve="TypecheckingState" />
<node concept="37vLTw" id="3VwM5b5T$iW" role="37wK5m">
<ref role="3cqZAo" node="1T5MAgPdL7o" resolve="typesModuleOwner" />
</node>
<node concept="37vLTw" id="3VwM5b5T$iX" role="37wK5m">
<ref role="3cqZAo" node="5XNK1Yzpq$v" resolve="publishTypes" />
</node>
<node concept="1rXfSq" id="1RYTbd7BH65" role="37vLTx">
<ref role="37wK5l" node="1RYTbd7BH60" resolve="createState" />
<node concept="37vLTw" id="1RYTbd7BH63" role="37wK5m">
<ref role="3cqZAo" node="1T5MAgPdL7o" resolve="typesModuleOwner" />
</node>
<node concept="37vLTw" id="1RYTbd7BH64" role="37wK5m">
<ref role="3cqZAo" node="5XNK1Yzpq$v" resolve="publishTypes" />
</node>
</node>
</node>
@ -1691,15 +1761,13 @@
<node concept="3clFbS" id="17DrR$SXSiW" role="3clFbx">
<node concept="3clFbF" id="17DrR$SXU$U" role="3cqZAp">
<node concept="37vLTI" id="17DrR$SXU$V" role="3clFbG">
<node concept="2ShNRf" id="17DrR$SXU$W" role="37vLTx">
<node concept="1pGfFk" id="17DrR$SXU$X" role="2ShVmc">
<ref role="37wK5l" to="tj24:5cBWTAehvV3" resolve="TypecheckingState" />
<node concept="37vLTw" id="17DrR$SXU$Y" role="37wK5m">
<ref role="3cqZAo" node="1T5MAgPdL7o" resolve="typesModuleOwner" />
</node>
<node concept="37vLTw" id="17DrR$SXU$Z" role="37wK5m">
<ref role="3cqZAo" node="5XNK1Yzpq$v" resolve="publishTypes" />
</node>
<node concept="1rXfSq" id="1RYTbd7BLkE" role="37vLTx">
<ref role="37wK5l" node="1RYTbd7BH60" resolve="createState" />
<node concept="37vLTw" id="1RYTbd7BLkC" role="37wK5m">
<ref role="3cqZAo" node="1T5MAgPdL7o" resolve="typesModuleOwner" />
</node>
<node concept="37vLTw" id="1RYTbd7BLkD" role="37wK5m">
<ref role="3cqZAo" node="5XNK1Yzpq$v" resolve="publishTypes" />
</node>
</node>
<node concept="37vLTw" id="17DrR$SXU_0" role="37vLTJ">
@ -1859,7 +1927,7 @@
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
</node>
</node>
<node concept="2tJIrI" id="3zIrswy0dov" role="jymVt" />
<node concept="2tJIrI" id="1RYTbd7BMcS" role="jymVt" />
<node concept="3clFb_" id="3zIrswy0e2b" role="jymVt">
<property role="TrG5h" value="getQueriesClass" />
<node concept="3Tm1VV" id="3zIrswy0e2c" role="1B3o_S" />
@ -2036,51 +2104,102 @@
</node>
</node>
</node>
<node concept="3clFbF" id="1T5MAgPlzmL" role="3cqZAp">
<node concept="2OqwBi" id="1T5MAgPl$Ke" role="3clFbG">
<node concept="2OqwBi" id="1T5MAgPlzmM" role="2Oq$k0">
<node concept="1eOMI4" id="1T5MAgPlzmN" role="2Oq$k0">
<node concept="10QFUN" id="1T5MAgPlzmO" role="1eOMHV">
<node concept="3uibUv" id="1T5MAgPlzmP" role="10QFUM">
<ref role="3uigEE" node="5BwsbZJE17w" resolve="CoderulesTypecheckingProvider.Queries" />
</node>
<node concept="37vLTw" id="1T5MAgPlzmQ" role="10QFUP">
<ref role="3cqZAo" node="lvX$8VFrSo" resolve="queries" />
<node concept="3cpWs8" id="1RYTbd7EegQ" role="3cqZAp">
<node concept="3cpWsn" id="1RYTbd7EegR" role="3cpWs9">
<property role="TrG5h" value="state" />
<node concept="3uibUv" id="1RYTbd7Ee7y" role="1tU5fm">
<ref role="3uigEE" to="tj24:4Z$O9mrQIzY" resolve="TypecheckingState" />
</node>
<node concept="2OqwBi" id="1RYTbd7EegS" role="33vP2m">
<node concept="2OqwBi" id="1RYTbd7EegT" role="2Oq$k0">
<node concept="1eOMI4" id="1RYTbd7EegU" role="2Oq$k0">
<node concept="10QFUN" id="1RYTbd7EegV" role="1eOMHV">
<node concept="3uibUv" id="1RYTbd7EegW" role="10QFUM">
<ref role="3uigEE" node="5BwsbZJE17w" resolve="CoderulesTypecheckingProvider.Queries" />
</node>
<node concept="37vLTw" id="1RYTbd7EegX" role="10QFUP">
<ref role="3cqZAo" node="lvX$8VFrSo" resolve="queries" />
</node>
</node>
</node>
<node concept="2OwXpG" id="1RYTbd7EegY" role="2OqNvi">
<ref role="2Oxat5" node="1z4$59j5F_5" resolve="typecheckingService" />
</node>
</node>
<node concept="2OwXpG" id="1T5MAgPl$u8" role="2OqNvi">
<ref role="2Oxat5" node="1z4$59j5F_5" resolve="typecheckingService" />
<node concept="liA8E" id="1RYTbd7EegZ" role="2OqNvi">
<ref role="37wK5l" to="tj24:1RYTbd7Di6U" resolve="getState" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="1T5MAgPlzmL" role="3cqZAp">
<node concept="2OqwBi" id="1T5MAgPl$Ke" role="3clFbG">
<node concept="37vLTw" id="1RYTbd7Eeh0" role="2Oq$k0">
<ref role="3cqZAo" node="1RYTbd7EegR" resolve="state" />
</node>
<node concept="liA8E" id="1T5MAgPl_FV" role="2OqNvi">
<ref role="37wK5l" to="tj24:5HVB6JS1mjL" resolve="clearAllCaches" />
<ref role="37wK5l" to="tj24:5HVB6JS1Tc9" resolve="clearAllCaches" />
</node>
</node>
</node>
<node concept="3clFbF" id="1RYTbd7EgL_" role="3cqZAp">
<node concept="2OqwBi" id="1RYTbd7EhKs" role="3clFbG">
<node concept="37vLTw" id="1RYTbd7EgLz" role="2Oq$k0">
<ref role="3cqZAo" node="1RYTbd7AOyL" resolve="states" />
</node>
<node concept="3dhRuq" id="1RYTbd7EiWe" role="2OqNvi">
<node concept="37vLTw" id="1RYTbd7Ekvq" role="25WWJ7">
<ref role="3cqZAo" node="1RYTbd7EegR" resolve="state" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="1T5MAgPlvZb" role="3cqZAp" />
<node concept="3clFbJ" id="1T5MAgPectW" role="3cqZAp">
<node concept="3clFbS" id="1T5MAgPectX" role="3clFbx">
<node concept="3clFbF" id="1T5MAgPectY" role="3cqZAp">
<node concept="2OqwBi" id="1T5MAgPectZ" role="3clFbG">
<node concept="1LFfDK" id="3VwM5b5TXFh" role="2Oq$k0">
<node concept="3cmrfG" id="3VwM5b5TXSN" role="1LF_Uc">
<node concept="3cpWs8" id="1RYTbd7G9D6" role="3cqZAp">
<node concept="3cpWsn" id="1RYTbd7G9D7" role="3cpWs9">
<property role="TrG5h" value="sharedState" />
<node concept="3uibUv" id="1RYTbd7FZ0z" role="1tU5fm">
<ref role="3uigEE" to="tj24:4Z$O9mrQIzY" resolve="TypecheckingState" />
</node>
<node concept="1LFfDK" id="1RYTbd7G9D8" role="33vP2m">
<node concept="3cmrfG" id="1RYTbd7G9D9" role="1LF_Uc">
<property role="3cmrfH" value="1" />
</node>
<node concept="2OqwBi" id="1T5MAgPecu0" role="1LFl5Q">
<node concept="37vLTw" id="1T5MAgPecuf" role="2Oq$k0">
<node concept="2OqwBi" id="1RYTbd7G9Da" role="1LFl5Q">
<node concept="37vLTw" id="1RYTbd7G9Db" role="2Oq$k0">
<ref role="3cqZAo" node="1T5MAgPdbbl" resolve="SHARED_STATE" />
</node>
<node concept="liA8E" id="1T5MAgPecu1" role="2OqNvi">
<node concept="liA8E" id="1RYTbd7G9Dc" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~ThreadLocal.get()" resolve="get" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="1T5MAgPectY" role="3cqZAp">
<node concept="2OqwBi" id="1T5MAgPectZ" role="3clFbG">
<node concept="37vLTw" id="1RYTbd7G9Dd" role="2Oq$k0">
<ref role="3cqZAo" node="1RYTbd7G9D7" resolve="sharedState" />
</node>
<node concept="liA8E" id="1T5MAgPk_2N" role="2OqNvi">
<ref role="37wK5l" to="tj24:5HVB6JS1Tc9" resolve="clearAllCaches" />
</node>
</node>
</node>
<node concept="3clFbF" id="1RYTbd7Ginx" role="3cqZAp">
<node concept="2OqwBi" id="1RYTbd7Gjhz" role="3clFbG">
<node concept="37vLTw" id="1RYTbd7Ginv" role="2Oq$k0">
<ref role="3cqZAo" node="1RYTbd7AOyL" resolve="states" />
</node>
<node concept="3dhRuq" id="1RYTbd7Gkn$" role="2OqNvi">
<node concept="37vLTw" id="1RYTbd7GndZ" role="25WWJ7">
<ref role="3cqZAo" node="1RYTbd7G9D7" resolve="sharedState" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="1T5MAgPedpp" role="3cqZAp">
<node concept="2OqwBi" id="1T5MAgPedpr" role="3clFbG">
<node concept="37vLTw" id="1T5MAgPedp_" role="2Oq$k0">
@ -2134,6 +2253,62 @@
</node>
</node>
<node concept="2tJIrI" id="6$gg4k_6BHa" role="jymVt" />
<node concept="3clFb_" id="1RYTbd7BH60" role="jymVt">
<property role="TrG5h" value="createState" />
<node concept="3Tm6S6" id="1RYTbd7BH61" role="1B3o_S" />
<node concept="3uibUv" id="1RYTbd7BH62" role="3clF45">
<ref role="3uigEE" to="tj24:4Z$O9mrQIzY" resolve="TypecheckingState" />
</node>
<node concept="37vLTG" id="1RYTbd7BH5O" role="3clF46">
<property role="TrG5h" value="typesModuleOwner" />
<node concept="3uibUv" id="1RYTbd7BH5P" role="1tU5fm">
<ref role="3uigEE" to="tj24:1z4$59jK85m" resolve="TypesModuleOwner" />
</node>
</node>
<node concept="37vLTG" id="1RYTbd7BH5Q" role="3clF46">
<property role="TrG5h" value="publishTypes" />
<node concept="10P_77" id="1RYTbd7BH5R" role="1tU5fm" />
</node>
<node concept="3clFbS" id="1RYTbd7BH5I" role="3clF47">
<node concept="3cpWs8" id="1RYTbd7BQR0" role="3cqZAp">
<node concept="3cpWsn" id="1RYTbd7BQR1" role="3cpWs9">
<property role="TrG5h" value="state" />
<node concept="3uibUv" id="1RYTbd7BJAf" role="1tU5fm">
<ref role="3uigEE" to="tj24:4Z$O9mrQIzY" resolve="TypecheckingState" />
</node>
<node concept="2ShNRf" id="1RYTbd7BQR2" role="33vP2m">
<node concept="1pGfFk" id="1RYTbd7BQR3" role="2ShVmc">
<ref role="37wK5l" to="tj24:5cBWTAehvV3" resolve="TypecheckingState" />
<node concept="37vLTw" id="1RYTbd7BQR4" role="37wK5m">
<ref role="3cqZAo" node="1RYTbd7BH5O" resolve="typesModuleOwner" />
</node>
<node concept="37vLTw" id="1RYTbd7BQR5" role="37wK5m">
<ref role="3cqZAo" node="1RYTbd7BH5Q" resolve="publishTypes" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="1RYTbd7BXiO" role="3cqZAp">
<node concept="2OqwBi" id="1RYTbd7C0Yo" role="3clFbG">
<node concept="37vLTw" id="1RYTbd7BXiM" role="2Oq$k0">
<ref role="3cqZAo" node="1RYTbd7AOyL" resolve="states" />
</node>
<node concept="TSZUe" id="1RYTbd7C3mt" role="2OqNvi">
<node concept="37vLTw" id="1RYTbd7C4uE" role="25WWJ7">
<ref role="3cqZAo" node="1RYTbd7BQR1" resolve="state" />
</node>
</node>
</node>
</node>
<node concept="3cpWs6" id="1RYTbd7BH5J" role="3cqZAp">
<node concept="37vLTw" id="1RYTbd7BQR6" role="3cqZAk">
<ref role="3cqZAo" node="1RYTbd7BQR1" resolve="state" />
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="3zIrswy0dov" role="jymVt" />
<node concept="312cEu" id="5BwsbZJE17w" role="jymVt">
<property role="TrG5h" value="Queries" />
<node concept="2tJIrI" id="siuT5mm_XX" role="jymVt" />
@ -2711,22 +2886,28 @@
<node concept="3cqZAl" id="6l3eCxofJGQ" role="3clF45" />
<node concept="37vLTG" id="6l3eCxofJGR" role="3clF46">
<property role="TrG5h" value="node" />
<node concept="3uibUv" id="6l3eCxofJGS" role="1tU5fm">
<ref role="3uigEE" to="mhbf:~SNode" resolve="SNode" />
</node>
<node concept="3Tqbb2" id="1RYTbd7EG4k" role="1tU5fm" />
</node>
<node concept="3clFbS" id="6l3eCxofJGT" role="3clF47">
<node concept="3clFbJ" id="3DPJ8QJpx$8" role="3cqZAp">
<node concept="3clFbS" id="3DPJ8QJpx$a" role="3clFbx">
<node concept="3clFbF" id="1z4$59j6KuM" role="3cqZAp">
<node concept="2OqwBi" id="1z4$59j6L77" role="3clFbG">
<node concept="37vLTw" id="1z4$59j6KuK" role="2Oq$k0">
<ref role="3cqZAo" node="1z4$59j5F_5" resolve="typecheckingService" />
<node concept="2OqwBi" id="1RYTbd7E_nx" role="2Oq$k0">
<node concept="37vLTw" id="1z4$59j6KuK" role="2Oq$k0">
<ref role="3cqZAo" node="1z4$59j5F_5" resolve="typecheckingService" />
</node>
<node concept="liA8E" id="1RYTbd7EBlX" role="2OqNvi">
<ref role="37wK5l" to="tj24:1RYTbd7Di6U" resolve="getState" />
</node>
</node>
<node concept="liA8E" id="1z4$59j6LAx" role="2OqNvi">
<ref role="37wK5l" to="tj24:4duYm8_j5Ga" resolve="clearCache" />
<node concept="37vLTw" id="1z4$59j6NEW" role="37wK5m">
<ref role="3cqZAo" node="6l3eCxofJGR" resolve="node" />
<ref role="37wK5l" to="tj24:4duYm8_mMNK" resolve="clearCaches" />
<node concept="2OqwBi" id="1RYTbd7EFwZ" role="37wK5m">
<node concept="37vLTw" id="1z4$59j6NEW" role="2Oq$k0">
<ref role="3cqZAo" node="6l3eCxofJGR" resolve="node" />
</node>
<node concept="iZEcu" id="1RYTbd7EIz6" role="2OqNvi" />
</node>
</node>
</node>
@ -2884,6 +3065,22 @@
<ref role="3uigEE" to="vndm:~LanguageRegistry" resolve="LanguageRegistry" />
</node>
</node>
<node concept="312cEg" id="1RYTbd7AOyL" role="jymVt">
<property role="TrG5h" value="states" />
<node concept="3Tm6S6" id="1RYTbd7AOyM" role="1B3o_S" />
<node concept="2hMVRd" id="1RYTbd7B44M" role="1tU5fm">
<node concept="3uibUv" id="1RYTbd7B$Q8" role="2hN53Y">
<ref role="3uigEE" to="tj24:4Z$O9mrQIzY" resolve="TypecheckingState" />
</node>
</node>
<node concept="2ShNRf" id="1RYTbd7B4Xd" role="33vP2m">
<node concept="2i4dXS" id="1RYTbd7BnTK" role="2ShVmc">
<node concept="3uibUv" id="1RYTbd7B_$r" role="HW$YZ">
<ref role="3uigEE" to="tj24:4Z$O9mrQIzY" resolve="TypecheckingState" />
</node>
</node>
</node>
</node>
</node>
<node concept="2uRRBC" id="vVsDu9byFZ">
<property role="3GE5qa" value="lifecycle" />

131
coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
View File

@ -2096,11 +2096,16 @@
<node concept="3clFbS" id="5HVB6JS5QaZ" role="3clFbx">
<node concept="3clFbF" id="5HVB6JS3vc$" role="3cqZAp">
<node concept="2OqwBi" id="5HVB6JS3ybA" role="3clFbG">
<node concept="37vLTw" id="5HVB6JS3vcy" role="2Oq$k0">
<ref role="3cqZAo" node="27bTNFfaZ1y" resolve="facade" />
</node>
<node concept="liA8E" id="5HVB6JS3_aN" role="2OqNvi">
<ref role="37wK5l" node="5HVB6JS1mjL" resolve="clearAllCaches" />
<ref role="37wK5l" node="5HVB6JS1Tc9" resolve="clearAllCaches" />
</node>
<node concept="2OqwBi" id="1RYTbd7DPIQ" role="2Oq$k0">
<node concept="37vLTw" id="5HVB6JS3vcy" role="2Oq$k0">
<ref role="3cqZAo" node="27bTNFfaZ1y" resolve="facade" />
</node>
<node concept="liA8E" id="1RYTbd7DT1J" role="2OqNvi">
<ref role="37wK5l" node="1RYTbd7Di6U" resolve="getState" />
</node>
</node>
</node>
</node>
@ -7567,80 +7572,22 @@
</node>
</node>
<node concept="2tJIrI" id="4duYm8_iT_v" role="jymVt" />
<node concept="3clFb_" id="4duYm8_j5Ga" role="jymVt">
<property role="TrG5h" value="clearCache" />
<node concept="37vLTG" id="4duYm8_joH8" role="3clF46">
<property role="TrG5h" value="root" />
<node concept="3Tqbb2" id="4duYm8_jwN1" role="1tU5fm" />
<node concept="2tJIrI" id="1RYTbd7Dc$a" role="jymVt" />
<node concept="3clFb_" id="1RYTbd7Di6U" role="jymVt">
<property role="TrG5h" value="getState" />
<node concept="3uibUv" id="1RYTbd7Do$0" role="3clF45">
<ref role="3uigEE" node="4Z$O9mrQIzY" resolve="TypecheckingState" />
</node>
<node concept="3cqZAl" id="4duYm8_j5Gc" role="3clF45" />
<node concept="3Tm1VV" id="4duYm8_j5Gd" role="1B3o_S" />
<node concept="3clFbS" id="4duYm8_j5Ge" role="3clF47">
<node concept="3clFbJ" id="7gMIJIy5P82" role="3cqZAp">
<node concept="3clFbS" id="7gMIJIy5P84" role="3clFbx">
<node concept="3clFbF" id="4duYm8_m0OA" role="3cqZAp">
<node concept="2OqwBi" id="4duYm8_m4kJ" role="3clFbG">
<node concept="37vLTw" id="1z4$59jKZ8u" role="2Oq$k0">
<ref role="3cqZAo" node="1z4$59jKKYm" resolve="state" />
</node>
<node concept="liA8E" id="4duYm8_nGjv" role="2OqNvi">
<ref role="37wK5l" node="4duYm8_mMNK" resolve="clearCaches" />
<node concept="2OqwBi" id="4duYm8_nLm_" role="37wK5m">
<node concept="37vLTw" id="cmlg9N8NC2" role="2Oq$k0">
<ref role="3cqZAo" node="4duYm8_joH8" resolve="root" />
</node>
<node concept="iZEcu" id="4duYm8_nLs3" role="2OqNvi" />
</node>
</node>
</node>
</node>
</node>
<node concept="3y3z36" id="7gMIJIy5QpT" role="3clFbw">
<node concept="10Nm6u" id="7gMIJIy5QSb" role="3uHU7w" />
<node concept="37vLTw" id="7gMIJIy5PiL" role="3uHU7B">
<ref role="3cqZAo" node="4duYm8_joH8" resolve="root" />
</node>
<node concept="3Tm1VV" id="1RYTbd7Di6X" role="1B3o_S" />
<node concept="3clFbS" id="1RYTbd7Di6Y" role="3clF47">
<node concept="3clFbF" id="1RYTbd7D_I3" role="3cqZAp">
<node concept="37vLTw" id="1RYTbd7D_I2" role="3clFbG">
<ref role="3cqZAo" node="1z4$59jKKYm" resolve="state" />
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="3DPJ8QJpIYH" role="jymVt" />
<node concept="3clFb_" id="3DPJ8QJpC3_" role="jymVt">
<property role="TrG5h" value="clearSharedCache" />
<node concept="3cqZAl" id="3DPJ8QJpC3C" role="3clF45" />
<node concept="3Tm1VV" id="3DPJ8QJpC3D" role="1B3o_S" />
<node concept="3clFbS" id="3DPJ8QJpC3E" role="3clF47">
<node concept="3clFbF" id="3DPJ8QJpC44" role="3cqZAp">
<node concept="2OqwBi" id="3DPJ8QJpC45" role="3clFbG">
<node concept="37vLTw" id="3DPJ8QJpC46" role="2Oq$k0">
<ref role="3cqZAo" node="1z4$59jKKYm" resolve="state" />
</node>
<node concept="liA8E" id="3DPJ8QJpC47" role="2OqNvi">
<ref role="37wK5l" node="7gMIJIy66LK" resolve="clearSharedCache" />
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="1FOQehxnwar" role="jymVt" />
<node concept="3clFb_" id="5HVB6JS1mjL" role="jymVt">
<property role="TrG5h" value="clearAllCaches" />
<node concept="3cqZAl" id="5HVB6JS1mjO" role="3clF45" />
<node concept="3Tm1VV" id="5HVB6JS1mjP" role="1B3o_S" />
<node concept="3clFbS" id="5HVB6JS1mjQ" role="3clF47">
<node concept="3clFbF" id="5HVB6JS1mjW" role="3cqZAp">
<node concept="2OqwBi" id="5HVB6JS1mjX" role="3clFbG">
<node concept="37vLTw" id="1z4$59jL3sx" role="2Oq$k0">
<ref role="3cqZAo" node="1z4$59jKKYm" resolve="state" />
</node>
<node concept="liA8E" id="5HVB6JS1mjZ" role="2OqNvi">
<ref role="37wK5l" node="5HVB6JS1Tc9" resolve="clearAllCaches" />
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="5HVB6JS1mjK" role="jymVt" />
<node concept="2tJIrI" id="1RYTbd7DwFv" role="jymVt" />
<node concept="3clFb_" id="1FOQehxdXIx" role="jymVt">
<property role="TrG5h" value="checkTypes" />
<node concept="37vLTG" id="1z4$59iUgWe" role="3clF46">
@ -11198,27 +11145,21 @@
<ref role="37wK5l" node="61G6TdDcewU" resolve="dropUnitCacheHolders" />
</node>
</node>
<node concept="3clFbF" id="7gMIJIy6p_Q" role="3cqZAp">
<node concept="1rXfSq" id="7gMIJIy6p_O" role="3clFbG">
<ref role="37wK5l" node="7gMIJIy66LK" resolve="clearSharedCache" />
<node concept="3clFbF" id="1RYTbd7__7_" role="3cqZAp">
<node concept="2OqwBi" id="1RYTbd7__7A" role="3clFbG">
<node concept="37vLTw" id="1RYTbd7__7B" role="2Oq$k0">
<ref role="3cqZAo" node="1T5MAgPeszY" resolve="sharedCacheHolder" />
</node>
<node concept="liA8E" id="1RYTbd7__7C" role="2OqNvi">
<ref role="37wK5l" node="3u5wJtfjHf" resolve="clearAll" />
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="5HVB6JS1KdB" role="jymVt" />
<node concept="3clFb_" id="7gMIJIy66LK" role="jymVt">
<property role="TrG5h" value="clearSharedCache" />
<node concept="3cqZAl" id="7gMIJIy66LM" role="3clF45" />
<node concept="3Tmbuc" id="7gMIJIy6a18" role="1B3o_S" />
<node concept="3clFbS" id="7gMIJIy66LO" role="3clF47">
<node concept="3clFbF" id="7gMIJIy6kef" role="3cqZAp">
<node concept="2OqwBi" id="7gMIJIy6kvM" role="3clFbG">
<node concept="37vLTw" id="1T5MAgPeJ25" role="2Oq$k0">
<ref role="3cqZAo" node="1T5MAgPeszY" resolve="sharedCacheHolder" />
</node>
<node concept="liA8E" id="7gMIJIy6kLV" role="2OqNvi">
<ref role="37wK5l" node="3u5wJtfjHf" resolve="clearAll" />
</node>
<node concept="P$JXv" id="1RYTbd7_T7N" role="lGtFl">
<node concept="TZ5HA" id="1RYTbd7_T7O" role="TZ5H$">
<node concept="1dT_AC" id="1RYTbd7_T7P" role="1dT_Ay">
<property role="1dT_AB" value="Used from tests" />
</node>
</node>
</node>
@ -11295,7 +11236,7 @@
</node>
</node>
</node>
<node concept="3Tmbuc" id="61G6TdC0kIN" role="1B3o_S" />
<node concept="3Tm1VV" id="1RYTbd7EJns" role="1B3o_S" />
</node>
<node concept="2tJIrI" id="5HVB6JRqPto" role="jymVt" />
<node concept="3clFb_" id="61G6TdDl9fp" role="jymVt">
@ -19131,9 +19072,6 @@
</node>
</node>
<node concept="22lmx$" id="2xx8OByuo2s" role="3clFbw">
<node concept="37vLTw" id="1z4$59hPhU_" role="3uHU7w">
<ref role="3cqZAo" node="1z4$59hPhUx" resolve="hasException" />
</node>
<node concept="1eOMI4" id="17DrR$SR0TU" role="3uHU7B">
<node concept="1Wc70l" id="17DrR$SR1dd" role="1eOMHV">
<node concept="3clFbC" id="2xx8OByu38v" role="3uHU7B">
@ -19155,6 +19093,9 @@
</node>
</node>
</node>
<node concept="37vLTw" id="1z4$59hPhU_" role="3uHU7w">
<ref role="3cqZAo" node="1z4$59hPhUx" resolve="hasException" />
</node>
</node>
</node>
<node concept="3clFbH" id="2xx8OBy8z_c" role="3cqZAp" />

11
samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps
View File

@ -924,11 +924,16 @@
<node concept="3clFbS" id="4pwDyRC1qWk" role="1wplMD">
<node concept="3clFbF" id="1z4$59jNu69" role="3cqZAp">
<node concept="2OqwBi" id="1z4$59jNuJm" role="3clFbG">
<node concept="37vLTw" id="1z4$59jNu67" role="2Oq$k0">
<ref role="3cqZAo" node="61G6TdBScAl" resolve="typecheckingService" />
<node concept="2OqwBi" id="1RYTbd7Ep1f" role="2Oq$k0">
<node concept="37vLTw" id="1z4$59jNu67" role="2Oq$k0">
<ref role="3cqZAo" node="61G6TdBScAl" resolve="typecheckingService" />
</node>
<node concept="liA8E" id="1RYTbd7EpFn" role="2OqNvi">
<ref role="37wK5l" to="tj24:1RYTbd7Di6U" resolve="getState" />
</node>
</node>
<node concept="liA8E" id="1z4$59jNvkn" role="2OqNvi">
<ref role="37wK5l" to="tj24:5HVB6JS1mjL" resolve="clearAllCaches" />
<ref role="37wK5l" to="tj24:5HVB6JS1Tc9" resolve="clearAllCaches" />
</node>
</node>
</node>