Commit 79fcfa61 authored by Sebastian Erdweg's avatar Sebastian Erdweg Committed by Tamás Szabó

experiment with error handling

parent 2dcf7808
......@@ -156,6 +156,7 @@
<language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
<language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="1" />
<language slang="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" version="2" />
<language slang="l:c7d5b9dd-a05f-4be2-bc73-f2e16994cc67:jetbrains.mps.baseLanguage.lightweightdsl" version="1" />
<language slang="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" version="0" />
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
......
......@@ -2,7 +2,7 @@
<model ref="r:c75f6d0a-e344-4076-8a9a-431398544fab(TypeLang.behavior)">
<persistence version="9" />
<languages>
<use id="af65afd8-f0dd-4942-87d9-63a55f2a9db1" name="jetbrains.mps.lang.behavior" version="2" />
<use id="af65afd8-f0dd-4942-87d9-63a55f2a9db1" name="jetbrains.mps.lang.behavior" version="-1" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>
<imports>
......@@ -574,7 +574,7 @@
</node>
</node>
<node concept="13h7C7" id="6G$bWLkuTJV">
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<ref role="13h7C2" to="b83y:2_58u12cYwo" resolve="SortConcept" />
<node concept="13i0hz" id="6G$bWLkvsQx" role="13h7CS">
<property role="TrG5h" value="isRecursiveConcept" />
......@@ -5319,6 +5319,9 @@
</node>
</node>
</node>
<node concept="13hLZK" id="677Mj2_EQAm" role="13h7CW">
<node concept="3clFbS" id="677Mj2_EQAn" role="2VODD2" />
</node>
<node concept="13i0hz" id="6faGdFABShG" role="13h7CS">
<property role="TrG5h" value="createNew" />
<ref role="13i0hy" node="6faGdFABR2I" resolve="createNew" />
......@@ -5398,9 +5401,6 @@
</node>
<node concept="10P_77" id="1s4iOmJtdgo" role="3clF45" />
</node>
<node concept="13hLZK" id="677Mj2_EQAm" role="13h7CW">
<node concept="3clFbS" id="677Mj2_EQAn" role="2VODD2" />
</node>
</node>
<node concept="13h7C7" id="5YqjVV7sR3Z">
<property role="3GE5qa" value="judgment" />
......@@ -5896,6 +5896,9 @@
<ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
</node>
<node concept="13hLZK" id="2groWwXVpe1" role="13h7CW">
<node concept="3clFbS" id="2groWwXVpe2" role="2VODD2" />
</node>
<node concept="13i0hz" id="6faGdFAG3Vr" role="13h7CS">
<property role="13i0iv" value="true" />
<property role="13i0it" value="true" />
......@@ -5917,9 +5920,6 @@
</node>
</node>
</node>
<node concept="13hLZK" id="2groWwXVpe1" role="13h7CW">
<node concept="3clFbS" id="2groWwXVpe2" role="2VODD2" />
</node>
<node concept="13i0hz" id="7oauUzu23iX" role="13h7CS">
<property role="13i0iv" value="true" />
<property role="13i0it" value="true" />
......@@ -7726,10 +7726,10 @@
</node>
<node concept="22lmx$" id="7oauUzu5f6J" role="3clFbw">
<node concept="3clFbC" id="7oauUzu5f60" role="3uHU7B">
<node concept="10Nm6u" id="7oauUzu5f2R" role="3uHU7w" />
<node concept="37vLTw" id="A12Bkm5tWM" role="3uHU7B">
<ref role="3cqZAo" node="A12Bkm5pXE" resolve="otherBinding" />
</node>
<node concept="10Nm6u" id="7oauUzu5f2R" role="3uHU7w" />
</node>
<node concept="3fqX7Q" id="A12Bkm5ywP" role="3uHU7w">
<node concept="2OqwBi" id="A12Bkm5ywR" role="3fr31v">
......@@ -8258,6 +8258,9 @@
</node>
</node>
</node>
<node concept="13hLZK" id="2groWwXYoO$" role="13h7CW">
<node concept="3clFbS" id="2groWwXYoO_" role="2VODD2" />
</node>
<node concept="13i0hz" id="2LROe3D3CVG" role="13h7CS">
<property role="TrG5h" value="replace" />
<node concept="3Tm1VV" id="2LROe3D3CVH" role="1B3o_S" />
......@@ -8354,12 +8357,9 @@
</node>
</node>
</node>
<node concept="13hLZK" id="2groWwXYoO$" role="13h7CW">
<node concept="3clFbS" id="2groWwXYoO_" role="2VODD2" />
</node>
</node>
<node concept="13h7C7" id="2U2uJPpd7Nm">
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<ref role="13h7C2" to="b83y:2U2uJPpd5x5" resolve="Sort" />
<node concept="13i0hz" id="2U2uJPpd7Nx" role="13h7CS">
<property role="13i0iv" value="false" />
......@@ -8584,7 +8584,7 @@
</node>
</node>
<node concept="13h7C7" id="2U2uJPpgAn7">
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<ref role="13h7C2" to="b83y:2U2uJPpguJc" resolve="SortLattice" />
<node concept="13hLZK" id="2U2uJPpgAn8" role="13h7CW">
<node concept="3clFbS" id="2U2uJPpgAn9" role="2VODD2" />
......
......@@ -2,8 +2,8 @@
<model ref="r:e0f77034-942e-491e-80a4-40c874407fc1(TypeLang.editor)">
<persistence version="9" />
<languages>
<use id="18bc6592-03a6-4e29-a83a-7ff23bde13ba" name="jetbrains.mps.lang.editor" version="12" />
<use id="9d69e719-78c8-4286-90db-fb19c107d049" name="com.mbeddr.mpsutil.grammarcells" version="0" />
<use id="18bc6592-03a6-4e29-a83a-7ff23bde13ba" name="jetbrains.mps.lang.editor" version="-1" />
<use id="9d69e719-78c8-4286-90db-fb19c107d049" name="com.mbeddr.mpsutil.grammarcells" version="-1" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>
<imports>
......@@ -451,7 +451,7 @@
</node>
</node>
<node concept="24kQdi" id="2_58u12d$ne">
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<ref role="1XX52x" to="b83y:2_58u12cYwo" resolve="SortConcept" />
<node concept="3EZMnI" id="2_58u12d$ng" role="2wV5jI">
<node concept="l2Vlx" id="2_58u12d$nj" role="2iSdaV" />
......@@ -485,7 +485,7 @@
</node>
</node>
<node concept="24kQdi" id="2_58u12d$q7">
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<ref role="1XX52x" to="b83y:2_58u12cYDo" resolve="SortInputMode" />
<node concept="PMmxH" id="2_58u12d$qj" role="2wV5jI">
<ref role="PMmxG" to="tpco:2wZex4PafBj" resolve="alias" />
......@@ -493,7 +493,7 @@
</node>
</node>
<node concept="24kQdi" id="2_58u12d$qJ">
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<ref role="1XX52x" to="b83y:2_58u12cYDp" resolve="SortOutputMode" />
<node concept="PMmxH" id="2_58u12d$qP" role="2wV5jI">
<ref role="PMmxG" to="tpco:2wZex4PafBj" resolve="alias" />
......@@ -935,6 +935,27 @@
<ref role="1NtTu8" to="b83y:2_58u12eLZl" resolve="delimiter1" />
</node>
<node concept="l2Vlx" id="2_58u12fi1j" role="2iSdaV" />
<node concept="3F0ifn" id="4QidbFwiaAR" role="3EZMnx">
<property role="3F0ifm" value="report stuck derivations as errors" />
<node concept="pkWqt" id="4QidbFwiaB9" role="pqm2j">
<node concept="3clFbS" id="4QidbFwiaBa" role="2VODD2">
<node concept="3clFbF" id="4QidbFwiaIA" role="3cqZAp">
<node concept="2OqwBi" id="4QidbFwiaYH" role="3clFbG">
<node concept="pncrf" id="4QidbFwiaI_" role="2Oq$k0" />
<node concept="3TrcHB" id="4QidbFwibs3" role="2OqNvi">
<ref role="3TsBF5" to="b83y:4QidbFwia_k" resolve="reportStuck" />
</node>
</node>
</node>
</node>
</node>
<node concept="pVoyu" id="4QidbFwo19u" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="lj46D" id="4QidbFwo1ta" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
</node>
</node>
<node concept="24kQdi" id="2_58u12fi2K">
......@@ -969,6 +990,27 @@
<ref role="1NtTu8" to="b83y:2_58u12eLZ_" resolve="delimiter2" />
</node>
<node concept="l2Vlx" id="2_58u12fi2R" role="2iSdaV" />
<node concept="3F0ifn" id="4QidbFwo1Hs" role="3EZMnx">
<property role="3F0ifm" value="report stuck derivations as errors" />
<node concept="pkWqt" id="4QidbFwo1Ht" role="pqm2j">
<node concept="3clFbS" id="4QidbFwo1Hu" role="2VODD2">
<node concept="3clFbF" id="4QidbFwo1Hv" role="3cqZAp">
<node concept="2OqwBi" id="4QidbFwo1Hw" role="3clFbG">
<node concept="pncrf" id="4QidbFwo1Hx" role="2Oq$k0" />
<node concept="3TrcHB" id="4QidbFwo1Hy" role="2OqNvi">
<ref role="3TsBF5" to="b83y:4QidbFwia_k" resolve="reportStuck" />
</node>
</node>
</node>
</node>
</node>
<node concept="pVoyu" id="4QidbFwo1Hz" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="lj46D" id="4QidbFwo1H$" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
</node>
</node>
<node concept="24kQdi" id="2_58u12fi4i">
......@@ -1009,6 +1051,27 @@
<node concept="3F1sOY" id="2_58u12fi5S" role="3EZMnx">
<ref role="1NtTu8" to="b83y:2_58u12eLZ6" resolve="delimiter3" />
</node>
<node concept="3F0ifn" id="4QidbFwo22i" role="3EZMnx">
<property role="3F0ifm" value="report stuck derivations as errors" />
<node concept="pkWqt" id="4QidbFwo22j" role="pqm2j">
<node concept="3clFbS" id="4QidbFwo22k" role="2VODD2">
<node concept="3clFbF" id="4QidbFwo22l" role="3cqZAp">
<node concept="2OqwBi" id="4QidbFwo22m" role="3clFbG">
<node concept="pncrf" id="4QidbFwo22n" role="2Oq$k0" />
<node concept="3TrcHB" id="4QidbFwo22o" role="2OqNvi">
<ref role="3TsBF5" to="b83y:4QidbFwia_k" resolve="reportStuck" />
</node>
</node>
</node>
</node>
</node>
<node concept="pVoyu" id="4QidbFwo22p" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="lj46D" id="4QidbFwo22q" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
</node>
</node>
<node concept="24kQdi" id="2_58u12fwID">
......@@ -1394,7 +1457,7 @@
</node>
</node>
<node concept="24kQdi" id="6G$bWLkspQR">
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<ref role="1XX52x" to="b83y:6G$bWLkspQH" resolve="SortUserMode" />
<node concept="PMmxH" id="6G$bWLkspQY" role="2wV5jI">
<ref role="PMmxG" to="tpco:2wZex4PafBj" resolve="alias" />
......@@ -1443,7 +1506,7 @@
</node>
</node>
<node concept="24kQdi" id="2U2uJPphZhD">
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<ref role="1XX52x" to="b83y:2U2uJPpguJc" resolve="SortLattice" />
<node concept="3EZMnI" id="2U2uJPphZhF" role="2wV5jI">
<node concept="l2Vlx" id="2U2uJPphZhG" role="2iSdaV" />
......@@ -1545,6 +1608,27 @@
<node concept="3F1sOY" id="2U2uJPq3W9W" role="3EZMnx">
<ref role="1NtTu8" to="b83y:2U2uJPq3W7g" resolve="delimiter4" />
</node>
<node concept="3F0ifn" id="4QidbFwo2ng" role="3EZMnx">
<property role="3F0ifm" value="report stuck derivations as errors" />
<node concept="pkWqt" id="4QidbFwo2nh" role="pqm2j">
<node concept="3clFbS" id="4QidbFwo2ni" role="2VODD2">
<node concept="3clFbF" id="4QidbFwo2nj" role="3cqZAp">
<node concept="2OqwBi" id="4QidbFwo2nk" role="3clFbG">
<node concept="pncrf" id="4QidbFwo2nl" role="2Oq$k0" />
<node concept="3TrcHB" id="4QidbFwo2nm" role="2OqNvi">
<ref role="3TsBF5" to="b83y:4QidbFwia_k" resolve="reportStuck" />
</node>
</node>
</node>
</node>
</node>
<node concept="pVoyu" id="4QidbFwo2nn" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="lj46D" id="4QidbFwo2no" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
</node>
</node>
<node concept="24kQdi" id="2U2uJPq4lGF">
......@@ -1762,7 +1846,7 @@
</node>
</node>
<node concept="24kQdi" id="2U2uJPq5LcB">
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<ref role="1XX52x" to="b83y:2U2uJPq5Lcu" resolve="SortString" />
<node concept="3EZMnI" id="2U2uJPq6XnD" role="2wV5jI">
<node concept="PMmxH" id="2U2uJPq6XnN" role="3EZMnx">
......@@ -1806,19 +1890,44 @@
</node>
</node>
<node concept="24kQdi" id="7TgNhRaTdkc">
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<ref role="1XX52x" to="b83y:7TgNhRaTdk0" resolve="SyntaxDirectedFlag" />
<node concept="3F0ifn" id="7TgNhRaTdke" role="2wV5jI">
<property role="3F0ifm" value="syntax directed" />
</node>
</node>
<node concept="24kQdi" id="1t5MWi448WT">
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<ref role="1XX52x" to="b83y:1t5MWi448Ws" resolve="SortSyntaxMode" />
<node concept="PMmxH" id="1t5MWi448WZ" role="2wV5jI">
<ref role="PMmxG" to="tpco:2wZex4PafBj" resolve="alias" />
<ref role="1k5W1q" to="tpen:hshU_KJ" resolve="Annotation" />
</node>
</node>
<node concept="24kQdi" id="3fxoFx9NrQ5">
<property role="3GE5qa" value="judgment" />
<ref role="1XX52x" to="b83y:3fxoFx9NrKi" resolve="JudgmentInstanceNot" />
<node concept="3EZMnI" id="3fxoFx9NrVF" role="2wV5jI">
<node concept="3F0ifn" id="3fxoFx9NrVP" role="3EZMnx">
<property role="3F0ifm" value="not" />
</node>
<node concept="3F0ifn" id="3fxoFx9ONc8" role="3EZMnx">
<property role="3F0ifm" value="(" />
<node concept="11LMrY" id="3fxoFx9ONcA" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
<node concept="3F1sOY" id="3fxoFx9NrW4" role="3EZMnx">
<ref role="1NtTu8" to="b83y:3fxoFx9NrPU" resolve="inst" />
</node>
<node concept="l2Vlx" id="3fxoFx9NrVI" role="2iSdaV" />
<node concept="3F0ifn" id="3fxoFx9ONcp" role="3EZMnx">
<property role="3F0ifm" value=")" />
<node concept="11L4FC" id="3fxoFx9ONcz" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
</node>
</node>
</model>
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:05a73dff-f276-490e-8d87-aaaee65dd3dd(TypeLang.intentions)">
<persistence version="9" />
<languages>
<use id="d7a92d38-f7db-40d0-8431-763b0c3c9f20" name="jetbrains.mps.lang.intentions" version="0" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>
<imports>
<import index="b83y" ref="r:63340c72-1a1f-4a8d-acb4-c73b4c9c590a(TypeLang.structure)" implicit="true" />
</imports>
<registry>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
<concept id="1082485599095" name="jetbrains.mps.baseLanguage.structure.BlockStatement" flags="nn" index="9aQIb">
<child id="1082485599096" name="statements" index="9aQI4" />
</concept>
<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="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
<child id="1197027771414" name="operand" index="2Oq$k0" />
<child id="1197027833540" name="operation" index="2OqNvi" />
</concept>
<concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
<child id="1137022507850" name="body" index="2VODD2" />
</concept>
<concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
<property id="1070475926801" name="value" index="Xl_RC" />
</concept>
<concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
<concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
<child id="1068580123156" name="expression" index="3clFbG" />
</concept>
<concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
<child id="1082485599094" name="ifFalseStatement" index="9aQIa" />
<child id="1068580123160" name="condition" index="3clFbw" />
<child id="1068580123161" name="ifTrue" index="3clFbx" />
</concept>
<concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
<child id="1068581517665" name="statement" index="3cqZAp" />
</concept>
<concept id="1068581242878" name="jetbrains.mps.baseLanguage.structure.ReturnStatement" flags="nn" index="3cpWs6">
<child id="1068581517676" name="expression" index="3cqZAk" />
</concept>
<concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
<child id="1081516765348" name="expression" index="3fr31v" />
</concept>
</language>
<language id="d7a92d38-f7db-40d0-8431-763b0c3c9f20" name="jetbrains.mps.lang.intentions">
<concept id="1192794744107" name="jetbrains.mps.lang.intentions.structure.IntentionDeclaration" flags="ig" index="2S6QgY" />
<concept id="1192794782375" name="jetbrains.mps.lang.intentions.structure.DescriptionBlock" flags="in" index="2S6ZIM" />
<concept id="1192795911897" name="jetbrains.mps.lang.intentions.structure.ExecuteBlock" flags="in" index="2Sbjvc" />
<concept id="1192796902958" name="jetbrains.mps.lang.intentions.structure.ConceptFunctionParameter_node" flags="nn" index="2Sf5sV" />
<concept id="2522969319638091381" name="jetbrains.mps.lang.intentions.structure.BaseIntentionDeclaration" flags="ig" index="2ZfUlf">
<reference id="2522969319638198290" name="forConcept" index="2ZfgGC" />
<child id="2522969319638198291" name="executeFunction" index="2ZfgGD" />
<child id="2522969319638093993" name="descriptionFunction" index="2ZfVej" />
</concept>
</language>
<language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
<concept id="1138056022639" name="jetbrains.mps.lang.smodel.structure.SPropertyAccess" flags="nn" index="3TrcHB">
<reference id="1138056395725" name="property" index="3TsBF5" />
</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">
<property id="1193676396447" name="virtualPackage" index="3GE5qa" />
</concept>
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="2S6QgY" id="4QidbFwimva">
<property role="3GE5qa" value="judgment" />
<property role="TrG5h" value="ToggleReportStuck" />
<ref role="2ZfgGC" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
<node concept="2S6ZIM" id="4QidbFwimvb" role="2ZfVej">
<node concept="3clFbS" id="4QidbFwimvc" role="2VODD2">
<node concept="3clFbJ" id="4QidbFwimCi" role="3cqZAp">
<node concept="2OqwBi" id="4QidbFwin0D" role="3clFbw">
<node concept="2Sf5sV" id="4QidbFwimL4" role="2Oq$k0" />
<node concept="3TrcHB" id="4QidbFwinmc" role="2OqNvi">
<ref role="3TsBF5" to="b83y:4QidbFwia_k" resolve="reportStuck" />
</node>
</node>
<node concept="3clFbS" id="4QidbFwimCk" role="3clFbx">
<node concept="3cpWs6" id="4QidbFwinx9" role="3cqZAp">
<node concept="Xl_RD" id="4QidbFwinGa" role="3cqZAk">
<property role="Xl_RC" value="Disable report stuck" />
</node>
</node>
</node>
<node concept="9aQIb" id="4QidbFwioBM" role="9aQIa">
<node concept="3clFbS" id="4QidbFwioBN" role="9aQI4">
<node concept="3cpWs6" id="4QidbFwioMU" role="3cqZAp">
<node concept="Xl_RD" id="4QidbFwip9f" role="3cqZAk">
<property role="Xl_RC" value="Enable report stuck" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2Sbjvc" id="4QidbFwimvd" role="2ZfgGD">
<node concept="3clFbS" id="4QidbFwimve" role="2VODD2">
<node concept="3clFbF" id="4QidbFwipEL" role="3cqZAp">
<node concept="37vLTI" id="4QidbFwiqLo" role="3clFbG">
<node concept="3fqX7Q" id="4QidbFwiqRR" role="37vLTx">
<node concept="2OqwBi" id="4QidbFwir3D" role="3fr31v">
<node concept="2Sf5sV" id="4QidbFwiqS0" role="2Oq$k0" />
<node concept="3TrcHB" id="4QidbFwirDT" role="2OqNvi">
<ref role="3TsBF5" to="b83y:4QidbFwia_k" resolve="reportStuck" />
</node>
</node>
</node>
<node concept="2OqwBi" id="4QidbFwipO5" role="37vLTJ">
<node concept="2Sf5sV" id="4QidbFwipEK" role="2Oq$k0" />
<node concept="3TrcHB" id="4QidbFwiqkv" role="2OqNvi">
<ref role="3TsBF5" to="b83y:4QidbFwia_k" resolve="reportStuck" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</model>
......@@ -2,7 +2,7 @@
<model ref="r:63340c72-1a1f-4a8d-acb4-c73b4c9c590a(TypeLang.structure)">
<persistence version="9" />
<languages>
<use id="c72da2b9-7cce-4447-8389-f407dc1158b7" name="jetbrains.mps.lang.structure" version="7" />
<use id="c72da2b9-7cce-4447-8389-f407dc1158b7" name="jetbrains.mps.lang.structure" version="-1" />
<devkit ref="78434eb8-b0e5-444b-850d-e7c4ad2da9ab(jetbrains.mps.devkit.aspect.structure)" />
</languages>
<imports>
......@@ -55,7 +55,7 @@
<node concept="1TIwiD" id="2_58u12cYwo">
<property role="EcuMT" value="2973820376015169560" />
<property role="TrG5h" value="SortConcept" />
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="1TJgyj" id="2_58u12cYws" role="1TKVEi">
<property role="IQ2ns" value="2973820376015169564" />
......@@ -71,12 +71,12 @@
<node concept="PlHQZ" id="2_58u12cYDn">
<property role="EcuMT" value="2973820376015170135" />
<property role="TrG5h" value="SortMode" />
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
</node>
<node concept="1TIwiD" id="2_58u12cYDo">
<property role="EcuMT" value="2973820376015170136" />
<property role="TrG5h" value="SortInputMode" />
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<property role="34LRSv" value="in" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="2_58u12cYEZ" role="PzmwI">
......@@ -86,7 +86,7 @@
<node concept="1TIwiD" id="2_58u12cYDp">
<property role="EcuMT" value="2973820376015170137" />
<property role="TrG5h" value="SortOutputMode" />
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<property role="34LRSv" value="out" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="2_58u12cYDq" role="PzmwI">
......@@ -223,6 +223,11 @@
<node concept="PrWs8" id="2_58u12khG6" role="PrDN$">
<ref role="PrY4T" node="2_58u12khFL" resolve="TypeLangModuleContent" />
</node>
<node concept="1TJgyi" id="4QidbFwia_k" role="1TKVEl">
<property role="IQ2nx" value="5589588064751626580" />
<property role="TrG5h" value="reportStuck" />
<ref role="AX2Wp" to="tpck:fKAQMTB" resolve="boolean" />
</node>
</node>
<node concept="1TIwiD" id="2_58u12eLE0">
<property role="EcuMT" value="2973820376015641216" />
......@@ -397,6 +402,11 @@
<property role="EcuMT" value="2973820376015834087" />
<property role="TrG5h" value="JudgmentInstance" />
<property role="3GE5qa" value="judgment" />
<node concept="1TJgyi" id="4QidbFwe$5C" role="1TKVEl">
<property role="IQ2nx" value="5589588064750682472" />
<property role="TrG5h" value="alwaysSucceeds" />
<ref role="AX2Wp" to="tpck:fKAQMTB" resolve="boolean" />
</node>
</node>
<node concept="PlHQZ" id="2_58u12g7Tn">
<property role="EcuMT" value="2973820376015994455" />
......@@ -589,7 +599,7 @@
<node concept="1TIwiD" id="6G$bWLkspQH">
<property role="EcuMT" value="7720348215856438701" />
<property role="TrG5h" value="SortUserMode" />
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<property role="34LRSv" value="user" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="6G$bWLkspQI" role="PzmwI">
......@@ -640,7 +650,7 @@
</node>
<node concept="PlHQZ" id="2U2uJPpd5x5">
<property role="EcuMT" value="3351376301258987589" />
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<property role="TrG5h" value="Sort" />
<node concept="1TJgyj" id="2_58u12cYDi" role="1TKVEi">
<property role="IQ2ns" value="2973820376015170130" />
......@@ -653,7 +663,7 @@
<node concept="1TIwiD" id="2U2uJPpguJc">
<property role="EcuMT" value="3351376301259877324" />
<property role="TrG5h" value="SortLattice" />
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="2U2uJPpguJe" role="PzmwI">
<ref role="PrY4T" node="2U2uJPpd5x5" resolve="Sort" />
......@@ -821,7 +831,7 @@
</node>
<node concept="1TIwiD" id="2U2uJPq5Lcu">
<property role="EcuMT" value="3351376301273846558" />
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<property role="TrG5h" value="SortString" />
<property role="34LRSv" value="string" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
......@@ -855,14 +865,14 @@
</node>
<node concept="1TIwiD" id="7TgNhRaTdk0">
<property role="EcuMT" value="9102000374757512448" />
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<property role="TrG5h" value="SyntaxDirectedFlag" />
<property role="34LRSv" value="syntax directed" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
<node concept="1TIwiD" id="1t5MWi448Ws">
<property role="EcuMT" value="1676970481155084060" />
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<property role="TrG5h" value="SortSyntaxMode" />
<property role="34LRSv" value="syntax" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
......@@ -870,5 +880,22 @@
<ref role="PrY4T" node="2_58u12cYDn" resolve="SortMode" />
</node>
</node>
<node concept="1TIwiD" id="3fxoFx9NrKi">
<property role="EcuMT" value="3738377709345946642" />
<property role="3GE5qa" value="judgment" />
<property role="TrG5h" value="JudgmentInstanceNot" />
<property role="34LRSv" value="not" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="3fxoFx9NrPR" role="PzmwI">
<ref role="PrY4T" node="2_58u12fwJB" resolve="JudgmentInstance" />
</node>
<node concept="1TJgyj" id="3fxoFx9NrPU" role="1TKVEi">
<property role="IQ2ns" value="3738377709345947002" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="inst" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
</model>
......@@ -64,7 +64,7 @@
</registry>
<node concept="18kY7G" id="6G$bWLkvmoM">
<property role="TrG5h" value="check_Sort" />
<property role="3GE5qa" value="judgment" />
<property role="3GE5qa" value="sort" />
<node concept="3clFbS" id="6G$bWLkvmoN" role="18ibNy">
<node concept="3clFbJ" id="6G$bWLkvmoT" role="3cqZAp">
<node concept="3clFbS" id="6G$bWLkvmoV" role="3clFbx">
......
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
......@@ -2,7 +2,7 @@
<model ref="r:b7432b9d-c2b2-421e-afd1-85b85d98f321(TypeLangTest.test_single)">
<persistence version="9" />
<languages>
<use id="ab9b5480-36a1-4fc2-9c9d-f0faa4fc1b71" name="TypeLang" version="0" />
<use id="ab9b5480-36a1-4fc2-9c9d-f0faa4fc1b71" name="TypeLang" version="-1" />
</languages>
<imports>
<import index="5va7" ref="r:568f7667-a603-4374-adfa-c84f4fd5dac3(STLCN.structure)" />
......@@ -49,6 +49,9 @@
<child id="2973820376015642566" name="delimiter3" index="1FvzSA" />
<child id="2973820376015642543" name="delimiter1" index="1FvzTf" />
</concept>
<concept id="2973820376015641198" name="TypeLang.structure.JudgmentDeclaration" flags="ng" index="1FvzIe">
<property id="5589588064751626580" name="reportStuck" index="2HQDRI" />
</concept>
<concept id="2973820376015655883" name="TypeLang.structure.JudgmentInstance3" flags="ng" index="1FvB8F">
<reference id="2973820376015655884" name="judgment" index="1FvB8G" />
<child id="2973820376015655885" name="arg1" index="1FvB8H" />
......@@ -82,6 +85,7 @@
<property role="TrG5h" value="BidirectionalSTLCN_1" />
<node concept="1FvzHF" id="6G$bWLkr_bf" role="1FufQt">
<property role="TrG5h" value="infer" />
<property role="2HQDRI" value="true" />
<node concept="1FtGIX" id="6G$bWLkr_bg" role="1FvzHG" />
<node concept="1FtGBS" id="6G$bWLkr_bh" role="1FvzHH">
<ref role="1FtGBW" to="5va7:2_58u12slaZ" resolve="Context" />
......@@ -105,6 +109,7 @@
</node>
<node concept="1FvzHF" id="6G$bWLkr_bq" role="1FufQt">
<property role="TrG5h" value="check" />
<property role="2HQDRI" value="true" />
<node concept="1FtGIX" id="6G$bWLkr_br" role="1FvzHG" />
<node concept="1FtGBS" id="6G$bWLkr_bs" role="1FvzHH">
<ref role="1FtGBW" to="5va7:2_58u12slaZ" resolve="Context" />
......
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