From 598b7e596b4f6175bf4ef092639cb716c873bd35 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 3 Jul 2020 16:32:17 +0200 Subject: [PATCH] Refactor TypecheckingService to do all error reporting. Fix isRelevant logic. Use the same logic for TypecheckingProvider.isRelevant() as in AspectLookup with additional test for directly imported languages. --- .../jetbrains.mps.lang.coderules.eval.mps | 31 + ...ains.mps.coderules.typechecking.plugin.mps | 1747 +++++------------ ...ins.mps.coderules.typechecking.service.mps | 976 ++++++++- 3 files changed, 1398 insertions(+), 1356 deletions(-) diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps index b313a030..70782e44 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps @@ -876,6 +876,37 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 c1101690..e82a6a6b 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 @@ -112,9 +112,6 @@ - - - @@ -125,20 +122,12 @@ - - - - - - - - @@ -184,9 +173,6 @@ - - - @@ -201,13 +187,6 @@ - - - - - - - @@ -218,9 +197,6 @@ - - - @@ -252,14 +228,11 @@ - - - @@ -284,7 +257,6 @@ - @@ -323,14 +295,6 @@ - - - - - - - - @@ -351,7 +315,14 @@ - + + + + + + + + @@ -397,21 +368,18 @@ + - - - - - + @@ -677,42 +645,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -729,6 +661,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -758,69 +716,75 @@ + + + + + + + + + + + + + + + + - - - - + + + + + + + + + - - + + + + + + + - - - + + + + + + - - + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - + @@ -845,7 +809,7 @@ - + @@ -866,24 +830,16 @@ - - - - + + + + - - - - - - - - - - - - - + + + + + @@ -904,7 +860,7 @@ - + @@ -912,6 +868,7 @@ + @@ -930,7 +887,7 @@ - + @@ -951,36 +908,56 @@ - - - - + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -999,7 +976,6 @@ - @@ -1046,7 +1022,7 @@ - + @@ -1073,34 +1049,36 @@ - - - - + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - + + + + @@ -1311,7 +1289,7 @@ - + @@ -1365,6 +1343,113 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1764,120 +1849,50 @@ - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - + + + + + @@ -1904,137 +1919,56 @@ - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + + - - - - - - @@ -2063,137 +1997,56 @@ - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + + - - - - - - @@ -2225,33 +2078,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2273,109 +2099,55 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + + - - - - - - @@ -2441,33 +2213,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2516,93 +2261,50 @@ - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - + + + + - - - @@ -2850,378 +2552,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -3235,145 +2565,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 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 2e1bd2f6..13dc5922 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 @@ -57,7 +57,8 @@ - + + @@ -78,6 +79,9 @@ + + + @@ -100,6 +104,7 @@ + @@ -190,6 +195,9 @@ + + + @@ -229,6 +237,8 @@ + + @@ -238,6 +248,7 @@ + @@ -271,7 +282,6 @@ - @@ -496,6 +506,8 @@ + + @@ -512,6 +524,9 @@ + + + @@ -5692,22 +5707,30 @@ - - - - - - - - + + + + + + + + + + + + + + + + - - - - + + + + @@ -5791,8 +5814,19 @@ - - + + + + + + + + + + + + + @@ -5878,8 +5912,19 @@ - - + + + + + + + + + + + + + @@ -5929,7 +5974,7 @@ - + @@ -5963,7 +6008,7 @@ - + @@ -6567,6 +6612,40 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7609,6 +7688,9 @@ + + + @@ -7747,6 +7829,9 @@ + + + @@ -7868,6 +7953,9 @@ + + + @@ -8248,11 +8336,15 @@ + + + + @@ -8833,8 +8925,8 @@ - - + + @@ -8889,8 +8981,8 @@ - - + + @@ -8906,15 +8998,15 @@ - - - - + + + + @@ -8924,14 +9016,14 @@ - + - + @@ -9310,6 +9402,23 @@ + + + + + + + + + + + + + + + + + @@ -9326,7 +9435,6 @@ - @@ -10653,6 +10761,10 @@ + + + + @@ -10696,6 +10808,19 @@ + + + + + + + + + + + + + @@ -10704,16 +10829,35 @@ + + + + + + + + + + + - + - + + + + + + + + + @@ -10734,29 +10878,64 @@ - - - - + + + + + + + + + - - - - - + + + + + + + + + + - - + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - @@ -10773,25 +10952,7 @@ - - - - - - - - - - - - - - - - - - - + @@ -10804,12 +10965,14 @@ - - - - + + + + + + @@ -10832,11 +10995,23 @@ - + + + + + + + + + + + + + @@ -10852,6 +11027,633 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10864,7 +11666,7 @@ - + @@ -10887,6 +11689,11 @@ + + + + + @@ -10920,18 +11727,31 @@ + + + + + + + + + + + + + + + + - - - - - - + + +