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

Fix smodel types: correctly process lub type, other minor stuff

This commit is contained in:
Fedor Isakov 2021-04-26 14:37:41 +02:00
parent c6c9a6e281
commit fa795caedc
2 changed files with 306 additions and 44 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

274
samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps
View File

@ -3382,19 +3382,6 @@
<node concept="3Aq93q" id="3bgqfmmKW37" role="1nLNMb">
<property role="3ArMco" value="true" />
<node concept="3I6sU6" id="3bgqfmmKW38" role="3Ip0Jz">
<node concept="3I6s7M" id="3bgqfmmKW4K" role="3I6sU7">
<node concept="3Aqt3T" id="3bgqfmmKW4H" role="3I6s78">
<ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
<node concept="37jhX" id="3bgqfmmKW4R" role="3AunhB">
<node concept="3A2sRY" id="3bgqfmmKW4P" role="37jj2">
<ref role="3A2yKK" node="3bgqfmmKW2U" resolve="ese" />
</node>
</node>
<node concept="a7P8L" id="3bgqfmmKW5c" role="3AunhB">
<ref role="a7OzE" node="3bgqfmmKW3t" resolve="Type" />
</node>
</node>
</node>
<node concept="3I6s7M" id="3bgqfmmKWy4" role="3I6sU7">
<node concept="3Aqt3T" id="3bgqfmmKWy5" role="3I6s78">
<ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
@ -3436,17 +3423,6 @@
<node concept="3xSepi" id="3bgqfmmKW3f" role="3xSepv">
<node concept="3Aq9E8" id="3bgqfmmKW3g" role="3xSepj">
<node concept="3I6sU6" id="3bgqfmmKW3h" role="3Ip0Jz">
<node concept="3I6s7M" id="3bgqfmmKW3m" role="3I6sU7">
<node concept="3Aqt3T" id="3bgqfmmKW3l" role="3I6s78">
<ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
<node concept="a7P8L" id="3bgqfmmKWZM" role="3AunhB">
<ref role="a7OzE" node="3bgqfmmKW3t" resolve="Type" />
</node>
<node concept="ns1u0" id="3bgqfmmKWZU" role="3AunhB">
<ref role="ns1xF" to="kqnc:JOGAOsVt36" resolve="_boolean_" />
</node>
</node>
</node>
<node concept="3I6s7M" id="3bgqfmmKX1_" role="3I6sU7">
<node concept="3Aqt3T" id="3bgqfmmKX1z" role="3I6s78">
<ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
@ -3471,11 +3447,25 @@
</node>
</node>
</node>
<node concept="3Aq9E8" id="t7AM9FxbQ6" role="3xSepj">
<node concept="3I6sU6" id="t7AM9FxbQ7" role="3Ip0Jz">
<node concept="3I6s7M" id="t7AM9FxbZU" role="3I6sU7">
<node concept="3Aqt3T" id="t7AM9FxbZT" role="3I6s78">
<ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
<node concept="37jhX" id="t7AM9Fxca0" role="3AunhB">
<node concept="3A2sRY" id="t7AM9Fxc9Y" role="37jj2">
<ref role="3A2yKK" node="3bgqfmmKW2U" resolve="ese" />
</node>
</node>
<node concept="ns1u0" id="t7AM9Fxc7y" role="3AunhB">
<ref role="ns1xF" to="kqnc:JOGAOsVt36" resolve="_boolean_" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3NuqgR" id="3bgqfmmKW3s" role="0Rg$4">
<node concept="aZer4" id="3bgqfmmKW3t" role="3XD1gS">
<property role="TrG5h" value="Type" />
</node>
<node concept="aZer4" id="3bgqfmmKW3N" role="3XD1gS">
<property role="TrG5h" value="Left" />
</node>
@ -6459,7 +6449,7 @@
</node>
</node>
<node concept="1nLNMY" id="6$6scRbXDZ7" role="1nK1Vg">
<property role="TrG5h" value="findConceptHierarchy" />
<property role="TrG5h" value="conceptHierarchy" />
<node concept="3clFbS" id="6$6scRbXDZ8" role="1nLNMH">
<node concept="Oftf1" id="6RzTUCTm2ar" role="3cqZAp">
<node concept="2OqwBi" id="6RzTUCTm2kk" role="Oftjs">
@ -6594,6 +6584,64 @@
</node>
</node>
</node>
<node concept="1nLNMY" id="t7AM9FzNQJ" role="1nK1Vg">
<property role="TrG5h" value="conceptHierarchy_fail" />
<node concept="3clFbS" id="t7AM9FzNQK" role="1nLNMH">
<node concept="1nLNNL" id="t7AM9FzOzD" role="3cqZAp">
<node concept="1nLNMm" id="t7AM9FzOzE" role="1nLNNK">
<node concept="3Aq93q" id="t7AM9FzOA5" role="1nLNMb">
<node concept="3I6sU6" id="t7AM9FzOA6" role="3Ip0Jz">
<node concept="3I6s7M" id="t7AM9FzOMk" role="3I6sU7">
<node concept="3Aqt3T" id="t7AM9FzOMj" role="3I6s78">
<ref role="3AqCNq" node="6$6scRbXDI8" resolve="conceptHierarchy" />
<node concept="a7P8L" id="t7AM9FzPgj" role="3AunhB">
<ref role="a7OzE" node="t7AM9FzOY_" resolve="Vtx" />
</node>
<node concept="a7P8L" id="t7AM9FzPiM" role="3AunhB">
<ref role="a7OzE" node="t7AM9FzORc" resolve="CD" />
</node>
</node>
</node>
</node>
</node>
<node concept="3NuqgR" id="t7AM9FzORb" role="0Rg$4">
<node concept="aZer4" id="t7AM9FzORc" role="3XD1gS">
<property role="TrG5h" value="CD" />
</node>
<node concept="3Tqbb2" id="t7AM9FzOTF" role="3vLBG7" />
</node>
<node concept="3NuqgR" id="t7AM9FzOY$" role="0Rg$4">
<node concept="aZer4" id="t7AM9FzOY_" role="3XD1gS">
<property role="TrG5h" value="Vtx" />
</node>
<node concept="3uibUv" id="t7AM9FzP56" role="3vLBG7">
<ref role="3uigEE" node="3bgqfmmLIge" resolve="ConceptHierarchyGraph.Vertex" />
</node>
</node>
<node concept="3xSepi" id="t7AM9FzPnE" role="3xSepv">
<node concept="3Aq9E8" id="t7AM9FzPnF" role="3xSepj">
<node concept="3I6sU6" id="t7AM9FzPnG" role="3Ip0Jz">
<node concept="3I6s7M" id="t7AM9FzPqa" role="3I6sU7">
<node concept="1lpGmL" id="t7AM9FzPq8" role="3I6s78">
<node concept="3cpWs3" id="t7AM9FzQku" role="1lp$hM">
<node concept="1Ft4W6" id="t7AM9FzQpq" role="3uHU7w">
<node concept="a7P8L" id="t7AM9FzQpp" role="1FtiSR">
<ref role="a7OzE" node="t7AM9FzORc" resolve="CD" />
</node>
</node>
<node concept="Xl_RD" id="t7AM9FzPsB" role="3uHU7B">
<property role="Xl_RC" value="can't find hierarchy for " />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1nLNMY" id="6RzTUCTm2Ub" role="1nK1Vg">
<property role="TrG5h" value="findConceptDeclaration" />
<node concept="3clFbS" id="6RzTUCTm2Uc" role="1nLNMH">
@ -20997,18 +21045,34 @@
</node>
<node concept="1HFMs5" id="2q9s7fq1xip" role="3AunhB">
<node concept="a7P8L" id="2q9s7fq1xid" role="1uarlU">
<ref role="a7OzE" node="2q9s7fq1xhC" resolve="T1" />
<ref role="a7OzE" node="2q9s7fq1xhC" resolve="Left" />
</node>
<node concept="ns1u0" id="2q9s7fq1xiF" role="1uarlW">
<ref role="ns1xF" node="7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="t7AM9FzLQI" role="ns1xD">
<ref role="nsMwP" node="7LI_gNMWxb4" resolve="concept" />
<node concept="1nq8_$" id="t7AM9FzMz7" role="nsMwV">
<node concept="a7P8L" id="t7AM9FzMz6" role="1nq8_t">
<ref role="a7OzE" node="t7AM9FzM9b" resolve="LeftDecl" />
</node>
</node>
</node>
</node>
</node>
<node concept="1HFMs5" id="2q9s7fq1xkE" role="3AunhB">
<node concept="a7P8L" id="2q9s7fq1xkb" role="1uarlU">
<ref role="a7OzE" node="2q9s7fq1xhZ" resolve="T2" />
<ref role="a7OzE" node="2q9s7fq1xhZ" resolve="Right" />
</node>
<node concept="ns1u0" id="2q9s7fq1xlf" role="1uarlW">
<ref role="ns1xF" node="7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="t7AM9FzM_C" role="ns1xD">
<ref role="nsMwP" node="7LI_gNMWxb4" resolve="concept" />
<node concept="1nq8_$" id="t7AM9FzMQy" role="nsMwV">
<node concept="a7P8L" id="t7AM9FzMQx" role="1nq8_t">
<ref role="a7OzE" node="t7AM9FzMEw" resolve="RightDecl" />
</node>
</node>
</node>
</node>
</node>
</node>
@ -21019,24 +21083,158 @@
<node concept="aZer4" id="2q9s7fq1xj3" role="3XD1gS">
<property role="TrG5h" value="R" />
</node>
<node concept="aZer4" id="t7AM9FyViP" role="3XD1gS">
<property role="TrG5h" value="LubTail" />
</node>
<node concept="32pEOW" id="2q9s7fq1xjh" role="3vLBG7" />
</node>
<node concept="3NuqgR" id="2q9s7fq1xhB" role="0Rg$4">
<node concept="aZer4" id="2q9s7fq1xhC" role="3XD1gS">
<property role="TrG5h" value="T1" />
<property role="TrG5h" value="Left" />
</node>
<node concept="aZer4" id="2q9s7fq1xhZ" role="3XD1gS">
<property role="TrG5h" value="T2" />
<property role="TrG5h" value="Right" />
</node>
<node concept="32pEOW" id="2q9s7fq1xhM" role="3vLBG7" />
</node>
<node concept="3NuqgR" id="t7AM9FzM9a" role="0Rg$4">
<node concept="aZer4" id="t7AM9FzM9b" role="3XD1gS">
<property role="TrG5h" value="LeftDecl" />
</node>
<node concept="aZer4" id="t7AM9FzMEw" role="3XD1gS">
<property role="TrG5h" value="RightDecl" />
</node>
<node concept="aZer4" id="t7AM9F_gzU" role="3XD1gS">
<property role="TrG5h" value="Lub" />
</node>
<node concept="3Tqbb2" id="t7AM9FzMhx" role="3vLBG7">
<ref role="ehGHo" to="tpce:h0PkWnZ" resolve="AbstractConceptDeclaration" />
</node>
</node>
<node concept="3NuqgR" id="t7AM9F$zFa" role="0Rg$4">
<node concept="aZer4" id="t7AM9F$zFb" role="3XD1gS">
<property role="TrG5h" value="LubVtx" />
</node>
<node concept="3uibUv" id="t7AM9F$zIF" role="3vLBG7">
<ref role="3uigEE" to="kqnc:6$6scRbYVea" resolve="HierarchyGraph.Vtx" />
<node concept="3Tqbb2" id="t7AM9F$zIG" role="11_B2D">
<ref role="ehGHo" to="tpce:h0PkWnZ" resolve="AbstractConceptDeclaration" />
</node>
</node>
</node>
<node concept="3NuqgR" id="t7AM9FxHFW" role="0Rg$4">
<node concept="aZer4" id="t7AM9FxHFX" role="3XD1gS">
<property role="TrG5h" value="VLeft" />
</node>
<node concept="aZer4" id="t7AM9FxLBj" role="3XD1gS">
<property role="TrG5h" value="VRight" />
</node>
<node concept="3uibUv" id="t7AM9F$B3w" role="3vLBG7">
<ref role="3uigEE" node="3bgqfmmLIge" resolve="ConceptHierarchyGraph.Vertex" />
</node>
</node>
<node concept="3xSepi" id="2q9s7fq1xlG" role="3xSepv">
<node concept="3Aq9E8" id="2q9s7fq1xlH" role="3xSepj">
<node concept="3I6sU6" id="2q9s7fq1xlI" role="3Ip0Jz">
<node concept="3I6s7M" id="2q9s7fq1x_i" role="3I6sU7">
<node concept="1lpGmL" id="2q9s7fq1x_g" role="3I6s78">
<node concept="Xl_RD" id="2q9s7fq1x_q" role="1lp$hM">
<property role="Xl_RC" value="not implemented" />
<node concept="3Aq9E8" id="t7AM9FxHz0" role="3xSepj">
<node concept="3I6sU6" id="t7AM9FxHz1" role="3Ip0Jz">
<node concept="3IrJb3" id="t7AM9FxH_s" role="3I6sU7">
<node concept="3clFbS" id="t7AM9FxH_t" role="3IrJb0">
<node concept="3Aqczg" id="t7AM9FxHDx" role="3cqZAp">
<node concept="3Aqt3T" id="t7AM9FxHDw" role="3Aqpz8">
<ref role="3AqCNq" node="6$6scRbXDI8" resolve="conceptHierarchy" />
<node concept="a7P8L" id="t7AM9FxLPH" role="3AunhB">
<ref role="a7OzE" node="t7AM9FxHFX" resolve="VLeft" />
</node>
<node concept="a7P8L" id="t7AM9FzMVr" role="3AunhB">
<ref role="a7OzE" node="t7AM9FzM9b" resolve="LeftDecl" />
</node>
</node>
</node>
<node concept="3Aqczg" id="t7AM9FxLZz" role="3cqZAp">
<node concept="3Aqt3T" id="t7AM9FxLZ$" role="3Aqpz8">
<ref role="3AqCNq" node="6$6scRbXDI8" resolve="conceptHierarchy" />
<node concept="a7P8L" id="t7AM9FxM2f" role="3AunhB">
<ref role="a7OzE" node="t7AM9FxLBj" resolve="VRight" />
</node>
<node concept="a7P8L" id="t7AM9FzMXU" role="3AunhB">
<ref role="a7OzE" node="t7AM9FzMEw" resolve="RightDecl" />
</node>
</node>
</node>
<node concept="3Aqczg" id="t7AM9F$$bw" role="3cqZAp">
<node concept="3A8Hvi" id="t7AM9F$$bq" role="3Aqpz8">
<node concept="a7P8L" id="t7AM9F$$f8" role="3A8wtg">
<ref role="a7OzE" node="t7AM9F$zFb" resolve="LubVtx" />
</node>
<node concept="HKQnh" id="t7AM9F$$lf" role="3A8w4Q">
<node concept="2OqwBi" id="t7AM9F$$$e" role="HKQng">
<node concept="2YIFZM" id="t7AM9F$$nE" role="2Oq$k0">
<ref role="1Pybhc" node="3bgqfmmLWgA" resolve="ConceptHierarchy" />
<ref role="37wK5l" node="3bgqfmmMBWt" resolve="defaultGraph" />
</node>
<node concept="liA8E" id="t7AM9F$_X7" role="2OqNvi">
<ref role="37wK5l" to="kqnc:6$6scRbNe_w" resolve="buildLubVertex" />
<node concept="1Ft4W6" id="t7AM9F$Aa5" role="37wK5m">
<node concept="a7P8L" id="t7AM9F$Aa4" role="1FtiSR">
<ref role="a7OzE" node="t7AM9FxHFX" resolve="VLeft" />
</node>
</node>
<node concept="1Ft4W6" id="t7AM9F$AkS" role="37wK5m">
<node concept="a7P8L" id="t7AM9F$AkR" role="1FtiSR">
<ref role="a7OzE" node="t7AM9FxLBj" resolve="VRight" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3Aqczg" id="t7AM9F_gSk" role="3cqZAp">
<node concept="3A8Hvi" id="t7AM9F_gSe" role="3Aqpz8">
<node concept="a7P8L" id="t7AM9F_h0Y" role="3A8wtg">
<ref role="a7OzE" node="t7AM9F_gzU" resolve="Lub" />
</node>
<node concept="HKQnh" id="t7AM9F_hml" role="3A8w4Q">
<node concept="2OqwBi" id="t7AM9F_hmq" role="HKQng">
<node concept="2OqwBi" id="t7AM9F_hmr" role="2Oq$k0">
<node concept="2OqwBi" id="t7AM9F_hms" role="2Oq$k0">
<node concept="2OqwBi" id="t7AM9F_hmt" role="2Oq$k0">
<node concept="1Ft4W6" id="t7AM9F_hmu" role="2Oq$k0">
<node concept="a7P8L" id="t7AM9F_hmv" role="1FtiSR">
<ref role="a7OzE" node="t7AM9F$zFb" resolve="LubVtx" />
</node>
</node>
<node concept="liA8E" id="t7AM9F_hmw" role="2OqNvi">
<ref role="37wK5l" to="kqnc:6$6scRbZ8lq" resolve="iteratePaths" />
</node>
</node>
<node concept="1uHKPH" id="t7AM9F_hmx" role="2OqNvi" />
</node>
<node concept="liA8E" id="t7AM9F_hmy" role="2OqNvi">
<ref role="37wK5l" to="kqnc:6$6scRbYuZ5" resolve="iterate" />
</node>
</node>
<node concept="1uHKPH" id="t7AM9F_hmz" role="2OqNvi" />
</node>
</node>
</node>
</node>
<node concept="3Aqczg" id="t7AM9F$BkI" role="3cqZAp">
<node concept="3A8Hvi" id="t7AM9F$BkC" role="3Aqpz8">
<node concept="a7P8L" id="t7AM9F$Bpi" role="3A8wtg">
<ref role="a7OzE" node="2q9s7fq1xj3" resolve="R" />
</node>
<node concept="ns1u0" id="t7AM9F$BtV" role="3A8w4Q">
<ref role="ns1xF" node="7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="t7AM9F$Bwm" role="ns1xD">
<ref role="nsMwP" node="7LI_gNMWxb4" resolve="concept" />
<node concept="1nq8_$" id="t7AM9F_hDI" role="nsMwV">
<node concept="a7P8L" id="t7AM9F_hDH" role="1nq8_t">
<ref role="a7OzE" node="t7AM9F_gzU" resolve="Lub" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>

76
samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.types@tests.mps
View File

@ -100,6 +100,9 @@
<child id="1068499141038" name="actualArgument" index="37wK5m" />
</concept>
<concept id="1212685548494" name="jetbrains.mps.baseLanguage.structure.ClassCreator" flags="nn" index="1pGfFk" />
<concept id="1171903916106" name="jetbrains.mps.baseLanguage.structure.UpperBoundType" flags="in" index="3qUE_q">
<child id="1171903916107" name="bound" index="3qUE_r" />
</concept>
<concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
<reference id="1107535924139" name="classifier" index="3uigEE" />
<child id="1109201940907" name="parameter" index="11_B2D" />
@ -126,9 +129,14 @@
</concept>
</language>
<language id="f61473f9-130f-42f6-b98d-6c438812c2f6" name="jetbrains.mps.baseLanguage.unitTest">
<concept id="8427750732757990717" name="jetbrains.mps.baseLanguage.unitTest.structure.BinaryAssert" flags="nn" index="3tpDYu">
<child id="8427750732757990725" name="actual" index="3tpDZA" />
<child id="8427750732757990724" name="expected" index="3tpDZB" />
</concept>
<concept id="1171981022339" name="jetbrains.mps.baseLanguage.unitTest.structure.AssertTrue" flags="nn" index="3vwNmj">
<child id="1171981057159" name="condition" index="3vwVQn" />
</concept>
<concept id="1171985735491" name="jetbrains.mps.baseLanguage.unitTest.structure.AssertSame" flags="nn" index="3vMLTj" />
<concept id="1172073500303" name="jetbrains.mps.baseLanguage.unitTest.structure.Message" flags="ng" index="3_1$Yv">
<child id="1172073511101" name="message" index="3_1BAH" />
</concept>
@ -202,6 +210,7 @@
<child id="1151689745422" name="elementType" index="A3Ik2" />
</concept>
<concept id="1203518072036" name="jetbrains.mps.baseLanguage.collections.structure.SmartClosureParameterDeclaration" flags="ig" index="Rh6nW" />
<concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
<concept id="1165525191778" name="jetbrains.mps.baseLanguage.collections.structure.GetFirstOperation" flags="nn" index="1uHKPH" />
<concept id="1202128969694" name="jetbrains.mps.baseLanguage.collections.structure.SelectOperation" flags="nn" index="3$u5V9" />
<concept id="1184963466173" name="jetbrains.mps.baseLanguage.collections.structure.ToArrayOperation" flags="nn" index="3_kTaI" />
@ -401,6 +410,37 @@
</node>
</node>
<node concept="3clFbH" id="5OjpQKwi4SN" role="3cqZAp" />
<node concept="3cpWs8" id="t7AM9FxVZh" role="3cqZAp">
<node concept="3cpWsn" id="t7AM9FxVZi" role="3cpWs9">
<property role="TrG5h" value="pair" />
<node concept="3uibUv" id="t7AM9FxVZg" role="1tU5fm">
<ref role="3uigEE" to="33ny:~List" resolve="List" />
<node concept="3qUE_q" id="t7AM9FxVZf" role="11_B2D">
<node concept="3uibUv" id="t7AM9FxVZe" role="3qUE_r">
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
</node>
</node>
</node>
<node concept="2YIFZM" id="t7AM9FxVZj" role="33vP2m">
<ref role="1Pybhc" to="kqnc:1qY0I4b_aeY" resolve="ListUtil" />
<ref role="37wK5l" to="kqnc:3KV3FXjZXXV" resolve="getListContents" />
<node concept="37vLTw" id="t7AM9FxVZk" role="37wK5m">
<ref role="3cqZAo" node="5OjpQKwimgB" resolve="firstpair" />
</node>
</node>
</node>
</node>
<node concept="3vMLTj" id="t7AM9FxWWu" role="3cqZAp">
<node concept="3cmrfG" id="t7AM9FxX7y" role="3tpDZB">
<property role="3cmrfH" value="2" />
</node>
<node concept="2OqwBi" id="t7AM9FxX81" role="3tpDZA">
<node concept="37vLTw" id="t7AM9FxX7_" role="2Oq$k0">
<ref role="3cqZAo" node="t7AM9FxVZi" resolve="pair" />
</node>
<node concept="34oBXx" id="t7AM9Fy3H4" role="2OqNvi" />
</node>
</node>
<node concept="3clFbF" id="5OjpQKwix5s" role="3cqZAp">
<node concept="2OqwBi" id="5OjpQKwix5m" role="3clFbG">
<node concept="2WthIp" id="5OjpQKwix5p" role="2Oq$k0" />
@ -416,12 +456,8 @@
</node>
</node>
<node concept="2OqwBi" id="5OjpQKwizAF" role="2XxRq1">
<node concept="2YIFZM" id="5OjpQKwizAG" role="2Oq$k0">
<ref role="1Pybhc" to="kqnc:1qY0I4b_aeY" resolve="ListUtil" />
<ref role="37wK5l" to="kqnc:3KV3FXjZXXV" resolve="getListContents" />
<node concept="37vLTw" id="5OjpQKwizW5" role="37wK5m">
<ref role="3cqZAo" node="5OjpQKwimgB" resolve="firstpair" />
</node>
<node concept="37vLTw" id="t7AM9FxVZl" role="2Oq$k0">
<ref role="3cqZAo" node="t7AM9FxVZi" resolve="pair" />
</node>
<node concept="liA8E" id="5OjpQKwizAI" role="2OqNvi">
<ref role="37wK5l" to="33ny:~List.get(int)" resolve="get" />
@ -433,6 +469,34 @@
</node>
</node>
</node>
<node concept="3clFbF" id="t7AM9FxVA7" role="3cqZAp">
<node concept="2OqwBi" id="t7AM9FxVA8" role="3clFbG">
<node concept="2WthIp" id="t7AM9FxVA9" role="2Oq$k0" />
<node concept="2XshWL" id="t7AM9FxVAa" role="2OqNvi">
<ref role="2WH_rO" node="4JBuioGU$7Z" resolve="assertCanUnify" />
<node concept="2OqwBi" id="t7AM9FxVAb" role="2XxRq1">
<node concept="2WthIp" id="t7AM9FxVAc" role="2Oq$k0" />
<node concept="2XshWL" id="t7AM9FxVAd" role="2OqNvi">
<ref role="2WH_rO" node="4JBuioGUNfv" resolve="nodeAsTerm" />
<node concept="3B5_sB" id="t7AM9FxVAe" role="2XxRq1">
<ref role="3B5MYn" to="tpee:g96eOhU" resolve="GenericDeclaration" />
</node>
</node>
</node>
<node concept="2OqwBi" id="t7AM9FxVAf" role="2XxRq1">
<node concept="37vLTw" id="t7AM9FxVZm" role="2Oq$k0">
<ref role="3cqZAo" node="t7AM9FxVZi" resolve="pair" />
</node>
<node concept="liA8E" id="t7AM9FxVAi" role="2OqNvi">
<ref role="37wK5l" to="33ny:~List.get(int)" resolve="get" />
<node concept="3cmrfG" id="t7AM9FxVAj" role="37wK5m">
<property role="3cmrfH" value="1" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2XrIbr" id="4JBuioGUNfv" role="1qtyYc">