Commit c7db4461 authored by André Pacak's avatar André Pacak
Browse files

Generate is_X for constructor X without arguments, is needed such that...

Generate is_X for constructor X without arguments, is needed such that transformation is correct if error step is skipped
parent d6e0c2ce
......@@ -31,6 +31,9 @@
<child id="996292992025662592" name="src" index="2kdhYM" />
<child id="1925259677761394831" name="element" index="3zVzRQ" />
</concept>
<concept id="5058472606514896546" name="org.inca.fun.structure.LiteralValue" flags="ng" index="2Brx2E">
<child id="5058472606514896559" name="value" index="2Brx2B" />
</concept>
<concept id="1036696987214522885" name="org.inca.fun.structure.FunTemporaryVariable" flags="ng" index="30KbLJ" />
<concept id="1036696987215326970" name="org.inca.fun.structure.ReturnStatement" flags="ng" index="30Nfyg">
<child id="1036696987215326979" name="expression" index="30Nf_D" />
......@@ -238,6 +241,9 @@
</concept>
</language>
<language id="b802a056-92a2-4fbc-902e-f8e5004c331f" name="org.inca.core">
<concept id="996292992024566533" name="org.inca.core.structure.BoolValue" flags="ng" index="2k1_0R">
<property id="996292992024566534" name="value" index="2k1_0O" />
</concept>
<concept id="996292992024566952" name="org.inca.core.structure.PatternCall" flags="ng" index="2k1_uq" />
<concept id="996292992025672789" name="org.inca.core.structure.ConceptReferenceType" flags="ng" index="2kdjtB">
<reference id="7241148409041409499" name="concept" index="2UGuZ7" />
......@@ -2525,6 +2531,26 @@
</node>
</node>
</node>
<node concept="34ocy7" id="qUzTH2cO_x" role="1dgzf0">
<node concept="34ofUU" id="qUzTH2cSRk" role="34ocs8">
<node concept="2Brx2E" id="qUzTH2cTPp" role="34ocZk">
<node concept="2k1_0R" id="qUzTH2cTPo" role="2Brx2B">
<property role="2k1_0O" value="true" />
</node>
</node>
<node concept="1p__ei" id="qUzTH2cPzH" role="34ocZn">
<node concept="3_JagS" id="qUzTH2cPzF" role="1p__f_">
<ref role="3_Jajq" node="7Xsfc_nIwz$" resolve="Type_ADT" />
</node>
<node concept="1i8UFo" id="qUzTH2cQwQ" role="1p_StM">
<ref role="2RnLXx" node="7Xsfc_nIw_6" resolve="is_Nat" />
<node concept="1sjAk5" id="qUzTH2cRtY" role="2ZRyFy">
<ref role="1sjAk2" node="7Xsfc_nIwBN" resolve="adt_uhl_1" />
</node>
</node>
</node>
</node>
</node>
<node concept="34ocy7" id="7Xsfc_nIwBS" role="1dgzf0">
<node concept="34ofUU" id="7Xsfc_nIwBT" role="34ocs8">
<node concept="2k1_ex" id="7Xsfc_nIwBU" role="34ocZn">
......@@ -2552,6 +2578,26 @@
</node>
</node>
</node>
<node concept="34ocy7" id="qUzTH2cVLv" role="1dgzf0">
<node concept="34ofUU" id="qUzTH2cVLw" role="34ocs8">
<node concept="2Brx2E" id="qUzTH2cVLx" role="34ocZk">
<node concept="2k1_0R" id="qUzTH2cVLy" role="2Brx2B">
<property role="2k1_0O" value="true" />
</node>
</node>
<node concept="1p__ei" id="qUzTH2cVLz" role="34ocZn">
<node concept="3_JagS" id="qUzTH2cVL$" role="1p__f_">
<ref role="3_Jajq" node="7Xsfc_nIwz$" resolve="Type_ADT" />
</node>
<node concept="1i8UFo" id="qUzTH2cVL_" role="1p_StM">
<ref role="2RnLXx" node="7Xsfc_nIw_6" resolve="is_Nat" />
<node concept="1sjAk5" id="qUzTH2cWKU" role="2ZRyFy">
<ref role="1sjAk2" node="7Xsfc_nIwBZ" resolve="adt_uhl_2" />
</node>
</node>
</node>
</node>
</node>
<node concept="34odk1" id="7Xsfc_nIwC6" role="1dgzf0">
<node concept="30KbLJ" id="7Xsfc_nIwC5" role="34ocZn">
<property role="TrG5h" value="adt_uhl_0" />
......@@ -2995,6 +3041,26 @@
</node>
</node>
</node>
<node concept="34ocy7" id="qUzTH2cYJ1" role="1dgzf0">
<node concept="34ofUU" id="qUzTH2cYJ2" role="34ocs8">
<node concept="2Brx2E" id="qUzTH2cYJ3" role="34ocZk">
<node concept="2k1_0R" id="qUzTH2cYJ4" role="2Brx2B">
<property role="2k1_0O" value="true" />
</node>
</node>
<node concept="1p__ei" id="qUzTH2cYJ5" role="34ocZn">
<node concept="3_JagS" id="qUzTH2cYJ6" role="1p__f_">
<ref role="3_Jajq" node="7Xsfc_nIwz$" resolve="Type_ADT" />
</node>
<node concept="1i8UFo" id="qUzTH2cYJ7" role="1p_StM">
<ref role="2RnLXx" node="7Xsfc_nIw_6" resolve="is_Nat" />
<node concept="1sjAk5" id="qUzTH2cZIH" role="2ZRyFy">
<ref role="1sjAk2" node="7Xsfc_nIwF2" resolve="adt_uhl_5" />
</node>
</node>
</node>
</node>
</node>
<node concept="34ocy7" id="7Xsfc_nIwF7" role="1dgzf0">
<node concept="34ofUU" id="7Xsfc_nIwF8" role="34ocs8">
<node concept="2k1_ex" id="7Xsfc_nIwF9" role="34ocZn">
......
......@@ -31,6 +31,9 @@
<child id="996292992025662592" name="src" index="2kdhYM" />
<child id="1925259677761394831" name="element" index="3zVzRQ" />
</concept>
<concept id="5058472606514896546" name="org.inca.fun.structure.LiteralValue" flags="ng" index="2Brx2E">
<child id="5058472606514896559" name="value" index="2Brx2B" />
</concept>
<concept id="1036696987214522885" name="org.inca.fun.structure.FunTemporaryVariable" flags="ng" index="30KbLJ" />
<concept id="1036696987215326970" name="org.inca.fun.structure.ReturnStatement" flags="ng" index="30Nfyg">
<child id="1036696987215326979" name="expression" index="30Nf_D" />
......@@ -241,6 +244,9 @@
</concept>
</language>
<language id="b802a056-92a2-4fbc-902e-f8e5004c331f" name="org.inca.core">
<concept id="996292992024566533" name="org.inca.core.structure.BoolValue" flags="ng" index="2k1_0R">
<property id="996292992024566534" name="value" index="2k1_0O" />
</concept>
<concept id="996292992024566952" name="org.inca.core.structure.PatternCall" flags="ng" index="2k1_uq" />
<concept id="996292992025672789" name="org.inca.core.structure.ConceptReferenceType" flags="ng" index="2kdjtB">
<reference id="7241148409041409499" name="concept" index="2UGuZ7" />
......@@ -2867,6 +2873,26 @@
</node>
</node>
</node>
<node concept="34ocy7" id="qUzTH2d9Md" role="1dgzf0">
<node concept="34ofUU" id="qUzTH2d9Me" role="34ocs8">
<node concept="2Brx2E" id="qUzTH2d9Mf" role="34ocZk">
<node concept="2k1_0R" id="qUzTH2d9Mg" role="2Brx2B">
<property role="2k1_0O" value="true" />
</node>
</node>
<node concept="1p__ei" id="qUzTH2d9Mh" role="34ocZn">
<node concept="3_JagS" id="qUzTH2d9Mi" role="1p__f_">
<ref role="3_Jajq" node="2OWUssMke_O" resolve="Type_ADT" />
</node>
<node concept="1i8UFo" id="qUzTH2d9Mj" role="1p_StM">
<ref role="2RnLXx" node="2OWUssMke_U" resolve="is_Nat" />
<node concept="1sjAk5" id="qUzTH2daLs" role="2ZRyFy">
<ref role="1sjAk2" node="2OWUssMkepW" resolve="adt_uhl_1" />
</node>
</node>
</node>
</node>
</node>
<node concept="34ocy7" id="2OWUssMkeok" role="1dgzf0">
<node concept="34ofUU" id="2OWUssMkepY" role="34ocs8">
<node concept="2k1_ex" id="2OWUssMket7" role="34ocZn">
......@@ -2894,6 +2920,26 @@
</node>
</node>
</node>
<node concept="34ocy7" id="qUzTH2dbKB" role="1dgzf0">
<node concept="34ofUU" id="qUzTH2dbKC" role="34ocs8">
<node concept="2Brx2E" id="qUzTH2dbKD" role="34ocZk">
<node concept="2k1_0R" id="qUzTH2dbKE" role="2Brx2B">
<property role="2k1_0O" value="true" />
</node>
</node>
<node concept="1p__ei" id="qUzTH2dbKF" role="34ocZn">
<node concept="3_JagS" id="qUzTH2dbKG" role="1p__f_">
<ref role="3_Jajq" node="2OWUssMke_O" resolve="Type_ADT" />
</node>
<node concept="1i8UFo" id="qUzTH2dbKH" role="1p_StM">
<ref role="2RnLXx" node="2OWUssMke_U" resolve="is_Nat" />
<node concept="1sjAk5" id="qUzTH2dcKt" role="2ZRyFy">
<ref role="1sjAk2" node="2OWUssMkepZ" resolve="adt_uhl_2" />
</node>
</node>
</node>
</node>
</node>
<node concept="34odk1" id="2OWUssMkeom" role="1dgzf0">
<node concept="30KbLJ" id="2OWUssMkeq1" role="34ocZn">
<property role="TrG5h" value="adt_uhl_0" />
......@@ -3337,6 +3383,26 @@
</node>
</node>
</node>
<node concept="34ocy7" id="qUzTH2cVLv" role="1dgzf0">
<node concept="34ofUU" id="qUzTH2cVLw" role="34ocs8">
<node concept="2Brx2E" id="qUzTH2cVLx" role="34ocZk">
<node concept="2k1_0R" id="qUzTH2cVLy" role="2Brx2B">
<property role="2k1_0O" value="true" />
</node>
</node>
<node concept="1p__ei" id="qUzTH2cVLz" role="34ocZn">
<node concept="3_JagS" id="qUzTH2d6SB" role="1p__f_">
<ref role="3_Jajq" node="2OWUssMke_O" resolve="Type_ADT" />
</node>
<node concept="1i8UFo" id="qUzTH2cVL_" role="1p_StM">
<ref role="2RnLXx" node="2OWUssMke_U" resolve="is_Nat" />
<node concept="1sjAk5" id="qUzTH2d5U1" role="2ZRyFy">
<ref role="1sjAk2" node="2OWUssMkeqK" resolve="adt_uhl_5" />
</node>
</node>
</node>
</node>
</node>
<node concept="34ocy7" id="2OWUssMkeoP" role="1dgzf0">
<node concept="34ofUU" id="2OWUssMkeqM" role="34ocs8">
<node concept="2k1_ex" id="2OWUssMketX" role="34ocZn">
......
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