diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps index 8fa0fab7..cdc5ffee 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps @@ -1323,7 +1323,7 @@ - + @@ -1352,12 +1352,14 @@ - + + + @@ -1396,12 +1398,17 @@ - - - + + + + + + + + - - + + @@ -1423,7 +1430,7 @@ - + @@ -1443,7 +1450,7 @@ - + @@ -1505,7 +1512,7 @@ - + @@ -1554,6 +1561,19 @@ + + + + + + + + + + + + + @@ -2626,7 +2646,6 @@ - @@ -2643,6 +2662,18 @@ + + + + + + + + + + + + @@ -2660,37 +2691,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -3029,6 +3029,18 @@ + + + + + + + + + + + + @@ -3454,8 +3466,8 @@ - - + + @@ -3514,7 +3526,7 @@ - + @@ -3830,8 +3842,8 @@ - - + + @@ -3847,8 +3859,8 @@ - - + + @@ -4118,251 +4130,5 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps index f9a992bb..e2bdead7 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps @@ -783,6 +783,23 @@ + + + + + + + + + + + + + + + + + @@ -3584,6 +3601,10 @@ + + + + @@ -3593,6 +3614,19 @@ + + + + + + + + + + + + + @@ -3643,6 +3677,75 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3829,24 +3932,6 @@ - - - - - - - - - - - - - - - - - - @@ -3880,6 +3965,21 @@ + + + + + + + + + + + + + + + @@ -3900,25 +4000,6 @@ - - - - - - - - - - - - - - - - - - - @@ -3935,6 +4016,18 @@ + + + + + + + + + + + + @@ -4449,7 +4542,10 @@ - + + + + @@ -4467,83 +4563,29 @@ - - - - - + + + + + + - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - @@ -4782,7 +4824,7 @@ - + @@ -4808,56 +4850,28 @@ - - - - + + + + - - - + + + + + - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + @@ -4868,7 +4882,7 @@ - + @@ -4878,7 +4892,7 @@ - + @@ -4899,7 +4913,7 @@ - + @@ -4951,6 +4965,7 @@ + @@ -5125,14 +5140,10 @@ - + - - - - - - + + @@ -5140,6 +5151,10 @@ + + + + @@ -5156,6 +5171,9 @@ + + + @@ -5223,24 +5241,17 @@ - - - - + + + + - - - - - - - - - - + + + @@ -5250,6 +5261,20 @@ + + + + + + + + + + + + + + @@ -5296,6 +5321,9 @@ + + + @@ -5334,6 +5362,7 @@ + @@ -5491,6 +5520,10 @@ + + + + @@ -5548,6 +5581,9 @@ + + + diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps index 6d25b883..ef3c4864 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps @@ -503,11 +503,16 @@ + + + + + @@ -1269,22 +1274,21 @@ - + - - - - - + + + + - + @@ -1957,9 +1961,7 @@ - - - + @@ -2060,9 +2062,7 @@ - - - + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps index 2122fea4..f3ca949f 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps @@ -2566,7 +2566,7 @@ - +