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

Fix collection types: support DowncastExpression

This commit is contained in:
Fedor Isakov 2021-04-28 08:47:44 +02:00
parent cf386d848c
commit c893d3280e
2 changed files with 104 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl
View File

@ -61,7 +61,6 @@
<module reference="0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="9e98f4e2-decf-4e97-bf80-9109e8b759aa(jetbrains.mps.lang.feedback.context)" version="0" />
<module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
<module reference="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" version="0" />
<module reference="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" version="0" />
@ -70,9 +69,6 @@
</generator>
</generators>
<sourcePath />
<dependencies>
<dependency reexport="false">35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic)</dependency>
</dependencies>
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="11" />
<language slang="l:443f4c36-fcf5-4eb6-9500-8d06ed259e3e:jetbrains.mps.baseLanguage.classifiers" version="0" />
@ -124,9 +120,12 @@
<module reference="88dcbb14-19c3-4776-8f81-33611ca4d87c(jetbrains.mps.baseLanguage.sequence)" version="0" />
<module reference="0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="9e98f4e2-decf-4e97-bf80-9109e8b759aa(jetbrains.mps.lang.feedback.context)" version="0" />
<module reference="d7eb0a2a-bd50-4576-beae-e4a89db35f20(jetbrains.mps.lang.scopes.runtime)" version="0" />
<module reference="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" version="0" />
<module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
<module reference="35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic)" version="0" />
<module reference="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" version="0" />

101
samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps
View File

@ -24575,6 +24575,107 @@
</node>
</node>
</node>
<node concept="1nLNMY" id="43iDt9RcmR$" role="1nK1Vg">
<property role="TrG5h" value="downcastExpression" />
<node concept="3clFbS" id="43iDt9RcmR_" role="1nLNMH">
<node concept="1nLNNL" id="43iDt9Rcnn6" role="3cqZAp">
<node concept="1nLNMm" id="43iDt9Rcnn7" role="1nLNNK">
<node concept="3Aq93q" id="43iDt9Rcnna" role="1nLNMb">
<property role="3ArMco" value="true" />
<node concept="3I6sU6" id="43iDt9Rcnnb" role="3Ip0Jz">
<node concept="3I6s7M" id="43iDt9Rcnnf" role="3I6sU7">
<node concept="3Aqt3T" id="43iDt9Rcnne" role="3I6s78">
<ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
<node concept="37jhX" id="43iDt9Rcnnn" role="3AunhB">
<node concept="2OqwBi" id="43iDt9RcofH" role="37jj2">
<node concept="3A2sRY" id="43iDt9Rcnnl" role="2Oq$k0">
<ref role="3A2yKK" node="43iDt9RcmRB" resolve="de" />
</node>
<node concept="3TrEf2" id="43iDt9Rcpt6" role="2OqNvi">
<ref role="3Tt5mk" to="tp2q:hRS9DVf" resolve="expression" />
</node>
</node>
</node>
<node concept="a7P8L" id="43iDt9RcnnM" role="3AunhB">
<ref role="a7OzE" node="43iDt9Rcnn$" resolve="T" />
</node>
</node>
</node>
</node>
</node>
<node concept="3NuqgR" id="43iDt9Rcnnz" role="0Rg$4">
<node concept="aZer4" id="43iDt9Rcnn$" role="3XD1gS">
<property role="TrG5h" value="T" />
</node>
<node concept="aZer4" id="43iDt9Rcod9" role="3XD1gS">
<property role="TrG5h" value="ClsT" />
</node>
<node concept="32pEOW" id="43iDt9RcnnF" role="3vLBG7" />
</node>
<node concept="3NuqgR" id="5BZU0S2Dajf" role="0Rg$4">
<node concept="aZer4" id="5BZU0S2Dajg" role="3XD1gS">
<property role="TrG5h" value="TPs" />
</node>
<node concept="32pEOW" id="5BZU0S2Dajw" role="3vLBG7" />
</node>
<node concept="3xSepi" id="43iDt9RcnnU" role="3xSepv">
<node concept="3Aq9E8" id="43iDt9RcnnV" role="3xSepj">
<node concept="3I6sU6" id="43iDt9RcnnW" role="3Ip0Jz">
<node concept="3I6s7M" id="43iDt9Rcod$" role="3I6sU7">
<node concept="3A8Hvi" id="43iDt9Rcodu" role="3I6s78">
<node concept="a7P8L" id="43iDt9RcodJ" role="3A8wtg">
<ref role="a7OzE" node="43iDt9Rcod9" resolve="ClsT" />
</node>
<node concept="ns1u0" id="43iDt9RcodP" role="3A8w4Q">
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="5BZU0S2Dajb" role="ns1xD">
<ref role="nsMwP" to="kqnc:ZJPHcupkiC" resolve="typeParams" />
<node concept="1nq8_$" id="5BZU0S2DajM" role="nsMwV">
<node concept="a7P8L" id="5BZU0S2DajL" role="1nq8_t">
<ref role="a7OzE" node="5BZU0S2Dajg" resolve="TPs" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3I6s7M" id="43iDt9Rcno1" role="3I6sU7">
<node concept="3Aqt3T" id="43iDt9Rcno0" role="3I6s78">
<ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
<node concept="a7P8L" id="43iDt9RcocV" role="3AunhB">
<ref role="a7OzE" node="43iDt9Rcnn$" resolve="T" />
</node>
<node concept="a7P8L" id="43iDt9RcodW" role="3AunhB">
<ref role="a7OzE" node="43iDt9Rcod9" resolve="ClsT" />
</node>
</node>
</node>
<node concept="3I6s7M" id="43iDt9Rcoef" role="3I6sU7">
<node concept="3Aqt3T" id="43iDt9Rcoed" role="3I6s78">
<ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
<node concept="37jhX" id="43iDt9Rcoev" role="3AunhB">
<node concept="3A2sRY" id="43iDt9Rcoet" role="37jj2">
<ref role="3A2yKK" node="43iDt9RcmRB" resolve="de" />
</node>
</node>
<node concept="a7P8L" id="43iDt9Rcofr" role="3AunhB">
<ref role="a7OzE" node="43iDt9Rcod9" resolve="ClsT" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2t___k" id="43iDt9RcmRA" role="1nLNMg">
<ref role="2t_S0q" to="tp2q:hRS9umm" resolve="DowncastExpression" />
<node concept="3A20r5" id="43iDt9RcmRB" role="2t_VXX">
<property role="TrG5h" value="de" />
</node>
</node>
</node>
</node>
<node concept="AVZre" id="3Z1xyIwz7JJ">
<property role="3GE5qa" value="rule.statement" />