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

Switch to finding aspect clique for subject node in local typechecking 

During generation, the imports set of a transient model doesn't always
reflect the actual set of imported languages.
This commit is contained in:
Fedor Isakov 2020-12-15 13:32:54 +01:00
parent 1acd35baca
commit 8dd43190b4
1 changed files with 102 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -9139,7 +9139,7 @@
</node>
</node>
<node concept="1rXfSq" id="1T5MAgP$U_m" role="33vP2m">
<ref role="37wK5l" node="1FOQehxnBew" resolve="checkHelpers" />
<ref role="37wK5l" node="2hQbw6I7Eg2" resolve="localHelpers" />
<node concept="37vLTw" id="1T5MAgP$U_n" role="37wK5m">
<ref role="3cqZAo" node="1T5MAgP$U$6" resolve="request" />
</node>
@ -9296,6 +9296,107 @@
</node>
</node>
<node concept="2tJIrI" id="156bt08QEpa" role="jymVt" />
<node concept="3clFb_" id="2hQbw6I7Eg2" role="jymVt">
<property role="TrG5h" value="localHelpers" />
<node concept="3Tm6S6" id="2hQbw6I7Eg3" role="1B3o_S" />
<node concept="_YKpA" id="2hQbw6I7Eg4" role="3clF45">
<node concept="3uibUv" id="2hQbw6I7Eg5" role="_ZDj9">
<ref role="3uigEE" to="1yqb:1pPth$l_TFV" resolve="CoderulesHelper" />
</node>
</node>
<node concept="37vLTG" id="2hQbw6I7Eg6" role="3clF46">
<property role="TrG5h" value="request" />
<node concept="3uibUv" id="2hQbw6I7Eg7" role="1tU5fm">
<ref role="3uigEE" node="1z4$59iohfJ" resolve="TypecheckingService.Request" />
<node concept="3qTvmN" id="2hQbw6I7Eg8" role="11_B2D" />
</node>
</node>
<node concept="37vLTG" id="2hQbw6I7Eg9" role="3clF46">
<property role="TrG5h" value="node" />
<node concept="3Tqbb2" id="2hQbw6I7Ega" role="1tU5fm" />
</node>
<node concept="37vLTG" id="2hQbw6I7Egb" role="3clF46">
<property role="TrG5h" value="recursive" />
<node concept="10P_77" id="2hQbw6I7Egc" role="1tU5fm" />
</node>
<node concept="37vLTG" id="2hQbw6I7Egd" role="3clF46">
<property role="TrG5h" value="stepsFactory" />
<node concept="3uibUv" id="2hQbw6I7Ege" role="1tU5fm">
<ref role="3uigEE" node="7i3KM7gIg9K" resolve="TypecheckingStrategy.Default" />
</node>
</node>
<node concept="37vLTG" id="2hQbw6I7Egf" role="3clF46">
<property role="TrG5h" value="query" />
<node concept="3uibUv" id="2hQbw6I7Egg" role="1tU5fm">
<ref role="3uigEE" to="i348:5EDW3XDYeWv" resolve="Query" />
</node>
</node>
<node concept="3clFbS" id="2hQbw6I7Egh" role="3clF47">
<node concept="3cpWs8" id="2hQbw6I7Egi" role="3cqZAp">
<node concept="3cpWsn" id="2hQbw6I7Egj" role="3cpWs9">
<property role="TrG5h" value="acs" />
<node concept="3vKaQO" id="2hQbw6I7Egk" role="1tU5fm">
<node concept="3uibUv" id="2hQbw6I7Egl" role="3O5elw">
<ref role="3uigEE" to="fqlx:3KN3A4uUhmW" resolve="AspectClique" />
<node concept="3uibUv" id="2hQbw6I7Egm" role="11_B2D">
<ref role="3uigEE" to="u46i:7km57Pkjxf4" resolve="TypecheckingAspect" />
</node>
</node>
</node>
<node concept="2OqwBi" id="2hQbw6I7Egn" role="33vP2m">
<node concept="2YIFZM" id="2hQbw6I7Ego" role="2Oq$k0">
<ref role="37wK5l" to="u46i:78H58oeCAQS" resolve="aspectLookup" />
<ref role="1Pybhc" to="u46i:7km57Pkjxf4" resolve="TypecheckingAspect" />
</node>
<node concept="liA8E" id="2hQbw6I7Egp" role="2OqNvi">
<ref role="37wK5l" to="fqlx:7mB3viLmii2" resolve="allForNodes" />
<node concept="2ShNRf" id="2hQbw6I7PtT" role="37wK5m">
<node concept="2HTt$P" id="2hQbw6I7RXr" role="2ShVmc">
<node concept="3Tqbb2" id="2hQbw6I7W62" role="2HTBi0" />
<node concept="37vLTw" id="2hQbw6I7U2h" role="2HTEbv">
<ref role="3cqZAo" node="2hQbw6I7Eg9" resolve="node" />
</node>
</node>
</node>
<node concept="37vLTw" id="2hQbw6I7Egt" role="37wK5m">
<ref role="3cqZAo" node="3IIf9O_u8qV" resolve="repository" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="2hQbw6I7Egu" role="3cqZAp" />
<node concept="3cpWs6" id="2hQbw6I7Egv" role="3cqZAp">
<node concept="1rXfSq" id="2hQbw6I7Egw" role="3cqZAk">
<ref role="37wK5l" node="7i3KM7glTM9" resolve="helpers" />
<node concept="37vLTw" id="2hQbw6I7Egx" role="37wK5m">
<ref role="3cqZAo" node="2hQbw6I7Eg6" resolve="request" />
</node>
<node concept="2ShNRf" id="2hQbw6I7Egy" role="37wK5m">
<node concept="Tc6Ow" id="2hQbw6I7Egz" role="2ShVmc">
<node concept="3Tqbb2" id="2hQbw6I7Eg$" role="HW$YZ" />
<node concept="37vLTw" id="2hQbw6I7Eg_" role="HW$Y0">
<ref role="3cqZAo" node="2hQbw6I7Eg9" resolve="node" />
</node>
</node>
</node>
<node concept="37vLTw" id="2hQbw6I7EgA" role="37wK5m">
<ref role="3cqZAo" node="2hQbw6I7Egb" resolve="recursive" />
</node>
<node concept="37vLTw" id="2hQbw6I7EgB" role="37wK5m">
<ref role="3cqZAo" node="2hQbw6I7Egj" resolve="acs" />
</node>
<node concept="37vLTw" id="2hQbw6I7EgC" role="37wK5m">
<ref role="3cqZAo" node="2hQbw6I7Egd" resolve="stepsFactory" />
</node>
<node concept="37vLTw" id="2hQbw6I7EgD" role="37wK5m">
<ref role="3cqZAo" node="2hQbw6I7Egf" resolve="query" />
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="2hQbw6I7Eg1" role="jymVt" />
<node concept="3clFb_" id="156bt08QxlN" role="jymVt">
<property role="TrG5h" value="coerceHelpers" />
<node concept="3Tm6S6" id="156bt08QxlO" role="1B3o_S" />