Commit 00eaadc7 authored by André Pacak's avatar André Pacak

add judgment declaration that makes it possible to reconstruct recursive input

parent 814c7954
......@@ -15,6 +15,10 @@
<concept id="1161622665029" name="jetbrains.mps.lang.sharedConcepts.structure.ConceptFunctionParameter_model" flags="nn" index="1Q6Npb" />
</language>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
<concept id="1215693861676" name="jetbrains.mps.baseLanguage.structure.BaseAssignmentExpression" flags="nn" index="d038R">
<child id="1068498886297" name="rValue" index="37vLTx" />
<child id="1068498886295" name="lValue" index="37vLTJ" />
</concept>
<concept id="4836112446988635817" name="jetbrains.mps.baseLanguage.structure.UndefinedType" flags="in" index="2jxLKc" />
<concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
<concept id="1154032098014" name="jetbrains.mps.baseLanguage.structure.AbstractLoopStatement" flags="nn" index="2LF5Ji">
......@@ -37,6 +41,7 @@
<concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
<reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
</concept>
<concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
<concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
<child id="5680397130376446158" name="type" index="1tU5fm" />
</concept>
......@@ -55,6 +60,7 @@
<concept id="1068580320020" name="jetbrains.mps.baseLanguage.structure.IntegerConstant" flags="nn" index="3cmrfG">
<property id="1068580320021" name="value" index="3cmrfH" />
</concept>
<concept id="1068581242875" name="jetbrains.mps.baseLanguage.structure.PlusExpression" flags="nn" index="3cpWs3" />
<concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
<child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
</concept>
......@@ -105,6 +111,21 @@
<child id="1199569916463" name="body" index="1bW5cS" />
</concept>
</language>
<language id="3a13115c-633c-4c5c-bbcc-75c4219e9555" name="jetbrains.mps.lang.quotation">
<concept id="5455284157993911077" name="jetbrains.mps.lang.quotation.structure.NodeBuilderInitProperty" flags="ng" index="2pJxcG">
<reference id="5455284157993911078" name="property" index="2pJxcJ" />
</concept>
<concept id="5455284157993911097" name="jetbrains.mps.lang.quotation.structure.NodeBuilderInitPart" flags="ng" index="2pJxcK">
<child id="5455284157993911094" name="expression" index="2pJxcZ" />
</concept>
<concept id="5455284157993863837" name="jetbrains.mps.lang.quotation.structure.NodeBuilder" flags="nn" index="2pJPEk">
<child id="5455284157993863838" name="quotedNode" index="2pJPEn" />
</concept>
<concept id="5455284157993863840" name="jetbrains.mps.lang.quotation.structure.NodeBuilderNode" flags="nn" index="2pJPED">
<reference id="5455284157993910961" name="concept" index="2pJxaS" />
<child id="5455284157993911099" name="values" index="2pJxcM" />
</concept>
</language>
<language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
<concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
<reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
......@@ -114,9 +135,13 @@
<child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
<child id="3906496115198199033" name="conceptArgument" index="3oSUPX" />
</concept>
<concept id="1143224066846" name="jetbrains.mps.lang.smodel.structure.Node_InsertNextSiblingOperation" flags="nn" index="HtI8k">
<child id="1143224066849" name="insertedNode" index="HtI8F" />
</concept>
<concept id="1171323947159" name="jetbrains.mps.lang.smodel.structure.Model_NodesOperation" flags="nn" index="2SmgA7">
<child id="1758937410080001570" name="conceptArgument" index="1dBWTz" />
</concept>
<concept id="1144146199828" name="jetbrains.mps.lang.smodel.structure.Node_CopyOperation" flags="nn" index="1$rogu" />
<concept id="1140131837776" name="jetbrains.mps.lang.smodel.structure.Node_ReplaceWithAnotherOperation" flags="nn" index="1P9Npp">
<child id="1140131861877" name="replacementNode" index="1P9ThW" />
</concept>
......@@ -450,6 +475,142 @@
<ref role="3cqZAo" node="4XA4NEmJ2M0" resolve="instances" />
</node>
</node>
<node concept="3clFbH" id="677Mj2_GzqA" role="3cqZAp" />
<node concept="3SKdUt" id="677Mj2_G$oH" role="3cqZAp">
<node concept="3SKdUq" id="677Mj2_G$oJ" role="3SKWNk">
<property role="3SKdUp" value="insert xRequired judgment declaration" />
</node>
</node>
<node concept="3cpWs8" id="677Mj2_GHJx" role="3cqZAp">
<node concept="3cpWsn" id="677Mj2_GHJy" role="3cpWs9">
<property role="TrG5h" value="xRequiredDecl" />
<node concept="3Tqbb2" id="677Mj2_GHJ7" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
<node concept="2OqwBi" id="677Mj2_GHJz" role="33vP2m">
<node concept="37vLTw" id="677Mj2_GHJ$" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
<node concept="2qgKlT" id="677Mj2_GHJ_" role="2OqNvi">
<ref role="37wK5l" to="pgas:4XA4NEmJ4Wv" resolve="removeSort" />
<node concept="37vLTw" id="677Mj2_GHJA" role="37wK5m">
<ref role="3cqZAo" node="4XA4NEmJsdr" resolve="index" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="677Mj2_GJxq" role="3cqZAp">
<node concept="37vLTI" id="677Mj2_GTK8" role="3clFbG">
<node concept="2OqwBi" id="677Mj2_GKah" role="37vLTJ">
<node concept="37vLTw" id="677Mj2_GJxo" role="2Oq$k0">
<ref role="3cqZAo" node="677Mj2_GHJy" resolve="xRequiredDecl" />
</node>
<node concept="3TrcHB" id="677Mj2_GKnq" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
<node concept="3cpWs3" id="677Mj2_GWPO" role="37vLTx">
<node concept="Xl_RD" id="677Mj2_GX10" role="3uHU7w">
<property role="Xl_RC" value="Required" />
</node>
<node concept="2OqwBi" id="677Mj2_GVs3" role="3uHU7B">
<node concept="37vLTw" id="677Mj2_GVs4" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
<node concept="3TrcHB" id="677Mj2_GVs5" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="677Mj2_H$Zi" role="3cqZAp">
<node concept="3cpWsn" id="677Mj2_H$Zj" role="3cpWs9">
<property role="TrG5h" value="xRequiredOutputSort" />
<node concept="3Tqbb2" id="677Mj2_H$YU" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYwo" resolve="Sort" />
</node>
<node concept="2OqwBi" id="677Mj2_H$Zk" role="33vP2m">
<node concept="37vLTw" id="677Mj2_H$Zl" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHUZx" resolve="typeSort" />
</node>
<node concept="1$rogu" id="677Mj2_H$Zm" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3clFbF" id="677Mj2_HAUs" role="3cqZAp">
<node concept="37vLTI" id="677Mj2_HQzg" role="3clFbG">
<node concept="2pJPEk" id="677Mj2_HQLl" role="37vLTx">
<node concept="2pJPED" id="5YqjVV7nvqe" role="2pJPEn">
<ref role="2pJxaS" to="b83y:2_58u12cYDp" resolve="SortOutputMode" />
</node>
</node>
<node concept="2OqwBi" id="677Mj2_HBBR" role="37vLTJ">
<node concept="37vLTw" id="677Mj2_HAUq" role="2Oq$k0">
<ref role="3cqZAo" node="677Mj2_H$Zj" resolve="xRequiredOutputSort" />
</node>
<node concept="3TrEf2" id="677Mj2_HBKX" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12cYDi" resolve="mode" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="5YqjVV7mvXb" role="3cqZAp" />
<node concept="3cpWs8" id="677Mj2_JFEM" role="3cqZAp">
<node concept="3cpWsn" id="677Mj2_JFEN" role="3cpWs9">
<property role="TrG5h" value="xRequiredDeclWithSort" />
<node concept="3Tqbb2" id="677Mj2_JFE_" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
<node concept="2OqwBi" id="677Mj2_JFEO" role="33vP2m">
<node concept="37vLTw" id="677Mj2_JFEP" role="2Oq$k0">
<ref role="3cqZAo" node="677Mj2_GHJy" resolve="xRequiredDecl" />
</node>
<node concept="2qgKlT" id="677Mj2_JFEQ" role="2OqNvi">
<ref role="37wK5l" to="pgas:677Mj2_GY7K" resolve="addSort" />
<node concept="2pJPEk" id="5YqjVV7mwY3" role="37wK5m">
<node concept="2pJPED" id="5YqjVV7mx6D" role="2pJPEn">
<ref role="2pJxaS" to="b83y:2_58u12cYDt" resolve="Delimiter" />
<node concept="2pJxcG" id="5YqjVV7mxdz" role="2pJxcM">
<ref role="2pJxcJ" to="b83y:2_58u12cYDu" resolve="text" />
<node concept="Xl_RD" id="5YqjVV7mxj6" role="2pJxcZ">
<property role="Xl_RC" value="=&gt;" />
</node>
</node>
</node>
</node>
<node concept="37vLTw" id="677Mj2_JFER" role="37wK5m">
<ref role="3cqZAo" node="677Mj2_H$Zj" resolve="xRequiredOutputSort" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="677Mj2_II0y" role="3cqZAp">
<node concept="2OqwBi" id="677Mj2_IJsC" role="3clFbG">
<node concept="37vLTw" id="677Mj2_IJjf" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmJvzg" resolve="newJudg" />
</node>
<node concept="HtI8k" id="677Mj2_ISnM" role="2OqNvi">
<node concept="37vLTw" id="677Mj2_JHpY" role="HtI8F">
<ref role="3cqZAo" node="677Mj2_JFEN" resolve="xRequiredDeclWithSort" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="677Mj2_GXf4" role="3cqZAp" />
<node concept="3clFbH" id="677Mj2_GH6b" role="3cqZAp" />
<node concept="3SKdUt" id="677Mj2_G_mg" role="3cqZAp">
<node concept="3SKdUq" id="677Mj2_G_mi" role="3SKWNk">
<property role="3SKdUp" value="TODO insert xRequired in rules where decl is in conclusion" />
</node>
</node>
<node concept="3SKdUt" id="677Mj2_GAjZ" role="3cqZAp">
<node concept="3SKdUq" id="677Mj2_GAk1" role="3SKWNk">
<property role="3SKdUp" value="TODO generate rules for xRequired" />
</node>
</node>
</node>
<node concept="3cpWsn" id="4XA4NEmHp$S" role="1Duv9x">
<property role="TrG5h" value="decl" />
......
......@@ -944,6 +944,28 @@
<node concept="10Oyi0" id="4XA4NEmJ51D" role="1tU5fm" />
</node>
</node>
<node concept="13i0hz" id="677Mj2_GY7K" role="13h7CS">
<property role="13i0iv" value="true" />
<property role="13i0it" value="true" />
<property role="TrG5h" value="addSort" />
<node concept="3Tm1VV" id="677Mj2_GY7L" role="1B3o_S" />
<node concept="3Tqbb2" id="677Mj2_GYaG" role="3clF45">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
<node concept="3clFbS" id="677Mj2_GY7N" role="3clF47" />
<node concept="37vLTG" id="677Mj2_KwnP" role="3clF46">
<property role="TrG5h" value="delimiter" />
<node concept="3Tqbb2" id="677Mj2_Kwod" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYDt" resolve="Delimiter" />
</node>
</node>
<node concept="37vLTG" id="677Mj2_GYbE" role="3clF46">
<property role="TrG5h" value="sort" />
<node concept="3Tqbb2" id="677Mj2_GYbD" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYwo" resolve="Sort" />
</node>
</node>
</node>
<node concept="13hLZK" id="4XA4NEmGQR3" role="13h7CW">
<node concept="3clFbS" id="4XA4NEmGQR4" role="2VODD2" />
</node>
......@@ -1027,6 +1049,94 @@
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
<node concept="13i0hz" id="677Mj2_GYXi" role="13h7CS">
<property role="TrG5h" value="addSort" />
<ref role="13i0hy" node="677Mj2_GY7K" resolve="addSort" />
<node concept="3Tm1VV" id="677Mj2_GYXj" role="1B3o_S" />
<node concept="3clFbS" id="677Mj2_GYXo" role="3clF47">
<node concept="3cpWs6" id="677Mj2_GZIY" role="3cqZAp">
<node concept="2pJPEk" id="677Mj2_GZJ$" role="3cqZAk">
<node concept="2pJPED" id="677Mj2_GZLz" role="2pJPEn">
<ref role="2pJxaS" to="b83y:2_58u12eLE0" resolve="JudgmentDeclaration2" />
<node concept="2pJxcG" id="677Mj2_GZMQ" role="2pJxcM">
<ref role="2pJxcJ" to="tpck:h0TrG11" resolve="name" />
<node concept="2OqwBi" id="677Mj2_H02f" role="2pJxcZ">
<node concept="13iPFW" id="677Mj2_GZPN" role="2Oq$k0" />
<node concept="3TrcHB" id="677Mj2_H0hR" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
</node>
<node concept="2pIpSj" id="677Mj2_H1ld" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12eLE1" resolve="pre" />
<node concept="36biLy" id="677Mj2_H1pl" role="2pJxcZ">
<node concept="2OqwBi" id="677Mj2_H1Aa" role="36biLW">
<node concept="13iPFW" id="677Mj2_H1pG" role="2Oq$k0" />
<node concept="3TrEf2" id="677Mj2_H1Wi" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eLDF" resolve="pre" />
</node>
</node>
</node>
</node>
<node concept="2pIpSj" id="677Mj2_H0kK" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12eLZs" resolve="delimiter1" />
<node concept="36biLy" id="677Mj2_H0on" role="2pJxcZ">
<node concept="37vLTw" id="677Mj2_KwDP" role="36biLW">
<ref role="3cqZAo" node="677Mj2_Kwtv" resolve="delimiter" />
</node>
</node>
</node>
<node concept="2pIpSj" id="677Mj2_H1Zd" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12eLE2" resolve="sort1" />
<node concept="36biLy" id="677Mj2_H23E" role="2pJxcZ">
<node concept="2OqwBi" id="677Mj2_H2gv" role="36biLW">
<node concept="13iPFW" id="677Mj2_H241" role="2Oq$k0" />
<node concept="3TrEf2" id="677Mj2_H2PD" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eLDS" resolve="sort1" />
</node>
</node>
</node>
</node>
<node concept="2pIpSj" id="677Mj2_KwMz" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12eLZ_" resolve="delimiter2" />
<node concept="2pJPED" id="677Mj2_KxOM" role="2pJxcZ">
<ref role="2pJxaS" to="b83y:2_58u12cYDt" resolve="Delimiter" />
<node concept="2pJxcG" id="677Mj2_KxP2" role="2pJxcM">
<ref role="2pJxcJ" to="b83y:2_58u12cYDu" resolve="text" />
<node concept="Xl_RD" id="677Mj2_KxPo" role="2pJxcZ">
<property role="Xl_RC" value="" />
</node>
</node>
</node>
</node>
<node concept="2pIpSj" id="677Mj2_H3gg" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12eLE4" resolve="sort2" />
<node concept="36biLy" id="677Mj2_H3lK" role="2pJxcZ">
<node concept="37vLTw" id="677Mj2_H3m7" role="36biLW">
<ref role="3cqZAo" node="677Mj2_GYXp" resolve="sort" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="37vLTG" id="677Mj2_Kwtv" role="3clF46">
<property role="TrG5h" value="delimiter" />
<node concept="3Tqbb2" id="677Mj2_Kwxv" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYDt" resolve="Delimiter" />
</node>
</node>
<node concept="37vLTG" id="677Mj2_GYXp" role="3clF46">
<property role="TrG5h" value="sort" />
<node concept="3Tqbb2" id="677Mj2_GYXq" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYwo" resolve="Sort" />
</node>
</node>
<node concept="3Tqbb2" id="677Mj2_GYXr" role="3clF45">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
</node>
<node concept="13h7C7" id="4XA4NEmH2LM">
<property role="3GE5qa" value="judgment" />
......@@ -1245,6 +1355,114 @@
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
<node concept="13i0hz" id="677Mj2_H4ov" role="13h7CS">
<property role="TrG5h" value="addSort" />
<ref role="13i0hy" node="677Mj2_GY7K" resolve="addSort" />
<node concept="3Tm1VV" id="677Mj2_H4ow" role="1B3o_S" />
<node concept="3clFbS" id="677Mj2_H4ox" role="3clF47">
<node concept="3cpWs6" id="677Mj2_H4oy" role="3cqZAp">
<node concept="2pJPEk" id="677Mj2_H4oz" role="3cqZAk">
<node concept="2pJPED" id="677Mj2_H4o$" role="2pJPEn">
<ref role="2pJxaS" to="b83y:2_58u12eLEb" resolve="JudgmentDeclaration3" />
<node concept="2pJxcG" id="677Mj2_H4o_" role="2pJxcM">
<ref role="2pJxcJ" to="tpck:h0TrG11" resolve="name" />
<node concept="2OqwBi" id="677Mj2_H4oA" role="2pJxcZ">
<node concept="13iPFW" id="677Mj2_H4oB" role="2Oq$k0" />
<node concept="3TrcHB" id="677Mj2_H4oC" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
</node>
<node concept="2pIpSj" id="677Mj2_H4oD" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12eLEc" resolve="pre" />
<node concept="36biLy" id="677Mj2_H4oE" role="2pJxcZ">
<node concept="2OqwBi" id="677Mj2_H4oF" role="36biLW">
<node concept="13iPFW" id="677Mj2_H4oG" role="2Oq$k0" />
<node concept="3TrEf2" id="677Mj2_H4oH" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eLE1" resolve="pre" />
</node>
</node>
</node>
</node>
<node concept="2pIpSj" id="677Mj2_H4oI" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12eLYJ" resolve="delimiter1" />
<node concept="36biLy" id="677Mj2_H4oJ" role="2pJxcZ">
<node concept="2OqwBi" id="677Mj2_H4oK" role="36biLW">
<node concept="13iPFW" id="677Mj2_H4oL" role="2Oq$k0" />
<node concept="3TrEf2" id="677Mj2_H4oM" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eLZs" resolve="delimiter1" />
</node>
</node>
</node>
</node>
<node concept="2pIpSj" id="677Mj2_H4oN" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12eLEd" resolve="sort1" />
<node concept="36biLy" id="677Mj2_H4oO" role="2pJxcZ">
<node concept="2OqwBi" id="677Mj2_H4oP" role="36biLW">
<node concept="13iPFW" id="677Mj2_H4oQ" role="2Oq$k0" />
<node concept="3TrEf2" id="677Mj2_H4oR" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eLE2" resolve="sort1" />
</node>
</node>
</node>
</node>
<node concept="2pIpSj" id="677Mj2_H5BZ" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12d$mx" resolve="delimiter2" />
<node concept="36biLy" id="677Mj2_H5Hc" role="2pJxcZ">
<node concept="37vLTw" id="677Mj2_KyBr" role="36biLW">
<ref role="3cqZAo" node="677Mj2_KyxL" resolve="delimiter" />
</node>
</node>
</node>
<node concept="2pIpSj" id="677Mj2_H6i7" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12eLEe" resolve="sort2" />
<node concept="36biLy" id="677Mj2_H6nJ" role="2pJxcZ">
<node concept="2OqwBi" id="677Mj2_H6$$" role="36biLW">
<node concept="13iPFW" id="677Mj2_H6o6" role="2Oq$k0" />
<node concept="3TrEf2" id="677Mj2_H6Oe" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eLE4" resolve="sort2" />
</node>
</node>
</node>
</node>
<node concept="2pIpSj" id="677Mj2_H4oS" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12eLZ6" resolve="delimiter3" />
<node concept="2pJPED" id="677Mj2_H4oT" role="2pJxcZ">
<ref role="2pJxaS" to="b83y:2_58u12cYDt" resolve="Delimiter" />
<node concept="2pJxcG" id="677Mj2_H4oU" role="2pJxcM">
<ref role="2pJxcJ" to="b83y:2_58u12cYDu" resolve="text" />
<node concept="Xl_RD" id="677Mj2_H4oV" role="2pJxcZ" />
</node>
</node>
</node>
<node concept="2pIpSj" id="677Mj2_H4oW" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12eLEg" resolve="sort3" />
<node concept="36biLy" id="677Mj2_H4oX" role="2pJxcZ">
<node concept="37vLTw" id="677Mj2_H4oY" role="36biLW">
<ref role="3cqZAo" node="677Mj2_H4oZ" resolve="sort" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="37vLTG" id="677Mj2_KyxL" role="3clF46">
<property role="TrG5h" value="delimiter" />
<node concept="3Tqbb2" id="677Mj2_KyA9" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYDt" resolve="Delimiter" />
</node>
</node>
<node concept="37vLTG" id="677Mj2_H4oZ" role="3clF46">
<property role="TrG5h" value="sort" />
<node concept="3Tqbb2" id="677Mj2_H4p0" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYwo" resolve="Sort" />
</node>
</node>
<node concept="3Tqbb2" id="677Mj2_H4p1" role="3clF45">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
</node>
<node concept="13h7C7" id="4XA4NEmH8As">
<property role="3GE5qa" value="judgment" />
......@@ -1605,6 +1823,38 @@
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
<node concept="13i0hz" id="677Mj2_H7Eu" role="13h7CS">
<property role="TrG5h" value="addSort" />
<ref role="13i0hy" node="677Mj2_GY7K" resolve="addSort" />
<node concept="3Tm1VV" id="677Mj2_H7Ev" role="1B3o_S" />
<node concept="3clFbS" id="677Mj2_H7E$" role="3clF47">
<node concept="YS8fn" id="677Mj2_H8dD" role="3cqZAp">
<node concept="2ShNRf" id="677Mj2_H8e1" role="YScLw">
<node concept="1pGfFk" id="677Mj2_H8kg" role="2ShVmc">
<ref role="37wK5l" to="wyt6:~RuntimeException.&lt;init&gt;(java.lang.String)" resolve="RuntimeException" />
<node concept="Xl_RD" id="677Mj2_H8lU" role="37wK5m">
<property role="Xl_RC" value="Cannot add additional sort to declaration" />
</node>
</node>
</node>
</node>
</node>
<node concept="37vLTG" id="677Mj2_Kzsn" role="3clF46">
<property role="TrG5h" value="delimiter" />
<node concept="3Tqbb2" id="677Mj2_Kzti" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYDt" resolve="Delimiter" />
</node>
</node>
<node concept="37vLTG" id="677Mj2_H7E_" role="3clF46">
<property role="TrG5h" value="sort" />
<node concept="3Tqbb2" id="677Mj2_H7EA" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYwo" resolve="Sort" />
</node>
</node>
<node concept="3Tqbb2" id="677Mj2_H7EB" role="3clF45">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
</node>
<node concept="13h7C7" id="2loaFuj7QiN">
<property role="3GE5qa" value="judgment" />
......
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