Skip to content

GitLab

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

use judgmentinstancematch instead of equality, add guard that checks that... 

use judgmentinstancematch instead of equality, add guard that checks that input of judgment is actually specific child of parent, refactoring
parent d4e9cbab
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 1184 additions and 817 deletions
inca-translation/languages/TypeLang/models/behavior.mps
View file @ 0b6ccbc4
......@@ -4779,7 +4779,7 @@
</node>
</node>
</node>
<node concept="2qgKlT" id="2U2uJPpLdmG" role="2OqNvi">
<node concept="2qgKlT" id="7oauUzvZEMH" role="2OqNvi">
<ref role="37wK5l" node="2U2uJPpEtku" resolve="isInput" />
</node>
</node>
......
inca-translation/solutions/TypeLangTest/models/test_projections.mps
View file @ 0b6ccbc4
......@@ -191,11 +191,6 @@
<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" />
......@@ -205,7 +200,7 @@
</concept>
<concept id="709746936026466394" name="jetbrains.mps.lang.core.structure.ChildAttribute" flags="ng" index="3VBwX9">
<property id="709746936026609031" name="linkId" index="3V$3ak" />
<property id="709746936026609029" name="linkRole" index="3V$3am" />
<property id="709746936026609029" name="role_DebugInfo" index="3V$3am" />
</concept>
<concept id="4452961908202556907" name="jetbrains.mps.lang.core.structure.BaseCommentAttribute" flags="ng" index="1X3_iC">
<child id="3078666699043039389" name="commentedNode" index="8Wnug" />
......@@ -2160,49 +2155,6 @@
</node>
<node concept="3U8wA7" id="2U2uJPq83Ic">
<property role="TrG5h" value="LContext" />
<node concept="hMdjl" id="2U2uJPq84$D" role="_iOnB">
<property role="TrG5h" value="lookup" />
<node concept="hPFL_" id="2U2uJPq84_k" role="3clF46">
<property role="TrG5h" value="var" />
<node concept="3Tqbb2" id="2U2uJPq84_A" role="1tU5fm">
<ref role="ehGHo" to="5va7:1Da9ityUTbw" resolve="Var" />
</node>
</node>
<node concept="hPFL_" id="2U2uJPq84_L" role="3clF46">
<property role="TrG5h" value="ctx" />
<node concept="2ZQB9c" id="2U2uJPq84_X" role="1tU5fm">
<ref role="2ZQB93" node="2U2uJPq83Ic" resolve="LContext" />
</node>
</node>
<node concept="2ZQB9c" id="2U2uJPq84EL" role="3clF45">
<ref role="2ZQB93" node="28C$so9xvNx" resolve="LType" />
</node>
<node concept="3Tm1VV" id="2U2uJPq84$G" role="1B3o_S" />
<node concept="3clFbS" id="2U2uJPq84$H" role="3clF47" />
</node>
<node concept="2slB5m" id="2U2uJPq83IX" role="_iOnB" />
<node concept="hMdjl" id="2U2uJPq84AE" role="_iOnB">
<property role="TrG5h" value="match_Bind_0" />
<node concept="17QB3L" id="2U2uJPq84Ev" role="3clF45" />
<node concept="3Tm1VV" id="2U2uJPq84AH" role="1B3o_S" />
<node concept="3clFbS" id="2U2uJPq84AI" role="3clF47" />
</node>
<node concept="hMdjl" id="2U2uJPq84CC" role="_iOnB">
<property role="TrG5h" value="match_Bind_1" />
<node concept="2ZQB9c" id="2U2uJPq84E_" role="3clF45">
<ref role="2ZQB93" node="28C$so9xvNx" resolve="LType" />
</node>
<node concept="3Tm1VV" id="2U2uJPq84CE" role="1B3o_S" />
<node concept="3clFbS" id="2U2uJPq84CF" role="3clF47" />
</node>
<node concept="hMdjl" id="2U2uJPq84Dk" role="_iOnB">
<property role="TrG5h" value="match_Bind_2" />
<node concept="2ZQB9c" id="2U2uJPq84EF" role="3clF45">
<ref role="2ZQB93" node="2U2uJPq83Ic" resolve="LContext" />
</node>
<node concept="3Tm1VV" id="2U2uJPq84Dm" role="1B3o_S" />
<node concept="3clFbS" id="2U2uJPq84Dn" role="3clF47" />
</node>
<node concept="2slB5m" id="2U2uJPq84BS" role="_iOnB" />
<node concept="2Z3Rg9" id="2U2uJPq83IY" role="2Z3R6k">
<property role="TrG5h" value="Empty" />
......
inca-translation/solutions/TypeLangTest/models/test_single.mps
View file @ 0b6ccbc4
......@@ -697,7 +697,7 @@
<property role="TrG5h" value="name2" />
</node>
<node concept="1FvUUU" id="2U2uJPq7Qh4" role="1O$CNP">
<property role="TrG5h" value="ty" />
<property role="TrG5h" value="ty2" />
</node>
<node concept="1FvUUU" id="2U2uJPq7Qh5" role="1O$CNR">
<property role="TrG5h" value="C2" />
......
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