Experimental feature: substitute operator for terms.
This commit is contained in:
Fedor Isakov
parent
6842fcefbd
commit
e9201b8348
|
|
@ -4996,6 +4996,358 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3aamgX" id="3pMFS1zdiwY" role="3acgRq">
|
||||
<ref role="30HIoZ" to="wq2x:3pMFS1zdeji" resolve="Substitution" />
|
||||
<node concept="1Koe21" id="3pMFS1zdiwZ" role="1lVwrX">
|
||||
<node concept="3clFb_" id="3pMFS1zdix0" role="1Koe22">
|
||||
<property role="TrG5h" value="context" />
|
||||
<node concept="3Tm1VV" id="3pMFS1zdix1" role="1B3o_S" />
|
||||
<node concept="3cqZAl" id="3pMFS1zdix2" role="3clF45" />
|
||||
<node concept="3clFbS" id="3pMFS1zdix3" role="3clF47">
|
||||
<node concept="3clFbF" id="3pMFS1zdix4" role="3cqZAp">
|
||||
<node concept="2ShNRf" id="3pMFS1zdix5" role="3clFbG">
|
||||
<node concept="YeOm9" id="3pMFS1zdix6" role="2ShVmc">
|
||||
<node concept="1Y3b0j" id="3pMFS1zdix7" role="YeSDq">
|
||||
<property role="2bfB8j" value="true" />
|
||||
<ref role="37wK5l" to="wyt6:~Object.<init>()" resolve="Object" />
|
||||
<ref role="1Y3XeK" to="yg8f:5WBVN_M1BKE" resolve="LateExpression" />
|
||||
<node concept="3Tm1VV" id="3pMFS1zdix8" role="1B3o_S" />
|
||||
<node concept="3clFb_" id="3pMFS1zdix9" role="jymVt">
|
||||
<property role="1EzhhJ" value="false" />
|
||||
<property role="TrG5h" value="metaArgs" />
|
||||
<node concept="10Q1$e" id="3pMFS1zdixa" role="3clF45">
|
||||
<node concept="3uibUv" id="3pMFS1zdixb" role="10Q1$1">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Tm1VV" id="3pMFS1zdixc" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="3pMFS1zdixd" role="3clF47">
|
||||
<node concept="3clFbF" id="3pMFS1zdixe" role="3cqZAp">
|
||||
<node concept="2ShNRf" id="3pMFS1zdixf" role="3clFbG">
|
||||
<node concept="3g6Rrh" id="3pMFS1zdixg" role="2ShVmc">
|
||||
<node concept="10Nm6u" id="3pMFS1zdixh" role="3g7hyw">
|
||||
<node concept="29HgVG" id="3pMFS1zdixi" role="lGtFl">
|
||||
<node concept="3NFfHV" id="3pMFS1zdixj" role="3NFExx">
|
||||
<node concept="3clFbS" id="3pMFS1zdixk" role="2VODD2">
|
||||
<node concept="3clFbF" id="3pMFS1zdixl" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3pMFS1zdixm" role="3clFbG">
|
||||
<node concept="30H73N" id="3pMFS1zdixn" role="2Oq$k0" />
|
||||
<node concept="3TrEf2" id="3pMFS1zdpib" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="wq2x:3pMFS1zdejv" resolve="origin" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="10Nm6u" id="3pMFS1zdoIY" role="3g7hyw">
|
||||
<node concept="29HgVG" id="3pMFS1zdoIZ" role="lGtFl">
|
||||
<node concept="3NFfHV" id="3pMFS1zdoJ0" role="3NFExx">
|
||||
<node concept="3clFbS" id="3pMFS1zdoJ1" role="2VODD2">
|
||||
<node concept="3clFbF" id="3pMFS1zdoJ2" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3pMFS1zdoJ3" role="3clFbG">
|
||||
<node concept="30H73N" id="3pMFS1zdoJ4" role="2Oq$k0" />
|
||||
<node concept="3TrEf2" id="3pMFS1zdp$V" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="wq2x:3pMFS1zdej$" resolve="pattern" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="10Nm6u" id="3pMFS1zdoQg" role="3g7hyw">
|
||||
<node concept="29HgVG" id="3pMFS1zdoQh" role="lGtFl">
|
||||
<node concept="3NFfHV" id="3pMFS1zdoQi" role="3NFExx">
|
||||
<node concept="3clFbS" id="3pMFS1zdoQj" role="2VODD2">
|
||||
<node concept="3clFbF" id="3pMFS1zdoQk" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3pMFS1zdoQl" role="3clFbG">
|
||||
<node concept="30H73N" id="3pMFS1zdoQm" role="2Oq$k0" />
|
||||
<node concept="3TrEf2" id="3pMFS1zdpRV" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="wq2x:3pMFS1zdejx" resolve="replacement" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3uibUv" id="3pMFS1zdixp" role="3g7fb8">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFb_" id="3pMFS1zdixq" role="jymVt">
|
||||
<property role="1EzhhJ" value="false" />
|
||||
<property role="TrG5h" value="eval" />
|
||||
<node concept="37vLTG" id="3pMFS1zdixr" role="3clF46">
|
||||
<property role="TrG5h" value="_logicalContext" />
|
||||
<node concept="3uibUv" id="3pMFS1zdixs" role="1tU5fm">
|
||||
<ref role="3uigEE" to="bj13:~LogicalContext" resolve="LogicalContext" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="3pMFS1zdixt" role="3clF46">
|
||||
<property role="TrG5h" value="args" />
|
||||
<node concept="8X2XB" id="3pMFS1zdixu" role="1tU5fm">
|
||||
<node concept="3uibUv" id="3pMFS1zdixv" role="8Xvag">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3uibUv" id="3pMFS1zdixw" role="3clF45">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
<node concept="3Tm1VV" id="3pMFS1zdixx" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="3pMFS1zdixy" role="3clF47">
|
||||
<node concept="3cpWs8" id="3pMFS1zdixz" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="3pMFS1zdix$" role="3cpWs9">
|
||||
<property role="TrG5h" value="origin" />
|
||||
<node concept="3uibUv" id="3pMFS1zdix_" role="1tU5fm">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
<node concept="1sPUBX" id="3pMFS1zdixA" role="lGtFl">
|
||||
<ref role="v9R2y" node="7HUwyZb4SjZ" resolve="expression_param_type" />
|
||||
<node concept="3NFfHV" id="3pMFS1zdixB" role="1sPUBK">
|
||||
<node concept="3clFbS" id="3pMFS1zdixC" role="2VODD2">
|
||||
<node concept="3clFbF" id="3pMFS1zdixD" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3pMFS1zdixE" role="3clFbG">
|
||||
<node concept="2OqwBi" id="3pMFS1zdixF" role="2Oq$k0">
|
||||
<node concept="30H73N" id="3pMFS1zdixG" role="2Oq$k0" />
|
||||
<node concept="3TrEf2" id="3pMFS1zdixH" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="wq2x:3pMFS1zdejv" resolve="origin" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3JvlWi" id="3pMFS1zdixI" role="2OqNvi" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="10QFUN" id="3pMFS1zdixJ" role="33vP2m">
|
||||
<node concept="3uibUv" id="3pMFS1zdixK" role="10QFUM">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
<node concept="1sPUBX" id="3pMFS1zdixL" role="lGtFl">
|
||||
<ref role="v9R2y" node="7HUwyZb4SjZ" resolve="expression_param_type" />
|
||||
<node concept="3NFfHV" id="3pMFS1zdixM" role="1sPUBK">
|
||||
<node concept="3clFbS" id="3pMFS1zdixN" role="2VODD2">
|
||||
<node concept="3clFbF" id="3pMFS1zdixO" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3pMFS1zdixP" role="3clFbG">
|
||||
<node concept="2OqwBi" id="3pMFS1zdixQ" role="2Oq$k0">
|
||||
<node concept="30H73N" id="3pMFS1zdixR" role="2Oq$k0" />
|
||||
<node concept="3TrEf2" id="3pMFS1zdixS" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="wq2x:3pMFS1zdejv" resolve="origin" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3JvlWi" id="3pMFS1zdixT" role="2OqNvi" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="AH0OO" id="3pMFS1zdixU" role="10QFUP">
|
||||
<node concept="3cmrfG" id="3pMFS1zdixV" role="AHEQo">
|
||||
<property role="3cmrfH" value="0" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zdixW" role="AHHXb">
|
||||
<ref role="3cqZAo" node="3pMFS1zdixt" resolve="args" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="17Uvod" id="3pMFS1zdixX" role="lGtFl">
|
||||
<property role="P4ACc" value="ceab5195-25ea-4f22-9b92-103b95ca8c0c/1169194658468/1169194664001" />
|
||||
<property role="2qtEX9" value="name" />
|
||||
<node concept="3zFVjK" id="3pMFS1zdixY" role="3zH0cK">
|
||||
<node concept="3clFbS" id="3pMFS1zdixZ" role="2VODD2">
|
||||
<node concept="3clFbF" id="3pMFS1zdiy0" role="3cqZAp">
|
||||
<node concept="3cpWs3" id="3pMFS1zdiy1" role="3clFbG">
|
||||
<node concept="3zGtF$" id="3pMFS1zdiy2" role="3uHU7B" />
|
||||
<node concept="Xl_RD" id="3pMFS1zdiy3" role="3uHU7w" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWs8" id="3pMFS1zfb0B" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="3pMFS1zfb0C" role="3cpWs9">
|
||||
<property role="TrG5h" value="pattern" />
|
||||
<node concept="3uibUv" id="3pMFS1zfb0D" role="1tU5fm">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
<node concept="1sPUBX" id="3pMFS1zfb0E" role="lGtFl">
|
||||
<ref role="v9R2y" node="7HUwyZb4SjZ" resolve="expression_param_type" />
|
||||
<node concept="3NFfHV" id="3pMFS1zfb0F" role="1sPUBK">
|
||||
<node concept="3clFbS" id="3pMFS1zfb0G" role="2VODD2">
|
||||
<node concept="3clFbF" id="3pMFS1zfb0H" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3pMFS1zfb0I" role="3clFbG">
|
||||
<node concept="2OqwBi" id="3pMFS1zfb0J" role="2Oq$k0">
|
||||
<node concept="30H73N" id="3pMFS1zfb0K" role="2Oq$k0" />
|
||||
<node concept="3TrEf2" id="3pMFS1zfb0L" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="wq2x:3pMFS1zdejv" resolve="origin" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3JvlWi" id="3pMFS1zfb0M" role="2OqNvi" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="10QFUN" id="3pMFS1zfb0N" role="33vP2m">
|
||||
<node concept="3uibUv" id="3pMFS1zfb0O" role="10QFUM">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
<node concept="1sPUBX" id="3pMFS1zfb0P" role="lGtFl">
|
||||
<ref role="v9R2y" node="7HUwyZb4SjZ" resolve="expression_param_type" />
|
||||
<node concept="3NFfHV" id="3pMFS1zfb0Q" role="1sPUBK">
|
||||
<node concept="3clFbS" id="3pMFS1zfb0R" role="2VODD2">
|
||||
<node concept="3clFbF" id="3pMFS1zfb0S" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3pMFS1zfb0T" role="3clFbG">
|
||||
<node concept="2OqwBi" id="3pMFS1zfb0U" role="2Oq$k0">
|
||||
<node concept="30H73N" id="3pMFS1zfb0V" role="2Oq$k0" />
|
||||
<node concept="3TrEf2" id="3pMFS1zfb0W" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="wq2x:3pMFS1zdejv" resolve="origin" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3JvlWi" id="3pMFS1zfb0X" role="2OqNvi" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="AH0OO" id="3pMFS1zfb0Y" role="10QFUP">
|
||||
<node concept="3cmrfG" id="3pMFS1zfb0Z" role="AHEQo">
|
||||
<property role="3cmrfH" value="1" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zfb10" role="AHHXb">
|
||||
<ref role="3cqZAo" node="3pMFS1zdixt" resolve="args" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="17Uvod" id="3pMFS1zfb11" role="lGtFl">
|
||||
<property role="P4ACc" value="ceab5195-25ea-4f22-9b92-103b95ca8c0c/1169194658468/1169194664001" />
|
||||
<property role="2qtEX9" value="name" />
|
||||
<node concept="3zFVjK" id="3pMFS1zfb12" role="3zH0cK">
|
||||
<node concept="3clFbS" id="3pMFS1zfb13" role="2VODD2">
|
||||
<node concept="3clFbF" id="3pMFS1zfb14" role="3cqZAp">
|
||||
<node concept="3cpWs3" id="3pMFS1zfb15" role="3clFbG">
|
||||
<node concept="3zGtF$" id="3pMFS1zfb16" role="3uHU7B" />
|
||||
<node concept="Xl_RD" id="3pMFS1zfb17" role="3uHU7w" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWs8" id="3pMFS1zfb2h" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="3pMFS1zfb2i" role="3cpWs9">
|
||||
<property role="TrG5h" value="replacement" />
|
||||
<node concept="3uibUv" id="3pMFS1zfb2j" role="1tU5fm">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
<node concept="1sPUBX" id="3pMFS1zfb2k" role="lGtFl">
|
||||
<ref role="v9R2y" node="7HUwyZb4SjZ" resolve="expression_param_type" />
|
||||
<node concept="3NFfHV" id="3pMFS1zfb2l" role="1sPUBK">
|
||||
<node concept="3clFbS" id="3pMFS1zfb2m" role="2VODD2">
|
||||
<node concept="3clFbF" id="3pMFS1zfb2n" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3pMFS1zfb2o" role="3clFbG">
|
||||
<node concept="2OqwBi" id="3pMFS1zfb2p" role="2Oq$k0">
|
||||
<node concept="30H73N" id="3pMFS1zfb2q" role="2Oq$k0" />
|
||||
<node concept="3TrEf2" id="3pMFS1zfb2r" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="wq2x:3pMFS1zdejv" resolve="origin" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3JvlWi" id="3pMFS1zfb2s" role="2OqNvi" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="10QFUN" id="3pMFS1zfb2t" role="33vP2m">
|
||||
<node concept="3uibUv" id="3pMFS1zfb2u" role="10QFUM">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
<node concept="1sPUBX" id="3pMFS1zfb2v" role="lGtFl">
|
||||
<ref role="v9R2y" node="7HUwyZb4SjZ" resolve="expression_param_type" />
|
||||
<node concept="3NFfHV" id="3pMFS1zfb2w" role="1sPUBK">
|
||||
<node concept="3clFbS" id="3pMFS1zfb2x" role="2VODD2">
|
||||
<node concept="3clFbF" id="3pMFS1zfb2y" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3pMFS1zfb2z" role="3clFbG">
|
||||
<node concept="2OqwBi" id="3pMFS1zfb2$" role="2Oq$k0">
|
||||
<node concept="30H73N" id="3pMFS1zfb2_" role="2Oq$k0" />
|
||||
<node concept="3TrEf2" id="3pMFS1zfb2A" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="wq2x:3pMFS1zdejv" resolve="origin" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3JvlWi" id="3pMFS1zfb2B" role="2OqNvi" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="AH0OO" id="3pMFS1zfb2C" role="10QFUP">
|
||||
<node concept="3cmrfG" id="3pMFS1zfb2D" role="AHEQo">
|
||||
<property role="3cmrfH" value="2" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zfb2E" role="AHHXb">
|
||||
<ref role="3cqZAo" node="3pMFS1zdixt" resolve="args" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="17Uvod" id="3pMFS1zfb2F" role="lGtFl">
|
||||
<property role="P4ACc" value="ceab5195-25ea-4f22-9b92-103b95ca8c0c/1169194658468/1169194664001" />
|
||||
<property role="2qtEX9" value="name" />
|
||||
<node concept="3zFVjK" id="3pMFS1zfb2G" role="3zH0cK">
|
||||
<node concept="3clFbS" id="3pMFS1zfb2H" role="2VODD2">
|
||||
<node concept="3clFbF" id="3pMFS1zfb2I" role="3cqZAp">
|
||||
<node concept="3cpWs3" id="3pMFS1zfb2J" role="3clFbG">
|
||||
<node concept="3zGtF$" id="3pMFS1zfb2K" role="3uHU7B" />
|
||||
<node concept="Xl_RD" id="3pMFS1zfb2L" role="3uHU7w" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="3pMFS1zffcS" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="3pMFS1zffJ1" role="3clFbG">
|
||||
<ref role="37wK5l" to="hano:3pMFS1zdqnu" resolve="subst" />
|
||||
<ref role="1Pybhc" to="hano:3pMFS1zdqns" resolve="SubstituteUtil" />
|
||||
<node concept="37vLTw" id="3pMFS1zffPX" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3pMFS1zdix$" resolve="origin" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zfgbt" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3pMFS1zfb0C" resolve="pattern" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zfgvU" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3pMFS1zfb2i" resolve="replacement" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zfgYS" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3pMFS1zdixr" resolve="_logicalContext" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3uibUv" id="3pMFS1zdiy8" role="2Ghqu4">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="raruj" id="3pMFS1zdiy9" role="lGtFl" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1pmfR0" id="4vbeH84MZvs">
|
||||
<property role="TrG5h" value="localvars_make_unique" />
|
||||
|
|
|
|||
|
|
@ -6562,5 +6562,43 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="24kQdi" id="3pMFS1zdejC">
|
||||
<ref role="1XX52x" to="wq2x:3pMFS1zdeji" resolve="Substitution" />
|
||||
<node concept="3EZMnI" id="3pMFS1zdejE" role="2wV5jI">
|
||||
<node concept="PMmxH" id="3pMFS1zdejL" role="3EZMnx">
|
||||
<ref role="PMmxG" to="tpco:2wZex4PafBj" resolve="alias" />
|
||||
</node>
|
||||
<node concept="3F0ifn" id="3pMFS1zdejQ" role="3EZMnx">
|
||||
<property role="3F0ifm" value="(" />
|
||||
<ref role="1k5W1q" to="tpen:hY9fg1G" resolve="LeftParenAfterName" />
|
||||
</node>
|
||||
<node concept="3F1sOY" id="3pMFS1zdek8" role="3EZMnx">
|
||||
<ref role="1NtTu8" to="wq2x:3pMFS1zdejv" resolve="origin" />
|
||||
</node>
|
||||
<node concept="3F0ifn" id="3pMFS1zdekr" role="3EZMnx">
|
||||
<property role="3F0ifm" value="[" />
|
||||
<ref role="1k5W1q" to="tpen:hXb$RYA" resolve="LeftBracket" />
|
||||
</node>
|
||||
<node concept="3F1sOY" id="3pMFS1zdekU" role="3EZMnx">
|
||||
<ref role="1NtTu8" to="wq2x:3pMFS1zdej$" resolve="pattern" />
|
||||
</node>
|
||||
<node concept="3F0ifn" id="3pMFS1zdelk" role="3EZMnx">
|
||||
<property role="3F0ifm" value="->" />
|
||||
<ref role="1k5W1q" to="tpen:hFDgi_W" resolve="Semicolon" />
|
||||
</node>
|
||||
<node concept="3F1sOY" id="3pMFS1zdemp" role="3EZMnx">
|
||||
<ref role="1NtTu8" to="wq2x:3pMFS1zdejx" resolve="replacement" />
|
||||
</node>
|
||||
<node concept="3F0ifn" id="3pMFS1zdekL" role="3EZMnx">
|
||||
<property role="3F0ifm" value="]" />
|
||||
<ref role="1k5W1q" to="tpen:hXb$V4T" resolve="RightBracket" />
|
||||
</node>
|
||||
<node concept="3F0ifn" id="3pMFS1zdejY" role="3EZMnx">
|
||||
<property role="3F0ifm" value=")" />
|
||||
<ref role="1k5W1q" to="tpen:hFCSUmN" resolve="RightParen" />
|
||||
</node>
|
||||
<node concept="l2Vlx" id="3pMFS1zdejH" role="2iSdaV" />
|
||||
</node>
|
||||
</node>
|
||||
</model>
|
||||
|
||||
|
|
|
|||
|
|
@ -1313,5 +1313,32 @@
|
|||
<property role="EcuMT" value="1980609059170462168" />
|
||||
<property role="TrG5h" value="LateParameter" />
|
||||
</node>
|
||||
<node concept="1TIwiD" id="3pMFS1zdeji">
|
||||
<property role="EcuMT" value="3923391191348208850" />
|
||||
<property role="TrG5h" value="Substitution" />
|
||||
<property role="34LRSv" value="subst" />
|
||||
<ref role="1TJDcQ" to="5j4j:7E86$tKsl45" resolve="LogicalItem" />
|
||||
<node concept="1TJgyj" id="3pMFS1zdejv" role="1TKVEi">
|
||||
<property role="IQ2ns" value="3923391191348208863" />
|
||||
<property role="20lmBu" value="aggregation" />
|
||||
<property role="20kJfa" value="origin" />
|
||||
<property role="20lbJX" value="1" />
|
||||
<ref role="20lvS9" to="5j4j:7E86$tKsl45" resolve="LogicalItem" />
|
||||
</node>
|
||||
<node concept="1TJgyj" id="3pMFS1zdej$" role="1TKVEi">
|
||||
<property role="IQ2ns" value="3923391191348208868" />
|
||||
<property role="20lmBu" value="aggregation" />
|
||||
<property role="20kJfa" value="pattern" />
|
||||
<property role="20lbJX" value="1" />
|
||||
<ref role="20lvS9" to="5j4j:7E86$tKsl45" resolve="LogicalItem" />
|
||||
</node>
|
||||
<node concept="1TJgyj" id="3pMFS1zdejx" role="1TKVEi">
|
||||
<property role="IQ2ns" value="3923391191348208865" />
|
||||
<property role="20lmBu" value="aggregation" />
|
||||
<property role="20kJfa" value="replacement" />
|
||||
<property role="20lbJX" value="1" />
|
||||
<ref role="20lvS9" to="5j4j:7E86$tKsl45" resolve="LogicalItem" />
|
||||
</node>
|
||||
</node>
|
||||
</model>
|
||||
|
||||
|
|
|
|||
|
|
@ -44,6 +44,7 @@
|
|||
<import index="gp7a" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project.dependency(MPS.Core/)" />
|
||||
<import index="tpcp" ref="r:00000000-0000-4000-0000-011c89590285(jetbrains.mps.lang.core.intentions)" />
|
||||
<import index="vndm" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.smodel.language(MPS.Core/)" />
|
||||
<import index="yt73" ref="bbf5c548-7111-4a53-a117-cdefc664cf34/java:jetbrains.mps.unification(jetbrains.mps.logic.reactor/)" />
|
||||
</imports>
|
||||
<registry>
|
||||
<language id="a247e09e-2435-45ba-b8d2-07e93feba96a" name="jetbrains.mps.baseLanguage.tuples">
|
||||
|
|
@ -10750,5 +10751,633 @@
|
|||
<ref role="3uigEE" to="psr6:18kNIl1vDPZ" resolve="AbstractMacroProcessing" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="312cEu" id="3pMFS1zdqns">
|
||||
<property role="TrG5h" value="SubstituteUtil" />
|
||||
<node concept="2tJIrI" id="3pMFS1zdqnt" role="jymVt" />
|
||||
<node concept="2YIFZL" id="3pMFS1zdqnu" role="jymVt">
|
||||
<property role="TrG5h" value="subst" />
|
||||
<node concept="37vLTG" id="3pMFS1zdqnv" role="3clF46">
|
||||
<property role="TrG5h" value="origin" />
|
||||
<node concept="3uibUv" id="3pMFS1zdqnw" role="1tU5fm">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="3pMFS1zds16" role="3clF46">
|
||||
<property role="TrG5h" value="pattern" />
|
||||
<node concept="3uibUv" id="3pMFS1zds7c" role="1tU5fm">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="3pMFS1zdsai" role="3clF46">
|
||||
<property role="TrG5h" value="replacement" />
|
||||
<node concept="3uibUv" id="3pMFS1zdsgs" role="1tU5fm">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="3pMFS1zdqnx" role="3clF46">
|
||||
<property role="TrG5h" value="logicalContext" />
|
||||
<node concept="3uibUv" id="3pMFS1zdqny" role="1tU5fm">
|
||||
<ref role="3uigEE" to="bj13:~LogicalContext" resolve="LogicalContext" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3uibUv" id="3pMFS1zdqnz" role="3clF45">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
<node concept="3Tm1VV" id="3pMFS1zdqn$" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="3pMFS1zdqn_" role="3clF47">
|
||||
<node concept="3cpWs8" id="3pMFS1zdqnA" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="3pMFS1zdqnB" role="3cpWs9">
|
||||
<property role="TrG5h" value="origForm" />
|
||||
<node concept="3uibUv" id="3pMFS1zdqnC" role="1tU5fm">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zdqnD" role="33vP2m">
|
||||
<ref role="3cqZAo" node="3pMFS1zdqnv" resolve="origin" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbJ" id="3pMFS1zdqnE" role="3cqZAp">
|
||||
<node concept="3clFbS" id="3pMFS1zdqnF" role="3clFbx">
|
||||
<node concept="3clFbF" id="3pMFS1zdqnG" role="3cqZAp">
|
||||
<node concept="37vLTI" id="3pMFS1zdqnH" role="3clFbG">
|
||||
<node concept="2OqwBi" id="3pMFS1zdqnI" role="37vLTx">
|
||||
<node concept="2OqwBi" id="3pMFS1zdqnJ" role="2Oq$k0">
|
||||
<node concept="1eOMI4" id="3pMFS1zdqnK" role="2Oq$k0">
|
||||
<node concept="10QFUN" id="3pMFS1zdqnL" role="1eOMHV">
|
||||
<node concept="3uibUv" id="3pMFS1zdqnM" role="10QFUM">
|
||||
<ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
|
||||
<node concept="3qTvmN" id="3pMFS1zdqnN" role="11_B2D" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zdqnO" role="10QFUP">
|
||||
<ref role="3cqZAo" node="3pMFS1zdqnv" resolve="origin" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="3pMFS1zdqnP" role="2OqNvi">
|
||||
<ref role="37wK5l" to="bj13:~Logical.findRoot():jetbrains.mps.logic.reactor.logical.Logical" resolve="findRoot" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="3pMFS1zdqnQ" role="2OqNvi">
|
||||
<ref role="37wK5l" to="bj13:~Logical.value():java.lang.Object" resolve="value" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zdqnR" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="3pMFS1zdqnB" resolve="origForm" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2ZW3vV" id="3pMFS1zdqnS" role="3clFbw">
|
||||
<node concept="3uibUv" id="3pMFS1zdqnT" role="2ZW6by">
|
||||
<ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zdqnU" role="2ZW6bz">
|
||||
<ref role="3cqZAo" node="3pMFS1zdqnv" resolve="origin" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="3pMFS1zdIDk" role="3cqZAp" />
|
||||
<node concept="3cpWs8" id="3pMFS1zdF5H" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="3pMFS1zdF5I" role="3cpWs9">
|
||||
<property role="TrG5h" value="patternForm" />
|
||||
<node concept="3uibUv" id="3pMFS1zdF5J" role="1tU5fm">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zdFs2" role="33vP2m">
|
||||
<ref role="3cqZAo" node="3pMFS1zds16" resolve="pattern" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbJ" id="3pMFS1zdFA4" role="3cqZAp">
|
||||
<node concept="3clFbS" id="3pMFS1zdFA6" role="3clFbx">
|
||||
<node concept="3clFbF" id="3pMFS1zdGo$" role="3cqZAp">
|
||||
<node concept="37vLTI" id="3pMFS1zdGA_" role="3clFbG">
|
||||
<node concept="37vLTw" id="3pMFS1zdGoz" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="3pMFS1zdF5I" resolve="patternForm" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="3pMFS1zdGE2" role="37vLTx">
|
||||
<node concept="2OqwBi" id="3pMFS1zdGE3" role="2Oq$k0">
|
||||
<node concept="1eOMI4" id="3pMFS1zdGE4" role="2Oq$k0">
|
||||
<node concept="10QFUN" id="3pMFS1zdGE5" role="1eOMHV">
|
||||
<node concept="3uibUv" id="3pMFS1zdGE6" role="10QFUM">
|
||||
<ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
|
||||
<node concept="3qTvmN" id="3pMFS1zdGE7" role="11_B2D" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zdGTA" role="10QFUP">
|
||||
<ref role="3cqZAo" node="3pMFS1zds16" resolve="pattern" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="3pMFS1zdGE9" role="2OqNvi">
|
||||
<ref role="37wK5l" to="bj13:~Logical.findRoot():jetbrains.mps.logic.reactor.logical.Logical" resolve="findRoot" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="3pMFS1zdGEa" role="2OqNvi">
|
||||
<ref role="37wK5l" to="bj13:~Logical.value():java.lang.Object" resolve="value" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2ZW3vV" id="3pMFS1zdFVc" role="3clFbw">
|
||||
<node concept="3uibUv" id="3pMFS1zdG2B" role="2ZW6by">
|
||||
<ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zdFHv" role="2ZW6bz">
|
||||
<ref role="3cqZAo" node="3pMFS1zds16" resolve="pattern" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="3pMFS1zdEIP" role="3cqZAp" />
|
||||
<node concept="3cpWs8" id="3pMFS1zdJbv" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="3pMFS1zdJbw" role="3cpWs9">
|
||||
<property role="TrG5h" value="replForm" />
|
||||
<node concept="3uibUv" id="3pMFS1zdJbx" role="1tU5fm">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zdJAt" role="33vP2m">
|
||||
<ref role="3cqZAo" node="3pMFS1zdsai" resolve="replacement" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbJ" id="3pMFS1zdJMb" role="3cqZAp">
|
||||
<node concept="3clFbS" id="3pMFS1zdJMd" role="3clFbx">
|
||||
<node concept="3clFbF" id="3pMFS1zdKo0" role="3cqZAp">
|
||||
<node concept="37vLTI" id="3pMFS1zdKo1" role="3clFbG">
|
||||
<node concept="37vLTw" id="3pMFS1zdL1W" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="3pMFS1zdJbw" resolve="replForm" />
|
||||
</node>
|
||||
<node concept="2ShNRf" id="3pMFS1zlzeG" role="37vLTx">
|
||||
<node concept="1pGfFk" id="3pMFS1zlzG9" role="2ShVmc">
|
||||
<ref role="37wK5l" to="oy3s:4TCblo5ML4I" resolve="LogicalTreeForm" />
|
||||
<node concept="10QFUN" id="3pMFS1zlzWI" role="37wK5m">
|
||||
<node concept="3uibUv" id="3pMFS1zlzWF" role="10QFUM">
|
||||
<ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
|
||||
<node concept="3qTvmN" id="3pMFS1zl$cy" role="11_B2D" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zlzWH" role="10QFUP">
|
||||
<ref role="3cqZAo" node="3pMFS1zdsai" resolve="replacement" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2ZW3vV" id="3pMFS1zdKaf" role="3clFbw">
|
||||
<node concept="3uibUv" id="3pMFS1zdKiV" role="2ZW6by">
|
||||
<ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zdJVh" role="2ZW6bz">
|
||||
<ref role="3cqZAo" node="3pMFS1zdsai" resolve="replacement" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="3pMFS1zdMHL" role="3cqZAp" />
|
||||
<node concept="3clFbJ" id="3pMFS1zdqnW" role="3cqZAp">
|
||||
<node concept="3clFbS" id="3pMFS1zdqnX" role="3clFbx">
|
||||
<node concept="3cpWs8" id="3pMFS1znIY_" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="3pMFS1znIYA" role="3cpWs9">
|
||||
<property role="TrG5h" value="groundOrigForm" />
|
||||
<node concept="3uibUv" id="3pMFS1znIY$" role="1tU5fm">
|
||||
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
|
||||
</node>
|
||||
<node concept="2YIFZM" id="3pMFS1znIYB" role="33vP2m">
|
||||
<ref role="37wK5l" to="6exd:6HT7BWBOXr$" resolve="ground" />
|
||||
<ref role="1Pybhc" to="6exd:6HT7BWBOXme" resolve="TreeFormUtil" />
|
||||
<node concept="10QFUN" id="3pMFS1znIYC" role="37wK5m">
|
||||
<node concept="3uibUv" id="3pMFS1znIYD" role="10QFUM">
|
||||
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1znIYE" role="10QFUP">
|
||||
<ref role="3cqZAo" node="3pMFS1zdqnB" resolve="origForm" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWs8" id="3pMFS1znIGc" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="3pMFS1znIGd" role="3cpWs9">
|
||||
<property role="TrG5h" value="substDelegate" />
|
||||
<node concept="3uibUv" id="3pMFS1znIG5" role="1tU5fm">
|
||||
<ref role="3uigEE" node="3pMFS1zdqof" resolve="SubstituteUtil.SubstDelegate" />
|
||||
</node>
|
||||
<node concept="2ShNRf" id="3pMFS1znIGe" role="33vP2m">
|
||||
<node concept="1pGfFk" id="3pMFS1znIGf" role="2ShVmc">
|
||||
<ref role="37wK5l" node="3pMFS1zdqoj" resolve="SubstituteUtil.SubstDelegate" />
|
||||
<node concept="10QFUN" id="3pMFS1znIGg" role="37wK5m">
|
||||
<node concept="3uibUv" id="3pMFS1znIGh" role="10QFUM">
|
||||
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1znIGi" role="10QFUP">
|
||||
<ref role="3cqZAo" node="3pMFS1zdF5I" resolve="patternForm" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="10QFUN" id="3pMFS1znIGj" role="37wK5m">
|
||||
<node concept="3uibUv" id="3pMFS1znIGk" role="10QFUM">
|
||||
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1znIGl" role="10QFUP">
|
||||
<ref role="3cqZAo" node="3pMFS1zdJbw" resolve="replForm" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1znIGm" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3pMFS1zdqnx" resolve="logicalContext" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWs6" id="3pMFS1zdqnY" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3pMFS1zdqnZ" role="3cqZAk">
|
||||
<node concept="2YIFZM" id="3pMFS1zdqo0" role="2Oq$k0">
|
||||
<ref role="1Pybhc" to="6exd:3OPtF02T8yx" resolve="Mappers" />
|
||||
<ref role="37wK5l" to="6exd:5s497VqteR6" resolve="mapper" />
|
||||
<node concept="37vLTw" id="3pMFS1znIGn" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3pMFS1znIGd" resolve="substDelegate" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="3pMFS1zdqo4" role="2OqNvi">
|
||||
<ref role="37wK5l" to="6exd:3OPtF02TgQt" resolve="map" />
|
||||
<node concept="37vLTw" id="3pMFS1znIYF" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3pMFS1znIYA" resolve="groundOrigForm" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1Wc70l" id="3pMFS1zdLQ2" role="3clFbw">
|
||||
<node concept="2ZW3vV" id="3pMFS1zdMhx" role="3uHU7w">
|
||||
<node concept="3uibUv" id="3pMFS1zdMmz" role="2ZW6by">
|
||||
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zlUbQ" role="2ZW6bz">
|
||||
<ref role="3cqZAo" node="3pMFS1zdJbw" resolve="replForm" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1Wc70l" id="3pMFS1zdI29" role="3uHU7B">
|
||||
<node concept="2ZW3vV" id="3pMFS1zdqo8" role="3uHU7B">
|
||||
<node concept="3uibUv" id="3pMFS1zdqo9" role="2ZW6by">
|
||||
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zdqoa" role="2ZW6bz">
|
||||
<ref role="3cqZAo" node="3pMFS1zdqnB" resolve="origForm" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2ZW3vV" id="3pMFS1zdIuP" role="3uHU7w">
|
||||
<node concept="3uibUv" id="3pMFS1zdIz_" role="2ZW6by">
|
||||
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zdIcI" role="2ZW6bz">
|
||||
<ref role="3cqZAo" node="3pMFS1zdF5I" resolve="patternForm" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="3pMFS1zdqob" role="3cqZAp" />
|
||||
<node concept="3clFbF" id="3pMFS1zdqoc" role="3cqZAp">
|
||||
<node concept="37vLTw" id="3pMFS1zdqod" role="3clFbG">
|
||||
<ref role="3cqZAo" node="3pMFS1zdqnv" resolve="origin" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="3pMFS1zdvs$" role="jymVt" />
|
||||
<node concept="312cEu" id="3pMFS1zdqof" role="jymVt">
|
||||
<property role="TrG5h" value="SubstDelegate" />
|
||||
<property role="2bfB8j" value="false" />
|
||||
<property role="1sVAO0" value="false" />
|
||||
<property role="1EXbeo" value="false" />
|
||||
<node concept="2tJIrI" id="3pMFS1zdqog" role="jymVt" />
|
||||
<node concept="3Tm6S6" id="3pMFS1zdqoh" role="1B3o_S" />
|
||||
<node concept="3uibUv" id="3pMFS1zdqoi" role="EKbjA">
|
||||
<ref role="3uigEE" to="6exd:3OPtF031GQe" resolve="Mappers.MapDelegate" />
|
||||
</node>
|
||||
<node concept="3clFbW" id="3pMFS1zdqoj" role="jymVt">
|
||||
<property role="DiZV1" value="false" />
|
||||
<property role="od$2w" value="false" />
|
||||
<node concept="3cqZAl" id="3pMFS1zdqok" role="3clF45" />
|
||||
<node concept="37vLTG" id="3pMFS1zdEoF" role="3clF46">
|
||||
<property role="TrG5h" value="patternForm" />
|
||||
<node concept="3uibUv" id="3pMFS1zdMRH" role="1tU5fm">
|
||||
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="3pMFS1zdNt1" role="3clF46">
|
||||
<property role="TrG5h" value="replacementForm" />
|
||||
<node concept="3uibUv" id="3pMFS1zdNt2" role="1tU5fm">
|
||||
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="3pMFS1zdqol" role="3clF46">
|
||||
<property role="TrG5h" value="logicalContext" />
|
||||
<property role="3TUv4t" value="false" />
|
||||
<node concept="3uibUv" id="3pMFS1zdqom" role="1tU5fm">
|
||||
<ref role="3uigEE" to="bj13:~LogicalContext" resolve="LogicalContext" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="3pMFS1zdqon" role="3clF47">
|
||||
<node concept="3clFbF" id="3pMFS1zdqoo" role="3cqZAp">
|
||||
<node concept="37vLTI" id="3pMFS1zdqop" role="3clFbG">
|
||||
<node concept="2OqwBi" id="3pMFS1zdqoq" role="37vLTJ">
|
||||
<node concept="Xjq3P" id="3pMFS1zdqor" role="2Oq$k0" />
|
||||
<node concept="2OwXpG" id="3pMFS1zdqos" role="2OqNvi">
|
||||
<ref role="2Oxat5" node="3pMFS1zdqqi" resolve="logicalContext" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zdqot" role="37vLTx">
|
||||
<ref role="3cqZAo" node="3pMFS1zdqol" resolve="logicalContext" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="3pMFS1zdOFe" role="3cqZAp">
|
||||
<node concept="37vLTI" id="3pMFS1zdOFg" role="3clFbG">
|
||||
<node concept="2OqwBi" id="3pMFS1zdPMQ" role="37vLTJ">
|
||||
<node concept="Xjq3P" id="3pMFS1zdPQ9" role="2Oq$k0" />
|
||||
<node concept="2OwXpG" id="3pMFS1zdPMT" role="2OqNvi">
|
||||
<ref role="2Oxat5" node="3pMFS1zdOFa" resolve="patternForm" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zdOFk" role="37vLTx">
|
||||
<ref role="3cqZAo" node="3pMFS1zdEoF" resolve="patternForm" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="3pMFS1zdPaP" role="3cqZAp">
|
||||
<node concept="37vLTI" id="3pMFS1zdPaR" role="3clFbG">
|
||||
<node concept="2OqwBi" id="3pMFS1zdPU4" role="37vLTJ">
|
||||
<node concept="Xjq3P" id="3pMFS1zdPXn" role="2Oq$k0" />
|
||||
<node concept="2OwXpG" id="3pMFS1zdPU7" role="2OqNvi">
|
||||
<ref role="2Oxat5" node="3pMFS1zdPaL" resolve="replacementForm" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1zdPaV" role="37vLTx">
|
||||
<ref role="3cqZAo" node="3pMFS1zdNt1" resolve="replacementForm" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Tm6S6" id="3pMFS1zdqou" role="1B3o_S" />
|
||||
</node>
|
||||
<node concept="2tJIrI" id="3pMFS1zdqov" role="jymVt" />
|
||||
<node concept="3clFb_" id="3pMFS1zdqow" role="jymVt">
|
||||
<property role="TrG5h" value="canMap" />
|
||||
<property role="DiZV1" value="false" />
|
||||
<property role="od$2w" value="false" />
|
||||
<node concept="37vLTG" id="3pMFS1zdqox" role="3clF46">
|
||||
<property role="TrG5h" value="tf" />
|
||||
<property role="3TUv4t" value="false" />
|
||||
<node concept="3uibUv" id="3pMFS1zdqoy" role="1tU5fm">
|
||||
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="3pMFS1zdqoz" role="3clF47">
|
||||
<node concept="3clFbF" id="3pMFS1zmlYt" role="3cqZAp">
|
||||
<node concept="3clFbT" id="3pMFS1zmlYs" role="3clFbG">
|
||||
<property role="3clFbU" value="true" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Tm1VV" id="3pMFS1zdqoE" role="1B3o_S" />
|
||||
<node concept="10P_77" id="3pMFS1zdqoF" role="3clF45" />
|
||||
</node>
|
||||
<node concept="2tJIrI" id="3pMFS1zdqoG" role="jymVt" />
|
||||
<node concept="3clFb_" id="3pMFS1zdqoH" role="jymVt">
|
||||
<property role="TrG5h" value="map" />
|
||||
<property role="DiZV1" value="false" />
|
||||
<property role="od$2w" value="false" />
|
||||
<node concept="37vLTG" id="3pMFS1zdqoI" role="3clF46">
|
||||
<property role="TrG5h" value="tf" />
|
||||
<property role="3TUv4t" value="false" />
|
||||
<node concept="3uibUv" id="3pMFS1zdqoJ" role="1tU5fm">
|
||||
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="3pMFS1zdqoK" role="3clF46">
|
||||
<property role="TrG5h" value="fallback" />
|
||||
<property role="3TUv4t" value="false" />
|
||||
<node concept="3uibUv" id="3pMFS1zdqoL" role="1tU5fm">
|
||||
<ref role="3uigEE" to="6exd:3OPtF02TdNT" resolve="TreeForm.Mapper" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="3pMFS1zdqoM" role="3clF47">
|
||||
<node concept="3clFbJ" id="3pMFS1ze2PK" role="3cqZAp">
|
||||
<node concept="3clFbS" id="3pMFS1ze2PM" role="3clFbx">
|
||||
<node concept="3cpWs6" id="3pMFS1ze$9q" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3pMFS1zeDc6" role="3cqZAk">
|
||||
<node concept="2YIFZM" id="3pMFS1zeCfy" role="2Oq$k0">
|
||||
<ref role="37wK5l" to="6exd:5s497VqteR6" resolve="mapper" />
|
||||
<ref role="1Pybhc" to="6exd:3OPtF02T8yx" resolve="Mappers" />
|
||||
<node concept="37vLTw" id="3pMFS1zeCFd" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3pMFS1zeln4" resolve="copyDelegate" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="3pMFS1zeDHw" role="2OqNvi">
|
||||
<ref role="37wK5l" to="6exd:3OPtF02TgQt" resolve="map" />
|
||||
<node concept="37vLTw" id="3pMFS1zeEEt" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3pMFS1zdPaL" resolve="replacementForm" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="3pMFS1zecl3" role="3cqZAp" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="3pMFS1ze3lV" role="3clFbw">
|
||||
<node concept="2OqwBi" id="3pMFS1ze3lW" role="2Oq$k0">
|
||||
<node concept="10M0yZ" id="3pMFS1ze3lX" role="2Oq$k0">
|
||||
<ref role="1PxDUh" to="yt73:~Unification" resolve="Unification" />
|
||||
<ref role="3cqZAo" to="yt73:~Unification.INSTANCE" resolve="INSTANCE" />
|
||||
</node>
|
||||
<node concept="liA8E" id="3pMFS1ze3lY" role="2OqNvi">
|
||||
<ref role="37wK5l" to="yt73:~Unification.unify(jetbrains.mps.unification.Term,jetbrains.mps.unification.Term):jetbrains.mps.unification.Substitution" resolve="unify" />
|
||||
<node concept="37vLTw" id="3pMFS1ze3lZ" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3pMFS1zdqoI" resolve="tf" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3pMFS1ze3m0" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3pMFS1zdOFa" resolve="patternForm" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="3pMFS1ze3m1" role="2OqNvi">
|
||||
<ref role="37wK5l" to="yt73:~Substitution.isSuccessful():boolean" resolve="isSuccessful" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="9aQIb" id="3pMFS1ze6r$" role="9aQIa">
|
||||
<node concept="3clFbS" id="3pMFS1ze6r_" role="9aQI4">
|
||||
<node concept="3cpWs6" id="3pMFS1ze6WJ" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3pMFS1ze6WK" role="3cqZAk">
|
||||
<node concept="37vLTw" id="3pMFS1ze6WL" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="3pMFS1zdqoI" resolve="tf" />
|
||||
</node>
|
||||
<node concept="liA8E" id="3pMFS1ze6WM" role="2OqNvi">
|
||||
<ref role="37wK5l" to="6exd:3OPtF02Tjpr" resolve="mapRecursively" />
|
||||
<node concept="37vLTw" id="3pMFS1ze6WN" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3pMFS1zdqoK" resolve="fallback" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Tm1VV" id="3pMFS1zdqqf" role="1B3o_S" />
|
||||
<node concept="3uibUv" id="3pMFS1zdqqg" role="3clF45">
|
||||
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="3pMFS1zdqqh" role="jymVt" />
|
||||
<node concept="312cEg" id="3pMFS1zeln4" role="jymVt">
|
||||
<property role="TrG5h" value="copyDelegate" />
|
||||
<node concept="3Tm6S6" id="3pMFS1zeln5" role="1B3o_S" />
|
||||
<node concept="3uibUv" id="3pMFS1zem09" role="1tU5fm">
|
||||
<ref role="3uigEE" to="6exd:3OPtF031GQe" resolve="Mappers.MapDelegate" />
|
||||
</node>
|
||||
<node concept="2ShNRf" id="3pMFS1zemcd" role="33vP2m">
|
||||
<node concept="YeOm9" id="3pMFS1zems9" role="2ShVmc">
|
||||
<node concept="1Y3b0j" id="3pMFS1zemsc" role="YeSDq">
|
||||
<property role="2bfB8j" value="true" />
|
||||
<ref role="1Y3XeK" to="6exd:3OPtF031GQe" resolve="Mappers.MapDelegate" />
|
||||
<ref role="37wK5l" to="wyt6:~Object.<init>()" resolve="Object" />
|
||||
<node concept="3Tm1VV" id="3pMFS1zemsd" role="1B3o_S" />
|
||||
<node concept="3clFb_" id="3pMFS1zeegr" role="jymVt">
|
||||
<property role="1EzhhJ" value="false" />
|
||||
<property role="TrG5h" value="canMap" />
|
||||
<node concept="37vLTG" id="3pMFS1zeegs" role="3clF46">
|
||||
<property role="TrG5h" value="tf" />
|
||||
<node concept="3uibUv" id="3pMFS1zeegt" role="1tU5fm">
|
||||
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="10P_77" id="3pMFS1zeegu" role="3clF45" />
|
||||
<node concept="3Tm1VV" id="3pMFS1zeegv" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="3pMFS1zeegx" role="3clF47">
|
||||
<node concept="3clFbF" id="3pMFS1zlUIs" role="3cqZAp">
|
||||
<node concept="3clFbT" id="3pMFS1zlUIr" role="3clFbG">
|
||||
<property role="3clFbU" value="true" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2AHcQZ" id="3pMFS1zeegy" role="2AJF6D">
|
||||
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="3pMFS1zlUfA" role="jymVt" />
|
||||
<node concept="3clFb_" id="3pMFS1zeeg_" role="jymVt">
|
||||
<property role="1EzhhJ" value="false" />
|
||||
<property role="TrG5h" value="map" />
|
||||
<node concept="37vLTG" id="3pMFS1zeegA" role="3clF46">
|
||||
<property role="TrG5h" value="tf" />
|
||||
<node concept="3uibUv" id="3pMFS1zeegB" role="1tU5fm">
|
||||
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="3pMFS1zeegC" role="3clF46">
|
||||
<property role="TrG5h" value="fallback" />
|
||||
<node concept="3uibUv" id="3pMFS1zeegD" role="1tU5fm">
|
||||
<ref role="3uigEE" to="6exd:3OPtF02TdNT" resolve="TreeForm.Mapper" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Tm1VV" id="3pMFS1zeegE" role="1B3o_S" />
|
||||
<node concept="3uibUv" id="3pMFS1zeegG" role="3clF45">
|
||||
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
|
||||
</node>
|
||||
<node concept="3clFbS" id="3pMFS1zeegH" role="3clF47">
|
||||
<node concept="3clFbJ" id="3pMFS1zdqoN" role="3cqZAp">
|
||||
<node concept="2ZW3vV" id="3pMFS1zdqoO" role="3clFbw">
|
||||
<node concept="37vLTw" id="3pMFS1zehQV" role="2ZW6bz">
|
||||
<ref role="3cqZAo" node="3pMFS1zeegA" resolve="tf" />
|
||||
</node>
|
||||
<node concept="3uibUv" id="3pMFS1zdqoQ" role="2ZW6by">
|
||||
<ref role="3uigEE" to="oy3s:4TCblo5MJ1m" resolve="LogicalTreeForm" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="9aQIb" id="3pMFS1zdqoR" role="9aQIa">
|
||||
<node concept="3clFbS" id="3pMFS1zdqoS" role="9aQI4">
|
||||
<node concept="3cpWs6" id="3pMFS1zdqoT" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3pMFS1zdqoU" role="3cqZAk">
|
||||
<node concept="37vLTw" id="3pMFS1zdqoV" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="3pMFS1zeegA" resolve="tf" />
|
||||
</node>
|
||||
<node concept="liA8E" id="3pMFS1zdqoW" role="2OqNvi">
|
||||
<ref role="37wK5l" to="6exd:3OPtF02Tjpr" resolve="mapRecursively" />
|
||||
<node concept="37vLTw" id="3pMFS1zdqoX" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3pMFS1zeegC" resolve="fallback" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="3pMFS1zdqoY" role="3clFbx">
|
||||
<node concept="3SKdUt" id="3pMFS1zeHG6" role="3cqZAp">
|
||||
<node concept="3SKdUq" id="3pMFS1zeHG8" role="3SKWNk">
|
||||
<property role="3SKdUp" value="TODO: optionally substitute new logical variables? (see CopyUtil)" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWs6" id="3pMFS1zeyhu" role="3cqZAp">
|
||||
<node concept="2ShNRf" id="3pMFS1zeyhv" role="3cqZAk">
|
||||
<node concept="1pGfFk" id="3pMFS1zeyhw" role="2ShVmc">
|
||||
<ref role="37wK5l" to="oy3s:4TCblo5ML4I" resolve="LogicalTreeForm" />
|
||||
<node concept="2OqwBi" id="3pMFS1zez0W" role="37wK5m">
|
||||
<node concept="1eOMI4" id="3pMFS1zez0X" role="2Oq$k0">
|
||||
<node concept="10QFUN" id="3pMFS1zez0Y" role="1eOMHV">
|
||||
<node concept="37vLTw" id="3pMFS1zez0Z" role="10QFUP">
|
||||
<ref role="3cqZAo" node="3pMFS1zeegA" resolve="tf" />
|
||||
</node>
|
||||
<node concept="3uibUv" id="3pMFS1zez10" role="10QFUM">
|
||||
<ref role="3uigEE" to="oy3s:4TCblo5MJ1m" resolve="LogicalTreeForm" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="3pMFS1zez11" role="2OqNvi">
|
||||
<ref role="37wK5l" to="oy3s:4TCblo5MS1o" resolve="logical" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="3pMFS1zdqqe" role="3cqZAp" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2AHcQZ" id="3pMFS1zeegI" role="2AJF6D">
|
||||
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="3pMFS1zezGx" role="jymVt" />
|
||||
<node concept="312cEg" id="3pMFS1zdqqi" role="jymVt">
|
||||
<property role="34CwA1" value="false" />
|
||||
<property role="eg7rD" value="false" />
|
||||
<property role="TrG5h" value="logicalContext" />
|
||||
<property role="3TUv4t" value="false" />
|
||||
<node concept="3uibUv" id="3pMFS1zdqqj" role="1tU5fm">
|
||||
<ref role="3uigEE" to="bj13:~LogicalContext" resolve="LogicalContext" />
|
||||
</node>
|
||||
<node concept="3Tm6S6" id="3pMFS1zdqqk" role="1B3o_S" />
|
||||
</node>
|
||||
<node concept="312cEg" id="3pMFS1zdOFa" role="jymVt">
|
||||
<property role="TrG5h" value="patternForm" />
|
||||
<node concept="3Tm6S6" id="3pMFS1zdOFb" role="1B3o_S" />
|
||||
<node concept="3uibUv" id="3pMFS1zdOFd" role="1tU5fm">
|
||||
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="312cEg" id="3pMFS1zdPaL" role="jymVt">
|
||||
<property role="TrG5h" value="replacementForm" />
|
||||
<node concept="3Tm6S6" id="3pMFS1zdPaM" role="1B3o_S" />
|
||||
<node concept="3uibUv" id="3pMFS1zdPaO" role="1tU5fm">
|
||||
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="3pMFS1zdqqy" role="jymVt" />
|
||||
<node concept="3Tm1VV" id="3pMFS1zdqqz" role="1B3o_S" />
|
||||
</node>
|
||||
</model>
|
||||
|
||||
|
|
|
|||
Loading…
Reference in New Issue