From d88acbe0f41773b40aad066b05df71410480cf62 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Tue, 12 Jan 2021 11:39:57 +0100
Subject: [PATCH] Introduce trivial result state

---
 ...jetbrains.mps.coderules.runtime.result.mps | 213 +++++++++++++++++-
 1 file changed, 210 insertions(+), 3 deletions(-)

diff --git a/coderules/solutions/jetbrains.mps.coderules.runtime/models/jetbrains.mps.coderules.runtime.result.mps b/coderules/solutions/jetbrains.mps.coderules.runtime/models/jetbrains.mps.coderules.runtime.result.mps
index 91ad9b47..755c24b1 100644
--- a/coderules/solutions/jetbrains.mps.coderules.runtime/models/jetbrains.mps.coderules.runtime.result.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.runtime/models/jetbrains.mps.coderules.runtime.result.mps
@@ -189,6 +189,21 @@
       </node>
     </node>
     <node concept="2tJIrI" id="2Z9Itkdc8bL" role="jymVt" />
+    <node concept="2YIFZL" id="3VwM5b5YDoi" role="jymVt">
+      <property role="TrG5h" value="SKIP" />
+      <node concept="3uibUv" id="3VwM5b5YDoj" role="3clF45">
+        <ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
+      </node>
+      <node concept="3Tm1VV" id="3VwM5b5YDok" role="1B3o_S" />
+      <node concept="3clFbS" id="3VwM5b5YDol" role="3clF47">
+        <node concept="3clFbF" id="3VwM5b5YDom" role="3cqZAp">
+          <node concept="37vLTw" id="3VwM5b5YNKU" role="3clFbG">
+            <ref role="3cqZAo" node="3VwM5b5YbUt" resolve="SKIP_RESULT" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="3VwM5b5YDoh" role="jymVt" />
     <node concept="2YIFZL" id="5X1yxJHYPm2" role="jymVt">
       <property role="TrG5h" value="FAIL" />
       <node concept="37vLTG" id="5X1yxJHYPm5" role="3clF46">
@@ -253,6 +268,19 @@
         </node>
       </node>
     </node>
+    <node concept="2tJIrI" id="3VwM5b5YlLw" role="jymVt" />
+    <node concept="Wx3nA" id="3VwM5b5YbUt" role="jymVt">
+      <property role="TrG5h" value="SKIP_RESULT" />
+      <node concept="3Tm6S6" id="3VwM5b5YbUu" role="1B3o_S" />
+      <node concept="3uibUv" id="3VwM5b5YbUv" role="1tU5fm">
+        <ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
+      </node>
+      <node concept="2ShNRf" id="3VwM5b5YbUw" role="33vP2m">
+        <node concept="HV5vD" id="3VwM5b5YbUx" role="2ShVmc">
+          <ref role="HV5vE" node="3VwM5b5YtF0" resolve="Result.SKIP" />
+        </node>
+      </node>
+    </node>
     <node concept="2tJIrI" id="7Oc59RSEp6D" role="jymVt" />
     <node concept="3clFb_" id="7Oc59RS_hsj" role="jymVt">
       <property role="TrG5h" value="isSuccessful" />
@@ -261,6 +289,14 @@
       <node concept="3Tm1VV" id="7Oc59RS_hsm" role="1B3o_S" />
       <node concept="3clFbS" id="7Oc59RS_hsn" role="3clF47" />
     </node>
+    <node concept="2tJIrI" id="3VwM5b5Xpff" role="jymVt" />
+    <node concept="3clFb_" id="3VwM5b5XMK9" role="jymVt">
+      <property role="TrG5h" value="isTrivial" />
+      <property role="1EzhhJ" value="true" />
+      <node concept="10P_77" id="3VwM5b5XMKa" role="3clF45" />
+      <node concept="3Tm1VV" id="3VwM5b5XMKb" role="1B3o_S" />
+      <node concept="3clFbS" id="3VwM5b5XMKc" role="3clF47" />
+    </node>
     <node concept="2tJIrI" id="7Oc59RSEn_B" role="jymVt" />
     <node concept="3clFb_" id="2gw7OvgCNSM" role="jymVt">
       <property role="TrG5h" value="hasErrors" />
@@ -376,6 +412,20 @@
         </node>
       </node>
       <node concept="2tJIrI" id="2gw7OvgCUeN" role="jymVt" />
+      <node concept="3clFb_" id="3VwM5b5Y65c" role="jymVt">
+        <property role="TrG5h" value="isTrivial" />
+        <node concept="10P_77" id="3VwM5b5Y65d" role="3clF45" />
+        <node concept="3Tm1VV" id="3VwM5b5Y65e" role="1B3o_S" />
+        <node concept="3clFbS" id="3VwM5b5Y65g" role="3clF47">
+          <node concept="3clFbF" id="3VwM5b5Y6Hf" role="3cqZAp">
+            <node concept="3clFbT" id="3VwM5b5Y6He" role="3clFbG" />
+          </node>
+        </node>
+        <node concept="2AHcQZ" id="3VwM5b5Y65h" role="2AJF6D">
+          <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+        </node>
+      </node>
+      <node concept="2tJIrI" id="3VwM5b5Y6IQ" role="jymVt" />
       <node concept="3clFb_" id="2gw7OvgCTRj" role="jymVt">
         <property role="TrG5h" value="hasErrors" />
         <node concept="10P_77" id="2gw7OvgCTRk" role="3clF45" />
@@ -404,9 +454,20 @@
         </node>
         <node concept="3Tm1VV" id="7nkyKX7v8YS" role="1B3o_S" />
         <node concept="3clFbS" id="7nkyKX7v8YU" role="3clF47">
-          <node concept="3clFbF" id="5X1yxJI52tl" role="3cqZAp">
-            <node concept="37vLTw" id="5X1yxJI52tk" role="3clFbG">
-              <ref role="3cqZAo" node="7nkyKX7v8YP" resolve="that" />
+          <node concept="3clFbF" id="3VwM5b5YBU_" role="3cqZAp">
+            <node concept="3K4zz7" id="3VwM5b5YCH1" role="3clFbG">
+              <node concept="Xjq3P" id="3VwM5b5YD92" role="3K4E3e" />
+              <node concept="37vLTw" id="3VwM5b5YD9N" role="3K4GZi">
+                <ref role="3cqZAo" node="7nkyKX7v8YP" resolve="that" />
+              </node>
+              <node concept="2OqwBi" id="3VwM5b5YBXO" role="3K4Cdx">
+                <node concept="37vLTw" id="3VwM5b5YBUz" role="2Oq$k0">
+                  <ref role="3cqZAo" node="7nkyKX7v8YP" resolve="that" />
+                </node>
+                <node concept="liA8E" id="3VwM5b5YC6H" role="2OqNvi">
+                  <ref role="37wK5l" node="3VwM5b5XMK9" resolve="isTrivial" />
+                </node>
+              </node>
             </node>
           </node>
         </node>
@@ -458,6 +519,124 @@
       </node>
     </node>
     <node concept="2tJIrI" id="2Z9ItkdbOqM" role="jymVt" />
+    <node concept="312cEu" id="3VwM5b5YtF0" role="jymVt">
+      <property role="2bfB8j" value="false" />
+      <property role="TrG5h" value="SKIP" />
+      <node concept="3clFb_" id="3VwM5b5YtF1" role="jymVt">
+        <property role="TrG5h" value="isSuccessful" />
+        <property role="1EzhhJ" value="false" />
+        <node concept="10P_77" id="3VwM5b5YtF2" role="3clF45" />
+        <node concept="3Tm1VV" id="3VwM5b5YtF3" role="1B3o_S" />
+        <node concept="3clFbS" id="3VwM5b5YtF4" role="3clF47">
+          <node concept="3clFbF" id="3VwM5b5YtF5" role="3cqZAp">
+            <node concept="3clFbT" id="3VwM5b5YtF6" role="3clFbG">
+              <property role="3clFbU" value="true" />
+            </node>
+          </node>
+        </node>
+        <node concept="2AHcQZ" id="3VwM5b5YtF7" role="2AJF6D">
+          <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+        </node>
+      </node>
+      <node concept="2tJIrI" id="3VwM5b5YtF8" role="jymVt" />
+      <node concept="3clFb_" id="3VwM5b5YtF9" role="jymVt">
+        <property role="TrG5h" value="isTrivial" />
+        <node concept="10P_77" id="3VwM5b5YtFa" role="3clF45" />
+        <node concept="3Tm1VV" id="3VwM5b5YtFb" role="1B3o_S" />
+        <node concept="3clFbS" id="3VwM5b5YtFc" role="3clF47">
+          <node concept="3clFbF" id="3VwM5b5YtFd" role="3cqZAp">
+            <node concept="3clFbT" id="3VwM5b5YtFe" role="3clFbG">
+              <property role="3clFbU" value="true" />
+            </node>
+          </node>
+        </node>
+        <node concept="2AHcQZ" id="3VwM5b5YtFf" role="2AJF6D">
+          <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+        </node>
+      </node>
+      <node concept="2tJIrI" id="3VwM5b5YtFg" role="jymVt" />
+      <node concept="3clFb_" id="3VwM5b5YtFh" role="jymVt">
+        <property role="TrG5h" value="hasErrors" />
+        <node concept="10P_77" id="3VwM5b5YtFi" role="3clF45" />
+        <node concept="3Tm1VV" id="3VwM5b5YtFj" role="1B3o_S" />
+        <node concept="3clFbS" id="3VwM5b5YtFk" role="3clF47">
+          <node concept="3clFbF" id="3VwM5b5YtFl" role="3cqZAp">
+            <node concept="3clFbT" id="3VwM5b5YtFm" role="3clFbG" />
+          </node>
+        </node>
+        <node concept="2AHcQZ" id="3VwM5b5YtFn" role="2AJF6D">
+          <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+        </node>
+      </node>
+      <node concept="2tJIrI" id="3VwM5b5YtFo" role="jymVt" />
+      <node concept="3clFb_" id="3VwM5b5YtFp" role="jymVt">
+        <property role="TrG5h" value="and" />
+        <property role="1EzhhJ" value="false" />
+        <node concept="37vLTG" id="3VwM5b5YtFq" role="3clF46">
+          <property role="TrG5h" value="that" />
+          <node concept="3uibUv" id="3VwM5b5YtFr" role="1tU5fm">
+            <ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
+          </node>
+        </node>
+        <node concept="3uibUv" id="3VwM5b5YtFs" role="3clF45">
+          <ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
+        </node>
+        <node concept="3Tm1VV" id="3VwM5b5YtFt" role="1B3o_S" />
+        <node concept="3clFbS" id="3VwM5b5YtFu" role="3clF47">
+          <node concept="3clFbF" id="3VwM5b5YtFv" role="3cqZAp">
+            <node concept="37vLTw" id="3VwM5b5YtFw" role="3clFbG">
+              <ref role="3cqZAo" node="3VwM5b5YtFq" resolve="that" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="3VwM5b5YtFx" role="jymVt" />
+      <node concept="3clFb_" id="3VwM5b5YtFy" role="jymVt">
+        <property role="TrG5h" value="cause" />
+        <node concept="3uibUv" id="3VwM5b5YtFz" role="3clF45">
+          <ref role="3uigEE" to="wyt6:~Throwable" resolve="Throwable" />
+        </node>
+        <node concept="3Tm1VV" id="3VwM5b5YtF$" role="1B3o_S" />
+        <node concept="3clFbS" id="3VwM5b5YtF_" role="3clF47">
+          <node concept="3clFbF" id="3VwM5b5YtFA" role="3cqZAp">
+            <node concept="10Nm6u" id="3VwM5b5YtFB" role="3clFbG" />
+          </node>
+        </node>
+        <node concept="2AHcQZ" id="3VwM5b5YtFC" role="2AJF6D">
+          <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+        </node>
+      </node>
+      <node concept="2tJIrI" id="3VwM5b5YtFD" role="jymVt" />
+      <node concept="3clFb_" id="3VwM5b5YtFE" role="jymVt">
+        <property role="TrG5h" value="allCauses" />
+        <node concept="3vKaQO" id="3VwM5b5YtFF" role="3clF45">
+          <node concept="3uibUv" id="3VwM5b5YtFG" role="3O5elw">
+            <ref role="3uigEE" to="wyt6:~Throwable" resolve="Throwable" />
+          </node>
+        </node>
+        <node concept="3Tm1VV" id="3VwM5b5YtFH" role="1B3o_S" />
+        <node concept="3clFbS" id="3VwM5b5YtFI" role="3clF47">
+          <node concept="3clFbF" id="3VwM5b5YtFJ" role="3cqZAp">
+            <node concept="2YIFZM" id="3VwM5b5YtFK" role="3clFbG">
+              <ref role="37wK5l" to="33ny:~Collections.emptyList()" resolve="emptyList" />
+              <ref role="1Pybhc" to="33ny:~Collections" resolve="Collections" />
+              <node concept="3uibUv" id="3VwM5b5YtFL" role="3PaCim">
+                <ref role="3uigEE" to="wyt6:~Throwable" resolve="Throwable" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="2AHcQZ" id="3VwM5b5YtFM" role="2AJF6D">
+          <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+        </node>
+      </node>
+      <node concept="2tJIrI" id="3VwM5b5YtFN" role="jymVt" />
+      <node concept="3Tm6S6" id="3VwM5b5YtFO" role="1B3o_S" />
+      <node concept="3uibUv" id="3VwM5b5YtFP" role="1zkMxy">
+        <ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="3VwM5b5YtEZ" role="jymVt" />
     <node concept="312cEu" id="2Z9ItkdbLJj" role="jymVt">
       <property role="2bfB8j" value="false" />
       <property role="TrG5h" value="RECOVERED" />
@@ -573,6 +752,20 @@
           <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
         </node>
       </node>
+      <node concept="2tJIrI" id="3VwM5b5Y735" role="jymVt" />
+      <node concept="3clFb_" id="3VwM5b5Y8gg" role="jymVt">
+        <property role="TrG5h" value="isTrivial" />
+        <node concept="10P_77" id="3VwM5b5Y8gh" role="3clF45" />
+        <node concept="3Tm1VV" id="3VwM5b5Y8gi" role="1B3o_S" />
+        <node concept="3clFbS" id="3VwM5b5Y8gk" role="3clF47">
+          <node concept="3clFbF" id="3VwM5b5Y9nd" role="3cqZAp">
+            <node concept="3clFbT" id="3VwM5b5Y9nc" role="3clFbG" />
+          </node>
+        </node>
+        <node concept="2AHcQZ" id="3VwM5b5Y8gl" role="2AJF6D">
+          <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+        </node>
+      </node>
       <node concept="2tJIrI" id="2gw7OvgCYfi" role="jymVt" />
       <node concept="3clFb_" id="2gw7OvgCXBL" role="jymVt">
         <property role="TrG5h" value="hasErrors" />
@@ -814,6 +1007,20 @@
         </node>
       </node>
       <node concept="2tJIrI" id="2gw7OvgCZtw" role="jymVt" />
+      <node concept="3clFb_" id="3VwM5b5Y9Zf" role="jymVt">
+        <property role="TrG5h" value="isTrivial" />
+        <node concept="10P_77" id="3VwM5b5Y9Zg" role="3clF45" />
+        <node concept="3Tm1VV" id="3VwM5b5Y9Zh" role="1B3o_S" />
+        <node concept="3clFbS" id="3VwM5b5Y9Zj" role="3clF47">
+          <node concept="3clFbF" id="3VwM5b5Y9Zm" role="3cqZAp">
+            <node concept="3clFbT" id="3VwM5b5Y9Zl" role="3clFbG" />
+          </node>
+        </node>
+        <node concept="2AHcQZ" id="3VwM5b5Y9Zk" role="2AJF6D">
+          <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+        </node>
+      </node>
+      <node concept="2tJIrI" id="3VwM5b5Ybak" role="jymVt" />
       <node concept="3clFb_" id="2gw7OvgCYG$" role="jymVt">
         <property role="TrG5h" value="hasErrors" />
         <node concept="10P_77" id="2gw7OvgCYG_" role="3clF45" />