From 992fa68bff4ad2b0a14b7a1ec4dc9d39919620ed Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 9 Nov 2018 17:12:47 +0100 Subject: [PATCH] Ensure that if all the advised errors have been triggered during typechecking. --- .../models/service.mps | 271 +++++++++++++++++- 1 file changed, 270 insertions(+), 1 deletion(-) diff --git a/coderules/solutions/jetbrains.mps.typechecking/models/service.mps b/coderules/solutions/jetbrains.mps.typechecking/models/service.mps index 6cd039f1..1ace1844 100644 --- a/coderules/solutions/jetbrains.mps.typechecking/models/service.mps +++ b/coderules/solutions/jetbrains.mps.typechecking/models/service.mps @@ -59,10 +59,14 @@ + + + + @@ -150,6 +154,7 @@ + @@ -253,14 +258,27 @@ + + + + + + + + + + + + + @@ -284,15 +302,26 @@ + + + + + + + + + + + @@ -303,8 +332,10 @@ + + @@ -319,8 +350,12 @@ + + + + @@ -328,6 +363,7 @@ + @@ -542,6 +578,128 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -733,6 +891,7 @@ + @@ -740,8 +899,30 @@ + + + + + + + + + + + + + + + + + + + + + + + - @@ -763,6 +944,94 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +