discard check constraint for MethodDeclaration
This commit is contained in:
Mihail.Buryakov
parent
f607281012
commit
76504f9321
|
|
@ -3707,12 +3707,6 @@
|
|||
</node>
|
||||
<node concept="AVZhu" id="6qJjpCjoNmg" role="3ArX_J">
|
||||
<property role="TrG5h" value="checkBaseMethodDeclaration" />
|
||||
<node concept="2t___k" id="5NuEpF1jvVI" role="2t_S9L">
|
||||
<ref role="2t_S0q" to="tpee:fzclF7W" resolve="BaseMethodDeclaration" />
|
||||
<node concept="3A20r5" id="6qJjpCjoNmh" role="2t_VXX">
|
||||
<property role="TrG5h" value="bmd" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="cBwPQ" id="tIwzd1SxsI" role="3o$oQL">
|
||||
<node concept="3clFbS" id="tIwzd1SxsJ" role="16YjZG">
|
||||
<node concept="3clFbF" id="77AxcO4PY5M" role="3cqZAp">
|
||||
|
|
@ -3748,6 +3742,12 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2t___k" id="5NuEpF1jvVI" role="2t_S9L">
|
||||
<ref role="2t_S0q" to="tpee:fzclF7W" resolve="BaseMethodDeclaration" />
|
||||
<node concept="3A20r5" id="6qJjpCjoNmh" role="2t_VXX">
|
||||
<property role="TrG5h" value="bmd" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Aq93q" id="6qJjpCjoNmi" role="3orSU4">
|
||||
<property role="3ArMco" value="true" />
|
||||
<node concept="3clFbS" id="6qJjpCjoNmj" role="3Aqf5P">
|
||||
|
|
@ -10318,20 +10318,13 @@
|
|||
<property role="3GE5qa" value="code" />
|
||||
<node concept="AVZhu" id="7t5VLKGTNCp" role="3ArX_J">
|
||||
<property role="TrG5h" value="methodDeclaration" />
|
||||
<node concept="cBwPQ" id="7t5VLKH4wk3" role="3o$oQL">
|
||||
<node concept="3clFbS" id="7t5VLKH4wk4" role="16YjZG">
|
||||
<node concept="3clFbF" id="7t5VLKH4x2C" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="7t5VLKH4xuS" role="3clFbG">
|
||||
<node concept="39rIew" id="4EfgX2EGUPV" role="2Oq$k0">
|
||||
<ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
|
||||
</node>
|
||||
<node concept="3GX2aA" id="7t5VLKH4FCv" role="2OqNvi" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2caHhw" id="7t5VLKGTNCQ" role="2ca0$_">
|
||||
<node concept="3clFbS" id="7t5VLKGTNCR" role="16YjZG">
|
||||
<node concept="3SKdUt" id="7dgRGU4kYix" role="3cqZAp">
|
||||
<node concept="3SKdUq" id="7dgRGU4kYk4" role="3SKWNk">
|
||||
<property role="3SKdUp" value="todo: using descendants is an ugly hack" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWs8" id="7t5VLKGTYGq" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="7t5VLKGTYGr" role="3cpWs9">
|
||||
<property role="TrG5h" value="rets" />
|
||||
|
|
@ -10363,6 +10356,9 @@
|
|||
<node concept="3gn64h" id="7t5VLKGTYGA" role="hTh3Z">
|
||||
<ref role="3gnhBz" to="tpee:hcYeOiq" resolve="AnonymousClassCreator" />
|
||||
</node>
|
||||
<node concept="3gn64h" id="7dgRGU4muPU" role="hTh3Z">
|
||||
<ref role="3gnhBz" to="tpck:4uZwTti3_$T" resolve="Attribute" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -10567,217 +10563,240 @@
|
|||
</node>
|
||||
<node concept="3Aq9E8" id="7t5VLKGTNCq" role="3otmyu">
|
||||
<node concept="3clFbS" id="7t5VLKGTNCr" role="3Aqf5P">
|
||||
<node concept="3X$Joe" id="4EfgX2EFWd4" role="3cqZAp">
|
||||
<node concept="aZer4" id="4EfgX2EFWN9" role="3XD1gS">
|
||||
<property role="TrG5h" value="Inferred" />
|
||||
</node>
|
||||
<node concept="aZer4" id="4EfgX2EGdUV" role="3XD1gS">
|
||||
<property role="TrG5h" value="Declared" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="4EfgX2EG7eV" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="4EfgX2EGKea" role="3clFbG">
|
||||
<ref role="37wK5l" node="7mm1a3qNU4M" resolve="newType_recursive_pattern" />
|
||||
<ref role="1Pybhc" node="bNMVLgEtTD" resolve="TypeConstraintUtil" />
|
||||
<node concept="3A9UF8" id="4EfgX2EGKeb" role="37wK5m">
|
||||
<node concept="a7P8L" id="4EfgX2EGKec" role="3A9W3M">
|
||||
<ref role="a7OzE" node="4EfgX2EGdUV" resolve="Declared" />
|
||||
<node concept="3clFbJ" id="7dgRGU4iKyJ" role="3cqZAp">
|
||||
<node concept="3clFbS" id="7dgRGU4iKyL" role="3clFbx">
|
||||
<node concept="3SKdUt" id="7dgRGU4jveq" role="3cqZAp">
|
||||
<node concept="3SKdUq" id="7dgRGU4jvey" role="3SKWNk">
|
||||
<property role="3SKdUp" value="no return statements" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4EfgX2EGKed" role="37wK5m">
|
||||
<node concept="3A2sRY" id="4EfgX2EGKee" role="2Oq$k0">
|
||||
<ref role="3A2yKK" node="1ffsG7bsOze" resolve="bmd" />
|
||||
<node concept="3SKdUt" id="4EfgX2EG2qx" role="3cqZAp">
|
||||
<node concept="3SKdUq" id="4EfgX2EG2Yr" role="3SKWNk">
|
||||
<property role="3SKdUp" value="TODO: what about missing return expression?" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="1ffsG7bsQJQ" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="tpee:fzclF7X" />
|
||||
</node>
|
||||
<node concept="3Aqczg" id="7dgRGU4iNIZ" role="3cqZAp">
|
||||
<node concept="3wWvb2" id="7dgRGU4iNIY" role="3Aqpz8">
|
||||
<node concept="3clFbT" id="7dgRGU4iNIX" role="3wWo3s">
|
||||
<property role="3clFbU" value="true" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="4EfgX2EFWNb" role="3cqZAp" />
|
||||
<node concept="3clFbJ" id="4EfgX2EFzOm" role="3cqZAp">
|
||||
<node concept="3clFbS" id="4EfgX2EFzOo" role="3clFbx">
|
||||
<node concept="3X$Joe" id="4EfgX2EFs84" role="3cqZAp">
|
||||
<node concept="aZer4" id="4EfgX2EFs8J" role="3XD1gS">
|
||||
<property role="TrG5h" value="Lub" />
|
||||
<node concept="aYllk" id="4EfgX2EFs8M" role="aZjLW">
|
||||
<node concept="2OqwBi" id="4EfgX2EFs_3" role="aYrYs">
|
||||
<node concept="34oBXx" id="4EfgX2EFwdR" role="2OqNvi" />
|
||||
<node concept="39rIew" id="4EfgX2EGYEH" role="2Oq$k0">
|
||||
<ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
|
||||
<node concept="2OqwBi" id="7dgRGU4iLQ4" role="3clFbw">
|
||||
<node concept="39rIew" id="7dgRGU4iLh3" role="2Oq$k0">
|
||||
<ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
|
||||
</node>
|
||||
<node concept="1v1jN8" id="7dgRGU4iNIf" role="2OqNvi" />
|
||||
</node>
|
||||
<node concept="9aQIb" id="7dgRGU4jt0S" role="9aQIa">
|
||||
<node concept="3clFbS" id="7dgRGU4jt0T" role="9aQI4">
|
||||
<node concept="3X$Joe" id="4EfgX2EFWd4" role="3cqZAp">
|
||||
<node concept="aZer4" id="4EfgX2EFWN9" role="3XD1gS">
|
||||
<property role="TrG5h" value="Inferred" />
|
||||
</node>
|
||||
<node concept="aZer4" id="4EfgX2EGdUV" role="3XD1gS">
|
||||
<property role="TrG5h" value="Declared" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="4EfgX2EG7eV" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="4EfgX2EGKea" role="3clFbG">
|
||||
<ref role="1Pybhc" node="bNMVLgEtTD" resolve="TypeConstraintUtil" />
|
||||
<ref role="37wK5l" node="7mm1a3qNU4M" resolve="newType_recursive_pattern" />
|
||||
<node concept="3A9UF8" id="4EfgX2EGKeb" role="37wK5m">
|
||||
<node concept="a7P8L" id="4EfgX2EGKec" role="3A9W3M">
|
||||
<ref role="a7OzE" node="4EfgX2EGdUV" resolve="Declared" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4EfgX2EGKed" role="37wK5m">
|
||||
<node concept="3A2sRY" id="4EfgX2EGKee" role="2Oq$k0">
|
||||
<ref role="3A2yKK" node="1ffsG7bsOze" resolve="bmd" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="1ffsG7bsQJQ" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="tpee:fzclF7X" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Aqczg" id="5SPO52V$9aq" role="3cqZAp">
|
||||
<node concept="3A8Hvi" id="5SPO52V$9ak" role="3Aqpz8">
|
||||
<node concept="a7P8L" id="5SPO52V$9cc" role="3A8w4Q">
|
||||
<ref role="a7OzE" node="7t5VLKGUb$a" resolve="RetExprType" />
|
||||
<node concept="aYllk" id="5SPO52V$9cG" role="aYIAd">
|
||||
<node concept="2OqwBi" id="5SPO52V$9cX" role="aYrYs">
|
||||
<node concept="34oBXx" id="5SPO52V$9cY" role="2OqNvi" />
|
||||
<node concept="39rIew" id="5SPO52V$9cZ" role="2Oq$k0">
|
||||
<ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="a7P8L" id="5SPO52V$9ba" role="3A8wtg">
|
||||
<ref role="a7OzE" node="4EfgX2EFs8J" resolve="Lub" />
|
||||
<node concept="aYllk" id="5SPO52V$9bb" role="aYIAd">
|
||||
<node concept="2OqwBi" id="5SPO52V$9bn" role="aYrYs">
|
||||
<node concept="34oBXx" id="5SPO52V$9bo" role="2OqNvi" />
|
||||
<node concept="39rIew" id="5SPO52V$9bp" role="2Oq$k0">
|
||||
<ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="5SPO52V$9dM" role="3cqZAp" />
|
||||
<node concept="1Dw8fO" id="7t5VLKGUk69" role="3cqZAp">
|
||||
<node concept="3clFbS" id="7t5VLKGUk6b" role="2LFqv$">
|
||||
<node concept="3Aqczg" id="6BU$YTNGUZ8" role="3cqZAp">
|
||||
<node concept="3Aqt3T" id="6BU$YTNGUZH" role="3Aqpz8">
|
||||
<ref role="3AqCNq" node="2q0gzCFHesp" resolve="lub" />
|
||||
<node concept="a7P8L" id="6BU$YTNGV4K" role="3AunhB">
|
||||
<ref role="a7OzE" node="4EfgX2EFs8J" resolve="Lub" />
|
||||
<node concept="aYllk" id="6BU$YTNGV4L" role="aYIAd">
|
||||
<node concept="37vLTw" id="6BU$YTNGV4M" role="aYrYs">
|
||||
<ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
|
||||
<node concept="3clFbH" id="4EfgX2EFWNb" role="3cqZAp" />
|
||||
<node concept="3clFbJ" id="4EfgX2EFzOm" role="3cqZAp">
|
||||
<node concept="9aQIb" id="4EfgX2EFGNm" role="9aQIa">
|
||||
<node concept="3clFbS" id="4EfgX2EFGNn" role="9aQI4">
|
||||
<node concept="3Aqczg" id="4EfgX2EFZAj" role="3cqZAp">
|
||||
<node concept="3A8Hvi" id="4EfgX2EFZAo" role="3Aqpz8">
|
||||
<node concept="a7P8L" id="4EfgX2EFZA$" role="3A8w4Q">
|
||||
<ref role="a7OzE" node="7t5VLKGUb$a" resolve="RetExprType" />
|
||||
<node concept="aYllk" id="4EfgX2EFZAH" role="aYIAd">
|
||||
<node concept="3cmrfG" id="4EfgX2EFZAL" role="aYrYs">
|
||||
<property role="3cmrfH" value="1" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="a7P8L" id="4EfgX2EFZAx" role="3A8wtg">
|
||||
<ref role="a7OzE" node="4EfgX2EFWN9" resolve="Inferred" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="a7P8L" id="6BU$YTNHXF8" role="3AunhB">
|
||||
<ref role="a7OzE" node="7t5VLKGUb$a" resolve="RetExprType" />
|
||||
<node concept="aYllk" id="6BU$YTNHXF9" role="aYIAd">
|
||||
<node concept="37vLTw" id="6BU$YTNHXFa" role="aYrYs">
|
||||
<ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="4EfgX2EFzOo" role="3clFbx">
|
||||
<node concept="3X$Joe" id="4EfgX2EFs84" role="3cqZAp">
|
||||
<node concept="aZer4" id="4EfgX2EFs8J" role="3XD1gS">
|
||||
<property role="TrG5h" value="Lub" />
|
||||
<node concept="aYllk" id="4EfgX2EFs8M" role="aZjLW">
|
||||
<node concept="2OqwBi" id="4EfgX2EFs_3" role="aYrYs">
|
||||
<node concept="34oBXx" id="4EfgX2EFwdR" role="2OqNvi" />
|
||||
<node concept="39rIew" id="4EfgX2EGYEH" role="2Oq$k0">
|
||||
<ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="a7P8L" id="6BU$YTNHXFJ" role="3AunhB">
|
||||
<ref role="a7OzE" node="4EfgX2EFs8J" resolve="Lub" />
|
||||
<node concept="aYllk" id="6BU$YTNHXFK" role="aYIAd">
|
||||
<node concept="3cpWs3" id="6BU$YTNHXFL" role="aYrYs">
|
||||
<node concept="3cmrfG" id="6BU$YTNHXFM" role="3uHU7w">
|
||||
</node>
|
||||
<node concept="3Aqczg" id="5SPO52V$9aq" role="3cqZAp">
|
||||
<node concept="3A8Hvi" id="5SPO52V$9ak" role="3Aqpz8">
|
||||
<node concept="a7P8L" id="5SPO52V$9cc" role="3A8w4Q">
|
||||
<ref role="a7OzE" node="7t5VLKGUb$a" resolve="RetExprType" />
|
||||
<node concept="aYllk" id="5SPO52V$9cG" role="aYIAd">
|
||||
<node concept="2OqwBi" id="5SPO52V$9cX" role="aYrYs">
|
||||
<node concept="34oBXx" id="5SPO52V$9cY" role="2OqNvi" />
|
||||
<node concept="39rIew" id="5SPO52V$9cZ" role="2Oq$k0">
|
||||
<ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="a7P8L" id="5SPO52V$9ba" role="3A8wtg">
|
||||
<ref role="a7OzE" node="4EfgX2EFs8J" resolve="Lub" />
|
||||
<node concept="aYllk" id="5SPO52V$9bb" role="aYIAd">
|
||||
<node concept="2OqwBi" id="5SPO52V$9bn" role="aYrYs">
|
||||
<node concept="34oBXx" id="5SPO52V$9bo" role="2OqNvi" />
|
||||
<node concept="39rIew" id="5SPO52V$9bp" role="2Oq$k0">
|
||||
<ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="5SPO52V$9dM" role="3cqZAp" />
|
||||
<node concept="1Dw8fO" id="7t5VLKGUk69" role="3cqZAp">
|
||||
<node concept="3clFbS" id="7t5VLKGUk6b" role="2LFqv$">
|
||||
<node concept="3Aqczg" id="6BU$YTNGUZ8" role="3cqZAp">
|
||||
<node concept="3Aqt3T" id="6BU$YTNGUZH" role="3Aqpz8">
|
||||
<ref role="3AqCNq" node="2q0gzCFHesp" resolve="lub" />
|
||||
<node concept="a7P8L" id="6BU$YTNGV4K" role="3AunhB">
|
||||
<ref role="a7OzE" node="4EfgX2EFs8J" resolve="Lub" />
|
||||
<node concept="aYllk" id="6BU$YTNGV4L" role="aYIAd">
|
||||
<node concept="37vLTw" id="6BU$YTNGV4M" role="aYrYs">
|
||||
<ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="a7P8L" id="6BU$YTNHXF8" role="3AunhB">
|
||||
<ref role="a7OzE" node="7t5VLKGUb$a" resolve="RetExprType" />
|
||||
<node concept="aYllk" id="6BU$YTNHXF9" role="aYIAd">
|
||||
<node concept="37vLTw" id="6BU$YTNHXFa" role="aYrYs">
|
||||
<ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="a7P8L" id="6BU$YTNHXFJ" role="3AunhB">
|
||||
<ref role="a7OzE" node="4EfgX2EFs8J" resolve="Lub" />
|
||||
<node concept="aYllk" id="6BU$YTNHXFK" role="aYIAd">
|
||||
<node concept="3cpWs3" id="6BU$YTNHXFL" role="aYrYs">
|
||||
<node concept="3cmrfG" id="6BU$YTNHXFM" role="3uHU7w">
|
||||
<property role="3cmrfH" value="1" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="6BU$YTNHXFN" role="3uHU7B">
|
||||
<ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWsn" id="7t5VLKGUk6c" role="1Duv9x">
|
||||
<property role="TrG5h" value="i" />
|
||||
<node concept="10Oyi0" id="7t5VLKGUk6m" role="1tU5fm" />
|
||||
<node concept="3cpWsd" id="4EfgX2EFLlj" role="33vP2m">
|
||||
<node concept="3cmrfG" id="4EfgX2EFLlm" role="3uHU7w">
|
||||
<property role="3cmrfH" value="1" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4EfgX2EFISY" role="3uHU7B">
|
||||
<node concept="34oBXx" id="4EfgX2EFIT0" role="2OqNvi" />
|
||||
<node concept="39rIew" id="4EfgX2EGZGa" role="2Oq$k0">
|
||||
<ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3eOSWO" id="4EfgX2EFNC5" role="1Dwp0S">
|
||||
<node concept="3cmrfG" id="4EfgX2EFNC8" role="3uHU7w">
|
||||
<property role="3cmrfH" value="0" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7t5VLKGUk6K" role="3uHU7B">
|
||||
<ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3uO5VW" id="4EfgX2EFPPz" role="1Dwrff">
|
||||
<node concept="37vLTw" id="4EfgX2EFPP_" role="2$L3a6">
|
||||
<ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="5SPO52V$7Nn" role="3cqZAp" />
|
||||
<node concept="3Aqczg" id="4EfgX2EFXph" role="3cqZAp">
|
||||
<node concept="3A8Hvi" id="4EfgX2EFXZa" role="3Aqpz8">
|
||||
<node concept="a7P8L" id="4EfgX2EFXZm" role="3A8w4Q">
|
||||
<ref role="a7OzE" node="4EfgX2EFs8J" resolve="Lub" />
|
||||
<node concept="aYllk" id="4EfgX2EFXZq" role="aYIAd">
|
||||
<node concept="3cmrfG" id="4EfgX2EFXZu" role="aYrYs">
|
||||
<property role="3cmrfH" value="1" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="6BU$YTNHXFN" role="3uHU7B">
|
||||
<ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="a7P8L" id="4EfgX2EFXZj" role="3A8wtg">
|
||||
<ref role="a7OzE" node="4EfgX2EFWN9" resolve="Inferred" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWsn" id="7t5VLKGUk6c" role="1Duv9x">
|
||||
<property role="TrG5h" value="i" />
|
||||
<node concept="10Oyi0" id="7t5VLKGUk6m" role="1tU5fm" />
|
||||
<node concept="3cpWsd" id="4EfgX2EFLlj" role="33vP2m">
|
||||
<node concept="3cmrfG" id="4EfgX2EFLlm" role="3uHU7w">
|
||||
<node concept="3eOSWO" id="4EfgX2EFDVu" role="3clFbw">
|
||||
<node concept="3cmrfG" id="4EfgX2EFDVx" role="3uHU7w">
|
||||
<property role="3cmrfH" value="1" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4EfgX2EFISY" role="3uHU7B">
|
||||
<node concept="34oBXx" id="4EfgX2EFIT0" role="2OqNvi" />
|
||||
<node concept="39rIew" id="4EfgX2EGZGa" role="2Oq$k0">
|
||||
<node concept="2OqwBi" id="4EfgX2EF$q9" role="3uHU7B">
|
||||
<node concept="34oBXx" id="4EfgX2EFC3s" role="2OqNvi" />
|
||||
<node concept="39rIew" id="4EfgX2EGXD2" role="2Oq$k0">
|
||||
<ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3eOSWO" id="4EfgX2EFNC5" role="1Dwp0S">
|
||||
<node concept="3cmrfG" id="4EfgX2EFNC8" role="3uHU7w">
|
||||
<property role="3cmrfH" value="0" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7t5VLKGUk6K" role="3uHU7B">
|
||||
<ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3uO5VW" id="4EfgX2EFPPz" role="1Dwrff">
|
||||
<node concept="37vLTw" id="4EfgX2EFPP_" role="2$L3a6">
|
||||
<ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="5SPO52V$7Nn" role="3cqZAp" />
|
||||
<node concept="3Aqczg" id="4EfgX2EFXph" role="3cqZAp">
|
||||
<node concept="3A8Hvi" id="4EfgX2EFXZa" role="3Aqpz8">
|
||||
<node concept="a7P8L" id="4EfgX2EFXZm" role="3A8w4Q">
|
||||
<ref role="a7OzE" node="4EfgX2EFs8J" resolve="Lub" />
|
||||
<node concept="aYllk" id="4EfgX2EFXZq" role="aYIAd">
|
||||
<node concept="3cmrfG" id="4EfgX2EFXZu" role="aYrYs">
|
||||
<property role="3cmrfH" value="1" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="a7P8L" id="4EfgX2EFXZj" role="3A8wtg">
|
||||
<ref role="a7OzE" node="4EfgX2EFWN9" resolve="Inferred" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="4EfgX2EFZ0m" role="3cqZAp" />
|
||||
</node>
|
||||
<node concept="3eOSWO" id="4EfgX2EFDVu" role="3clFbw">
|
||||
<node concept="3cmrfG" id="4EfgX2EFDVx" role="3uHU7w">
|
||||
<property role="3cmrfH" value="1" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4EfgX2EF$q9" role="3uHU7B">
|
||||
<node concept="34oBXx" id="4EfgX2EFC3s" role="2OqNvi" />
|
||||
<node concept="39rIew" id="4EfgX2EGXD2" role="2Oq$k0">
|
||||
<ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="9aQIb" id="4EfgX2EFGNm" role="9aQIa">
|
||||
<node concept="3clFbS" id="4EfgX2EFGNn" role="9aQI4">
|
||||
<node concept="3Aqczg" id="4EfgX2EFZAj" role="3cqZAp">
|
||||
<node concept="3A8Hvi" id="4EfgX2EFZAo" role="3Aqpz8">
|
||||
<node concept="a7P8L" id="4EfgX2EFZA$" role="3A8w4Q">
|
||||
<ref role="a7OzE" node="7t5VLKGUb$a" resolve="RetExprType" />
|
||||
<node concept="aYllk" id="4EfgX2EFZAH" role="aYIAd">
|
||||
<node concept="3cmrfG" id="4EfgX2EFZAL" role="aYrYs">
|
||||
<property role="3cmrfH" value="1" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="a7P8L" id="4EfgX2EFZAx" role="3A8wtg">
|
||||
<node concept="3Aqczg" id="4EfgX2EG4c7" role="3cqZAp">
|
||||
<node concept="3Aqt3T" id="4EfgX2EG4M_" role="3Aqpz8">
|
||||
<ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
|
||||
<node concept="a7P8L" id="4EfgX2EG4MI" role="3AunhB">
|
||||
<ref role="a7OzE" node="4EfgX2EFWN9" resolve="Inferred" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="4EfgX2EH6Nr" role="3AunhB">
|
||||
<ref role="a7OzE" node="4EfgX2EGdUV" resolve="Declared" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="4EfgX2EFHoP" role="3cqZAp" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3SKdUt" id="4EfgX2EG2qx" role="3cqZAp">
|
||||
<node concept="3SKdUq" id="4EfgX2EG2Yr" role="3SKWNk">
|
||||
<property role="3SKdUp" value="TODO: what about missing return expression?" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="4EfgX2EGbqH" role="3cqZAp" />
|
||||
<node concept="3Aqczg" id="4EfgX2EG4c7" role="3cqZAp">
|
||||
<node concept="3Aqt3T" id="4EfgX2EG4M_" role="3Aqpz8">
|
||||
<ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
|
||||
<node concept="a7P8L" id="4EfgX2EG4MI" role="3AunhB">
|
||||
<ref role="a7OzE" node="4EfgX2EFWN9" resolve="Inferred" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="4EfgX2EH6Nr" role="3AunhB">
|
||||
<ref role="a7OzE" node="4EfgX2EGdUV" resolve="Declared" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Aqczg" id="4EfgX2EIeO4" role="3cqZAp">
|
||||
<node concept="3XxkQB" id="4EfgX2EIeTp" role="3Aqpz8">
|
||||
<node concept="a7P8L" id="4EfgX2EIeTE" role="3Xxm5W">
|
||||
<ref role="a7OzE" node="4EfgX2EFWN9" resolve="Inferred" />
|
||||
</node>
|
||||
<node concept="aYllk" id="4EfgX2EIeTt" role="3XxmmS">
|
||||
<node concept="3A2sRY" id="4EfgX2EIeT_" role="aYrYs">
|
||||
<ref role="3A2yKK" node="1ffsG7bsOze" resolve="bmd" />
|
||||
<node concept="3Aqczg" id="4EfgX2EIeO4" role="3cqZAp">
|
||||
<node concept="3XxkQB" id="4EfgX2EIeTp" role="3Aqpz8">
|
||||
<node concept="a7P8L" id="4EfgX2EIeTE" role="3Xxm5W">
|
||||
<ref role="a7OzE" node="4EfgX2EFWN9" resolve="Inferred" />
|
||||
</node>
|
||||
<node concept="aYllk" id="4EfgX2EIeTt" role="3XxmmS">
|
||||
<node concept="3A2sRY" id="4EfgX2EIeT_" role="aYrYs">
|
||||
<ref role="3A2yKK" node="1ffsG7bsOze" resolve="bmd" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
|
|||
Loading…
Reference in New Issue