From 97353bfd89db3d06bc9afce09c2452bb0a8c853b Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 24 Jan 2020 15:03:44 +0100 Subject: [PATCH] Ensure collected report items are always forwarded from checkRecursively query. --- ...ains.mps.coderules.typechecking.plugin.mps | 659 ++++++++++-------- 1 file changed, 376 insertions(+), 283 deletions(-) diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps index 53cf9937..f11da43d 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps @@ -2,15 +2,15 @@ - - - - - - - - - + + + + + + + + + @@ -136,6 +136,9 @@ + + + @@ -280,6 +283,12 @@ + + + + + + @@ -1470,12 +1479,12 @@ - - + + - - + + @@ -1518,29 +1527,6 @@ - - - - - - - - - - - - - - - - - - - - - - - @@ -1551,6 +1537,29 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -1610,12 +1619,12 @@ - - + + - - + + @@ -1658,32 +1667,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1694,6 +1677,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1769,12 +1778,12 @@ - - + + - - + + @@ -1817,32 +1826,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1853,6 +1836,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1931,12 +1940,12 @@ - - + + - - + + @@ -1999,32 +2008,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2035,6 +2018,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2160,15 +2169,12 @@ - - + + - - - - - + + @@ -2252,37 +2258,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2293,6 +2268,37 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2313,6 +2319,87 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2452,21 +2539,21 @@ - - - + + + - + - - - + + + - + @@ -2484,8 +2571,8 @@ - - + + @@ -2855,141 +2942,147 @@ - - - - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + - - + + - - - - - - - - - - - - - - + + + - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - + + - - - - + + +