Commit aa09a80a authored by André Pacak's avatar André Pacak

create conversion judgments/rules (nonadt -> adt)

parent ec70b2d4
......@@ -5017,7 +5017,7 @@
<ref role="13h7C2" to="b83y:2RafZtcgx9y" resolve="IntMetaTerm" />
<node concept="13i0hz" id="3DmllL5ujx6" role="13h7CS">
<property role="TrG5h" value="getMetaVarNames" />
<ref role="13i0hy" node="2groWwXVpeb" resolve="getMetaVarNames" />
<ref role="13i0hy" node="2groWwXVpeb" resolve="getMetaVars" />
<node concept="3Tm1VV" id="3DmllL5ujx7" role="1B3o_S" />
<node concept="3clFbS" id="3DmllL5ujxa" role="3clF47">
<node concept="3cpWs6" id="2groWwYce8j" role="3cqZAp">
......@@ -5113,7 +5113,7 @@
<node concept="13i0hz" id="2groWwXVpeb" role="13h7CS">
<property role="13i0iv" value="true" />
<property role="13i0it" value="true" />
<property role="TrG5h" value="getMetaVarNames" />
<property role="TrG5h" value="getMetaVars" />
<node concept="3Tm1VV" id="2groWwXVpec" role="1B3o_S" />
<node concept="3clFbS" id="2groWwXVpee" role="3clF47" />
<node concept="2I9FWS" id="2groWwYc7zp" role="3clF45">
......@@ -5162,7 +5162,7 @@
</node>
<node concept="13i0hz" id="2groWwXVpfV" role="13h7CS">
<property role="TrG5h" value="getMetaVarNames" />
<ref role="13i0hy" node="2groWwXVpeb" resolve="getMetaVarNames" />
<ref role="13i0hy" node="2groWwXVpeb" resolve="getMetaVars" />
<node concept="3Tm1VV" id="2groWwXVpfW" role="1B3o_S" />
<node concept="3clFbS" id="2groWwXVpg0" role="3clF47">
<node concept="3cpWs6" id="2groWwXVpgq" role="3cqZAp">
......@@ -5254,7 +5254,7 @@
<ref role="13h7C2" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
<node concept="13i0hz" id="2groWwXVpiE" role="13h7CS">
<property role="TrG5h" value="getMetaVarNames" />
<ref role="13i0hy" node="2groWwXVpeb" resolve="getMetaVarNames" />
<ref role="13i0hy" node="2groWwXVpeb" resolve="getMetaVars" />
<node concept="3Tm1VV" id="2groWwXVpiF" role="1B3o_S" />
<node concept="3clFbS" id="2groWwXVpiG" role="3clF47">
<node concept="3cpWs8" id="2groWwXVre1" role="3cqZAp">
......@@ -5411,7 +5411,7 @@
</node>
<node concept="13i0hz" id="2groWwXVvxr" role="13h7CS">
<property role="TrG5h" value="getMetaVarNames" />
<ref role="13i0hy" node="2groWwXVpeb" resolve="getMetaVarNames" />
<ref role="13i0hy" node="2groWwXVpeb" resolve="getMetaVars" />
<node concept="3Tm1VV" id="2groWwXVvxs" role="1B3o_S" />
<node concept="3clFbS" id="2groWwXVvxw" role="3clF47">
<node concept="3cpWs6" id="2groWwYcsQ6" role="3cqZAp">
......@@ -5506,7 +5506,7 @@
<ref role="13h7C2" to="b83y:2RafZtc4hzV" resolve="WildCardMetaTerm" />
<node concept="13i0hz" id="2groWwXVw4_" role="13h7CS">
<property role="TrG5h" value="getMetaVarNames" />
<ref role="13i0hy" node="2groWwXVpeb" resolve="getMetaVarNames" />
<ref role="13i0hy" node="2groWwXVpeb" resolve="getMetaVars" />
<node concept="3Tm1VV" id="2groWwXVw4A" role="1B3o_S" />
<node concept="3clFbS" id="2groWwXVw4B" role="3clF47">
<node concept="3cpWs6" id="2groWwYcsQS" role="3cqZAp">
......@@ -5580,7 +5580,7 @@
<ref role="13h7C2" to="b83y:4XA4NEmF81A" resolve="ParentMetaTerm" />
<node concept="13i0hz" id="2groWwXVw7q" role="13h7CS">
<property role="TrG5h" value="getMetaVarNames" />
<ref role="13i0hy" node="2groWwXVpeb" resolve="getMetaVarNames" />
<ref role="13i0hy" node="2groWwXVpeb" resolve="getMetaVars" />
<node concept="3Tm1VV" id="2groWwXVw7r" role="1B3o_S" />
<node concept="3clFbS" id="2groWwXVw7s" role="3clF47">
<node concept="3cpWs6" id="2groWwXVw7$" role="3cqZAp">
......@@ -5592,7 +5592,7 @@
</node>
</node>
<node concept="2qgKlT" id="2groWwXVx6M" role="2OqNvi">
<ref role="37wK5l" node="2groWwXVpeb" resolve="getMetaVarNames" />
<ref role="37wK5l" node="2groWwXVpeb" resolve="getMetaVars" />
</node>
</node>
</node>
......@@ -5708,7 +5708,7 @@
</node>
<node concept="13i0hz" id="2groWwXVxu8" role="13h7CS">
<property role="TrG5h" value="getMetaVarNames" />
<ref role="13i0hy" node="2groWwXVpeb" resolve="getMetaVarNames" />
<ref role="13i0hy" node="2groWwXVpeb" resolve="getMetaVars" />
<node concept="3Tm1VV" id="2groWwXVxu9" role="1B3o_S" />
<node concept="3clFbS" id="2groWwXVxud" role="3clF47">
<node concept="3cpWs6" id="2groWwXW59t" role="3cqZAp">
......@@ -5721,7 +5721,7 @@
</node>
</node>
<node concept="2qgKlT" id="2groWwXVYKR" role="2OqNvi">
<ref role="37wK5l" node="2groWwXVpeb" resolve="getMetaVarNames" />
<ref role="37wK5l" node="2groWwXVpeb" resolve="getMetaVars" />
</node>
</node>
<node concept="X8dFx" id="2groWwXW3FF" role="2OqNvi">
......@@ -5733,7 +5733,7 @@
</node>
</node>
<node concept="2qgKlT" id="2groWwXW4oN" role="2OqNvi">
<ref role="37wK5l" node="2groWwXVpeb" resolve="getMetaVarNames" />
<ref role="37wK5l" node="2groWwXVpeb" resolve="getMetaVars" />
</node>
</node>
</node>
......@@ -6025,7 +6025,7 @@
</node>
<node concept="13i0hz" id="2groWwXVxOO" role="13h7CS">
<property role="TrG5h" value="getMetaVarNames" />
<ref role="13i0hy" node="2groWwXVpeb" resolve="getMetaVarNames" />
<ref role="13i0hy" node="2groWwXVpeb" resolve="getMetaVars" />
<node concept="3Tm1VV" id="2groWwXVxOP" role="1B3o_S" />
<node concept="3clFbS" id="2groWwXVxOT" role="3clF47">
<node concept="3cpWs8" id="2groWwXVKTZ" role="3cqZAp">
......@@ -6070,7 +6070,7 @@
</node>
</node>
<node concept="2qgKlT" id="2groWwXVVwv" role="2OqNvi">
<ref role="37wK5l" node="2groWwXVpeb" resolve="getMetaVarNames" />
<ref role="37wK5l" node="2groWwXVpeb" resolve="getMetaVars" />
</node>
</node>
</node>
......
......@@ -180,6 +180,22 @@
</node>
</node>
<node concept="1F53FG" id="2U2uJPq89Q4" role="1FufQt" />
<node concept="1FvzHw" id="6cGgHUfgPG4" role="1FufQt">
<property role="TrG5h" value="toType_ADT" />
<node concept="1FtGIX" id="6cGgHUfgPG6" role="1FvzHx">
<property role="1FtGIY" value="toType" />
</node>
<node concept="1FtGBS" id="6cGgHUfgPUe" role="1FvzHy">
<ref role="1FtGBW" to="5va7:1Da9ityUTef" resolve="Type" />
<node concept="1FtGIS" id="6cGgHUfgPUs" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6cGgHUfgPG9" role="1FvzSW" />
<node concept="1FtGBS" id="6cGgHUfgPUl" role="1FvzH$">
<ref role="1FtGBW" to="5va7:1Da9ityUTef" resolve="Type" />
<node concept="1FtGIT" id="6cGgHUfgPUw" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6cGgHUfgPGc" role="1FvzS5" />
</node>
<node concept="1F53FG" id="2U2uJPq8a3Z" role="1FufQt" />
<node concept="1F53FG" id="2U2uJPq3SH8" role="1FufQt" />
<node concept="1FvzHw" id="2U2uJPq3Sni" role="1FufQt">
......@@ -448,7 +464,7 @@
<node concept="bFJCQ" id="2U2uJPq7RtP" role="27Pwov">
<ref role="3zVwH8" to="5va7:1Da9ityUTfl" resolve="ty" />
<node concept="1FvUUU" id="2U2uJPq7RtQ" role="bFJCb">
<property role="TrG5h" value="ty" />
<property role="TrG5h" value="ty_" />
</node>
</node>
</node>
......
......@@ -191,6 +191,11 @@
<child id="8118018043742924547" name="imports" index="xaH5_" />
</concept>
</language>
<language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
<reference id="1138405853777" name="concept" index="ehGHo" />
</concept>
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
<child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
......@@ -2134,6 +2139,12 @@
<ref role="2ZQB93" node="28C$so9xvNx" resolve="LType" />
</node>
</node>
<node concept="hPFL_" id="6cGgHUfhfGQ" role="3clF46">
<property role="TrG5h" value="n" />
<node concept="3Tqbb2" id="6cGgHUfhfHm" role="1tU5fm">
<ref role="ehGHo" to="5va7:1Da9ityUTeg" resolve="Fun" />
</node>
</node>
</node>
<node concept="2slB5m" id="75UymJHK2dn" role="_iOnB" />
<node concept="2Z3Rg9" id="28C$so9xx0r" role="2Z3R6k">
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment