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

Ensure nothing() is contained in any type

This commit is contained in:
Fedor Isakov 2022-11-21 15:56:26 +01:00
parent d2a68e8fc7
commit e5c56fbb40
1 changed files with 49 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -6602,6 +6602,55 @@
</node>
</node>
</node>
<node concept="1nLNMY" id="1uV2bz1Zy3v" role="1nK1Vg">
<property role="TrG5h" value="nothing_containedIn_any" />
<node concept="3clFbS" id="1uV2bz1Zy3w" role="1nLNMH">
<node concept="1nLNNL" id="1uV2bz1Zyj7" role="3cqZAp">
<node concept="1nLNMm" id="1uV2bz1Zyj8" role="1nLNNK">
<node concept="3Aq93q" id="1uV2bz1Zyjb" role="1nLNMb">
<node concept="3I6sU6" id="1uV2bz1Zyjc" role="3Ip0Jz">
<node concept="3I6s7M" id="1uV2bz1Zyjg" role="3I6sU7">
<node concept="3Aqt3T" id="1uV2bz1Zyjf" role="3I6s78">
<ref role="3AqCNq" node="oCcpswVfdC" resolve="containedInAlt" />
<node concept="1HFMs5" id="1uV2bz1ZykO" role="3AunhB">
<node concept="a7P8L" id="1uV2bz1ZykM" role="1uarlU">
<ref role="a7OzE" node="1uV2bz1Zyjp" resolve="S" />
</node>
<node concept="ns1u0" id="1uV2bz1Zyl2" role="1uarlW">
<ref role="ns1xF" node="7doxVE4sGJ1" resolve="nothing" />
</node>
</node>
<node concept="a7P8L" id="1uV2bz1Zylh" role="3AunhB">
<ref role="a7OzE" node="1uV2bz1ZyjQ" resolve="T" />
</node>
<node concept="a7P8L" id="1uV2bz1Zyns" role="3AunhB">
<ref role="a7OzE" node="1uV2bz1Zykf" resolve="Options" />
</node>
</node>
</node>
</node>
</node>
<node concept="3NuqgR" id="1uV2bz1Zyjo" role="0Rg$4">
<node concept="aZer4" id="1uV2bz1Zyjp" role="3XD1gS">
<property role="TrG5h" value="S" />
</node>
<node concept="aZer4" id="1uV2bz1ZyjQ" role="3XD1gS">
<property role="TrG5h" value="T" />
</node>
<node concept="32pEOW" id="1uV2bz1Zyj_" role="3vLBG7" />
</node>
<node concept="3NuqgR" id="1uV2bz1Zyke" role="0Rg$4">
<node concept="aZer4" id="1uV2bz1Zykf" role="3XD1gS">
<property role="TrG5h" value="Options" />
</node>
<node concept="3uibUv" id="1uV2bz1Zykv" role="3vLBG7">
<ref role="3uigEE" node="3vTJNooZBhQ" resolve="Options" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1nLNMY" id="12QmIo_7slL" role="1nK1Vg">
<property role="TrG5h" value="free_containedIn_free" />
<node concept="3clFbS" id="12QmIo_7slM" role="1nLNMH">