Skip to content

GitLab

Commit ec70b2d4 authored by André Pacak's avatar André Pacak
Browse files
Options

refactoring

parent 4d2cca00
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 1183 additions and 1135 deletions
inca-translation/languages/TypeLang/models/behavior.mps
View file @ ec70b2d4
......@@ -1561,7 +1561,7 @@
<node concept="13i0hz" id="5YqjVV7pW7l" role="13h7CS">
<property role="13i0iv" value="true" />
<property role="13i0it" value="true" />
<property role="TrG5h" value="constructInstance" />
<property role="TrG5h" value="createInstance" />
<node concept="3Tm1VV" id="5YqjVV7pW7m" role="1B3o_S" />
<node concept="3Tqbb2" id="5YqjVV7pWaD" role="3clF45">
<ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
......@@ -1871,7 +1871,7 @@
</node>
<node concept="13i0hz" id="5YqjVV7pWCX" role="13h7CS">
<property role="TrG5h" value="constructInstance" />
<ref role="13i0hy" node="5YqjVV7pW7l" resolve="constructInstance" />
<ref role="13i0hy" node="5YqjVV7pW7l" resolve="createInstance" />
<node concept="3Tm1VV" id="5YqjVV7pWCY" role="1B3o_S" />
<node concept="3clFbS" id="5YqjVV7pWD4" role="3clF47">
<node concept="3cpWs6" id="5YqjVV7pWTI" role="3cqZAp">
......@@ -2467,7 +2467,7 @@
</node>
<node concept="13i0hz" id="5YqjVV7q2Fa" role="13h7CS">
<property role="TrG5h" value="constructInstance" />
<ref role="13i0hy" node="5YqjVV7pW7l" resolve="constructInstance" />
<ref role="13i0hy" node="5YqjVV7pW7l" resolve="createInstance" />
<node concept="3Tm1VV" id="5YqjVV7q2Fb" role="1B3o_S" />
<node concept="3clFbS" id="5YqjVV7q2Fc" role="3clF47">
<node concept="3cpWs6" id="5YqjVV7q2Fd" role="3cqZAp">
......@@ -3291,7 +3291,7 @@
</node>
<node concept="13i0hz" id="5YqjVV7q8YN" role="13h7CS">
<property role="TrG5h" value="constructInstance" />
<ref role="13i0hy" node="5YqjVV7pW7l" resolve="constructInstance" />
<ref role="13i0hy" node="5YqjVV7pW7l" resolve="createInstance" />
<node concept="3Tm1VV" id="5YqjVV7q8YO" role="1B3o_S" />
<node concept="3clFbS" id="5YqjVV7q8YP" role="3clF47">
<node concept="3cpWs6" id="5YqjVV7q8YQ" role="3cqZAp">
......@@ -7788,7 +7788,7 @@
</node>
<node concept="13i0hz" id="2U2uJPq3YcB" role="13h7CS">
<property role="TrG5h" value="constructInstance" />
<ref role="13i0hy" node="5YqjVV7pW7l" resolve="constructInstance" />
<ref role="13i0hy" node="5YqjVV7pW7l" resolve="createInstance" />
<node concept="3Tm1VV" id="2U2uJPq3YcC" role="1B3o_S" />
<node concept="3clFbS" id="2U2uJPq3YcD" role="3clF47">
<node concept="3cpWs6" id="2U2uJPq3YcE" role="3cqZAp">
......
inca-translation/solutions/TypeLangTest/models/test_single.mps
View file @ ec70b2d4
......@@ -64,25 +64,6 @@
<child id="2973820376015605589" name="conclusion" index="1FvUUP" />
<child id="2973820376015605556" name="premises" index="1FvUVk" />
</concept>
<concept id="3351376301273366982" name="TypeLang.structure.JudgmentDeclaration4" flags="ng" index="1OzrGV">
<child id="3351376301273366992" name="delimiter4" index="1OzrGH" />
<child id="3351376301273366989" name="delimiter3" index="1OzrGK" />
<child id="3351376301273366988" name="sort3" index="1OzrGL" />
<child id="3351376301273366991" name="sort4" index="1OzrGM" />
<child id="3351376301273366985" name="delimiter1" index="1OzrGO" />
<child id="3351376301273366984" name="sort1" index="1OzrGP" />
<child id="3351376301273366987" name="delimiter2" index="1OzrGQ" />
<child id="3351376301273366986" name="sort2" index="1OzrGR" />
<child id="3351376301273366983" name="pre" index="1OzrGU" />
</concept>
<concept id="3351376301273445892" name="TypeLang.structure.JudgmentInstance4" flags="ng" index="1O$CNT">
<reference id="3351376301273445893" name="judgment" index="1O$CNS" />
<child id="3351376301273445896" name="arg3" index="1O$CNP" />
<child id="3351376301273445898" name="arg4" index="1O$CNR" />
<child id="3351376301273445895" name="arg2" index="1O$CNU" />
<child id="3351376301273445894" name="arg1" index="1O$CNV" />
</concept>
<concept id="3351376301273846558" name="TypeLang.structure.SortString" flags="ng" index="1O_mBz" />
<concept id="3351376301258987589" name="TypeLang.structure.Sort" flags="ng" index="1RHyaS">
<child id="2973820376015170130" name="mode" index="1FtGIM" />
</concept>
......@@ -173,6 +154,7 @@
<node concept="1FtGIT" id="2U2uJPpfXBf" role="1FtGIM" />
</node>
</node>
<node concept="1F53FG" id="7TgNhRbtzUB" role="1FufQt" />
<node concept="1FvzHF" id="6G$bWLkr_bK" role="1FufQt">
<property role="TrG5h" value="match_Fun" />
<node concept="1FtGIX" id="6G$bWLkr_bL" role="1FvzHG" />
......@@ -196,36 +178,6 @@
</node>
<node concept="1FtGIX" id="6G$bWLkr_bU" role="1FvzSA" />
</node>
<node concept="1F53FG" id="2U2uJPq7VvL" role="1FufQt" />
<node concept="1OzrGV" id="2U2uJPq5L4P" role="1FufQt">
<property role="TrG5h" value="match_Bind" />
<node concept="1FtGIX" id="2U2uJPq5L4R" role="1OzrGU" />
<node concept="1FtGBS" id="2U2uJPq5Lcj" role="1OzrGP">
<ref role="1FtGBW" to="5va7:2_58u12slaZ" resolve="Context" />
<node concept="1FtGIS" id="2U2uJPq5Lcq" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="2U2uJPq5L4U" role="1OzrGO">
<property role="1FtGIY" value="match_Bind" />
</node>
<node concept="1FtGIX" id="2U2uJPq5L4X" role="1OzrGQ">
<property role="1FtGIY" value="," />
</node>
<node concept="1FtGBS" id="2U2uJPq7Q7I" role="1OzrGL">
<ref role="1FtGBW" to="5va7:1Da9ityUTef" resolve="Type" />
<node concept="1FtGIT" id="2U2uJPq7Q7P" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="2U2uJPq5L50" role="1OzrGK">
<property role="1FtGIY" value="," />
</node>
<node concept="1FtGBS" id="2U2uJPq7Q7T" role="1OzrGM">
<ref role="1FtGBW" to="5va7:2_58u12slaZ" resolve="Context" />
<node concept="1FtGIT" id="2U2uJPq7Q80" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="2U2uJPq5L53" role="1OzrGH" />
<node concept="1O_mBz" id="2U2uJPq7Q7y" role="1OzrGR">
<node concept="1FtGIT" id="2U2uJPq7Q7E" role="1FtGIM" />
</node>
</node>
<node concept="1F53FG" id="6G$bWLkr_bW" role="1FufQt" />
<node concept="1FvUVj" id="6G$bWLkr_bX" role="1FufQt">
<property role="TrG5h" value="infer Zero" />
......@@ -585,152 +537,121 @@
</node>
</node>
</node>
<node concept="1F53FG" id="6G$bWLkr_dU" role="1FufQt" />
<node concept="1FvUVj" id="2U2uJPq7VB0" role="1FufQt">
<property role="TrG5h" value="match Bind" />
<node concept="1O$CNT" id="2U2uJPq7VJV" role="1FvUUP">
<ref role="1O$CNS" node="2U2uJPq5L4P" resolve="match_Bind" />
<node concept="1FvUUU" id="2U2uJPq7VKx" role="1O$CNU">
<property role="TrG5h" value="name" />
<node concept="1F53FG" id="6G$bWLkr_dV" role="1FufQt" />
<node concept="1F53FG" id="7TgNhRbt$1w" role="1FufQt" />
<node concept="1FvUVj" id="2U2uJPq7S1I" role="1FufQt">
<property role="TrG5h" value="lookup found" />
<node concept="1FvB8F" id="2U2uJPq7S1J" role="1FvUUP">
<ref role="1FvB8G" node="6G$bWLkr_b_" resolve="lookup" />
<node concept="27Pwox" id="2U2uJPq7S1K" role="1FvB8H">
<ref role="1F1YRu" to="5va7:1Da9ityUTbw" resolve="Var" />
<node concept="bFJCQ" id="2U2uJPq7S1L" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="2U2uJPq7S1M" role="bFJCb">
<property role="TrG5h" value="name" />
</node>
</node>
</node>
<node concept="1FvUUU" id="2U2uJPq7VKG" role="1O$CNP">
<node concept="1FvUUU" id="2U2uJPq7S1N" role="1FvB8J">
<property role="TrG5h" value="ty" />
</node>
<node concept="1FvUUU" id="2U2uJPq7VKW" role="1O$CNR">
<property role="TrG5h" value="C" />
</node>
<node concept="27Pwox" id="2U2uJPq7VB2" role="1O$CNV">
<node concept="27Pwox" id="6OMXo1T_mfb" role="1FvB8I">
<ref role="1F1YRu" to="5va7:2_58u12e1eN" resolve="Bind" />
<node concept="bFJCQ" id="2U2uJPq7VIO" role="27Pwov">
<node concept="bFJCQ" id="6OMXo1T_mfj" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="2U2uJPq7VJ2" role="bFJCb">
<property role="TrG5h" value="name" />
<node concept="1FvUUU" id="6OMXo1T_mfx" role="bFJCb">
<property role="TrG5h" value="name2" />
</node>
</node>
<node concept="bFJCQ" id="2U2uJPq7VJ5" role="27Pwov">
<node concept="bFJCQ" id="6OMXo1T_mf$" role="27Pwov">
<ref role="3zVwH8" to="5va7:2_58u12slbe" resolve="type" />
<node concept="1FvUUU" id="2U2uJPq7VJn" role="bFJCb">
<node concept="1FvUUU" id="6OMXo1T_mfQ" role="bFJCb">
<property role="TrG5h" value="ty" />
</node>
</node>
<node concept="bFJCQ" id="2U2uJPq7VJq" role="27Pwov">
<node concept="bFJCQ" id="6OMXo1T_mfT" role="27Pwov">
<ref role="3zVwH8" to="5va7:2_58u12slb9" resolve="rest" />
<node concept="1FvUUU" id="2U2uJPq7VJP" role="bFJCb">
<property role="TrG5h" value="C" />
<node concept="1FvUUU" id="6OMXo1T_mgr" role="bFJCb">
<property role="TrG5h" value="C2" />
</node>
</node>
</node>
</node>
</node>
<node concept="1F53FG" id="2U2uJPq7VB9" role="1FufQt" />
<node concept="1F53FG" id="6G$bWLkr_dV" role="1FufQt" />
<node concept="1F53FG" id="6G$bWLkr_dW" role="1FufQt" />
<node concept="1FvUVj" id="6G$bWLkr_dX" role="1FufQt">
<property role="TrG5h" value="lookup found" />
<node concept="1FvB8F" id="6G$bWLkr_dY" role="1FvUUP">
<ref role="1FvB8G" node="6G$bWLkr_b_" resolve="lookup" />
<node concept="27Pwox" id="6XUlM2oxa2a" role="1FvB8H">
<ref role="1F1YRu" to="5va7:1Da9ityUTbw" resolve="Var" />
<node concept="bFJCQ" id="6XUlM2oxa2i" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="6XUlM2oxa2w" role="bFJCb">
<property role="TrG5h" value="name" />
</node>
</node>
</node>
<node concept="1FvUUU" id="6G$bWLkr_e5" role="1FvB8J">
<property role="TrG5h" value="ty" />
</node>
<node concept="1FvUUU" id="2U2uJPq7QgY" role="1FvB8I">
<property role="TrG5h" value="C" />
</node>
</node>
<node concept="1O$CNT" id="2U2uJPq7Qfh" role="1FvUVk">
<ref role="1O$CNS" node="2U2uJPq5L4P" resolve="match_Bind" />
<node concept="1FvUUU" id="2U2uJPq7QgF" role="1O$CNV">
<property role="TrG5h" value="C" />
</node>
<node concept="1FvUUU" id="2U2uJPq7QfJ" role="1O$CNU">
<property role="TrG5h" value="name2" />
</node>
<node concept="1FvUUU" id="2U2uJPq7QfU" role="1O$CNP">
<property role="TrG5h" value="ty" />
</node>
<node concept="1FvUUU" id="2U2uJPq7Qgr" role="1O$CNR">
<property role="TrG5h" value="C2" />
</node>
</node>
<node concept="1FckbG" id="6G$bWLkr_e6" role="1FvUVk">
<node concept="1FvUUU" id="6G$bWLkr_e7" role="1FfB6u">
<node concept="1FckbG" id="2U2uJPq7S1U" role="1FvUVk">
<node concept="1FvUUU" id="2U2uJPq7S1V" role="1FfB6u">
<property role="TrG5h" value="name" />
</node>
<node concept="1FvUUU" id="6G$bWLkr_e8" role="1FfB6v">
<node concept="1FvUUU" id="2U2uJPq7S1W" role="1FfB6v">
<property role="TrG5h" value="name2" />
</node>
</node>
</node>
<node concept="1F53FG" id="6G$bWLkr_e9" role="1FufQt" />
<node concept="1FvUVj" id="6G$bWLkr_ea" role="1FufQt">
<node concept="1F53FG" id="2U2uJPq7S1X" role="1FufQt" />
<node concept="1FvUVj" id="2U2uJPq7S1Y" role="1FufQt">
<property role="TrG5h" value="lookup next" />
<node concept="1FvB8F" id="6G$bWLkr_eb" role="1FvUUP">
<node concept="1FvB8F" id="2U2uJPq7S1Z" role="1FvUUP">
<ref role="1FvB8G" node="6G$bWLkr_b_" resolve="lookup" />
<node concept="1XyUHm" id="2U2uJPq7Ssk" role="1FvB8H">
<node concept="1FvUUU" id="2U2uJPq7Ssl" role="1XBmw5">
<node concept="1XyUHm" id="2U2uJPq7Ss0" role="1FvB8H">
<node concept="1FvUUU" id="2U2uJPq7Ss1" role="1XBmw5">
<property role="TrG5h" value="var" />
</node>
<node concept="27Pwox" id="6XUlM2oxa1j" role="1XyUH6">
<node concept="27Pwox" id="2U2uJPq7S20" role="1XyUH6">
<ref role="1F1YRu" to="5va7:1Da9ityUTbw" resolve="Var" />
<node concept="bFJCQ" id="6XUlM2oxa1r" role="27Pwov">
<node concept="bFJCQ" id="2U2uJPq7S21" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="6XUlM2oxa1D" role="bFJCb">
<node concept="1FvUUU" id="2U2uJPq7S22" role="bFJCb">
<property role="TrG5h" value="name" />
</node>
</node>
</node>
</node>
<node concept="1FvUUU" id="6G$bWLkr_ei" role="1FvB8J">
<node concept="1FvUUU" id="2U2uJPq7S23" role="1FvB8J">
<property role="TrG5h" value="ty" />
</node>
<node concept="1FvUUU" id="2U2uJPq7Qi6" role="1FvB8I">
<property role="TrG5h" value="C" />
</node>
</node>
<node concept="1O$CNT" id="2U2uJPq7Qh1" role="1FvUVk">
<ref role="1O$CNS" node="2U2uJPq5L4P" resolve="match_Bind" />
<node concept="1FvUUU" id="2U2uJPq7Qh2" role="1O$CNV">
<property role="TrG5h" value="C" />
</node>
<node concept="1FvUUU" id="2U2uJPq7Qh3" role="1O$CNU">
<property role="TrG5h" value="name2" />
</node>
<node concept="1FvUUU" id="2U2uJPq7Qh4" role="1O$CNP">
<property role="TrG5h" value="ty2" />
</node>
<node concept="1FvUUU" id="2U2uJPq7Qh5" role="1O$CNR">
<property role="TrG5h" value="C2" />
<node concept="27Pwox" id="6OMXo1T_mgS" role="1FvB8I">
<ref role="1F1YRu" to="5va7:2_58u12e1eN" resolve="Bind" />
<node concept="bFJCQ" id="6OMXo1T_mh0" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="6OMXo1T_mhe" role="bFJCb">
<property role="TrG5h" value="name2" />
</node>
</node>
<node concept="bFJCQ" id="6OMXo1T_mhh" role="27Pwov">
<ref role="3zVwH8" to="5va7:2_58u12slbe" resolve="type" />
<node concept="1FvUUU" id="6OMXo1T_mhz" role="bFJCb">
<property role="TrG5h" value="ty" />
</node>
</node>
<node concept="bFJCQ" id="6OMXo1T_mhA" role="27Pwov">
<ref role="3zVwH8" to="5va7:2_58u12slb9" resolve="rest" />
<node concept="1FvUUU" id="6OMXo1T_mhW" role="bFJCb">
<property role="TrG5h" value="C2" />
</node>
</node>
</node>
</node>
<node concept="1Ff$0d" id="6G$bWLkr_en" role="1FvUVk">
<node concept="1FvUUU" id="6G$bWLkr_eo" role="1Ff$0e">
<node concept="1Ff$0d" id="2U2uJPq7S2a" role="1FvUVk">
<node concept="1FvUUU" id="2U2uJPq7S2b" role="1Ff$0e">
<property role="TrG5h" value="name" />
</node>
<node concept="1FvUUU" id="6G$bWLkr_ep" role="1Ff$0f">
<node concept="1FvUUU" id="2U2uJPq7S2c" role="1Ff$0f">
<property role="TrG5h" value="name2" />
</node>
</node>
<node concept="1FvB8F" id="6G$bWLkr_ej" role="1FvUVk">
<node concept="1FvB8F" id="2U2uJPq7S2d" role="1FvUVk">
<ref role="1FvB8G" node="6G$bWLkr_b_" resolve="lookup" />
<node concept="1FvUUU" id="6G$bWLkr_ek" role="1FvB8H">
<node concept="1FvUUU" id="2U2uJPq7S2e" role="1FvB8H">
<property role="TrG5h" value="var" />
</node>
<node concept="1FvUUU" id="6G$bWLkr_el" role="1FvB8I">
<node concept="1FvUUU" id="2U2uJPq7S2f" role="1FvB8I">
<property role="TrG5h" value="C2" />
</node>
<node concept="1FvUUU" id="6G$bWLkr_em" role="1FvB8J">
<node concept="1FvUUU" id="2U2uJPq7S2g" role="1FvB8J">
<property role="TrG5h" value="ty" />
</node>
</node>
</node>
<node concept="1F53FG" id="7TgNhRbtyxk" role="1FufQt" />
<node concept="1F53FG" id="6G$bWLkr_eq" role="1FufQt" />
<node concept="1F53FG" id="6G$bWLkr_er" role="1FufQt" />
</node>
......
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