From 0663921ecd2e71046e976a576cb8d8186278d57d Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 15 Jul 2022 19:46:13 +0200 Subject: [PATCH] Refactoring in TypecheckingService; simplifying code Request is no longer dependent on `TypecheckingService`. Only single request can be processed at a time, which helps prevent recursion. All facade method in `TypecheckingService` now return instance of `Response` instead. --- ...rains.mps.coderules.typechecking@tests.mps | 27 +- ...s.mps.coderules.typechecking.ui.plugin.mps | 4 +- ...ains.mps.coderules.typechecking.plugin.mps | 37 +- ...ins.mps.coderules.typechecking.service.mps | 3292 +++++++++-------- ...s.mps.baseLanguageExt.test.types@tests.mps | 12 +- 5 files changed, 1768 insertions(+), 1604 deletions(-) diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps index 6ec4b9b8..81e1ebe2 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps @@ -2777,6 +2777,9 @@ + + + @@ -3917,7 +3920,7 @@ - + @@ -3967,7 +3970,7 @@ - + @@ -4148,7 +4151,7 @@ - + @@ -4198,7 +4201,7 @@ - + @@ -4402,7 +4405,7 @@ - + @@ -4424,7 +4427,7 @@ - + @@ -4478,7 +4481,7 @@ - + @@ -4510,7 +4513,7 @@ - + @@ -4780,7 +4783,7 @@ - + @@ -4826,7 +4829,7 @@ - + @@ -4886,7 +4889,7 @@ - + @@ -4930,7 +4933,7 @@ - + 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 e4d60e34..24ddb03b 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 @@ -753,7 +753,7 @@ - + @@ -2506,7 +2506,7 @@ - + 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 5d1a3806..49506dfd 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 @@ -1582,6 +1582,9 @@ + + + @@ -1690,6 +1693,9 @@ + + + @@ -2171,6 +2177,12 @@ + + + + + + @@ -2185,6 +2197,9 @@ + + + @@ -2397,7 +2412,7 @@ - + @@ -2450,7 +2465,7 @@ - + @@ -2561,7 +2576,7 @@ - + @@ -2627,7 +2642,7 @@ - + @@ -2695,7 +2710,7 @@ - + @@ -2742,7 +2757,7 @@ - + @@ -2837,7 +2852,7 @@ - + @@ -2879,7 +2894,7 @@ - + @@ -3328,7 +3343,7 @@ - + @@ -3367,7 +3382,7 @@ - + @@ -3521,7 +3536,7 @@ - + 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 f63b1b63..bd345f0b 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 @@ -1037,27 +1037,50 @@ - - - - - - - - - - - + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -2044,7 +2067,7 @@ - + @@ -2106,7 +2129,7 @@ - + @@ -6585,6 +6608,9 @@ + + + @@ -6647,6 +6673,9 @@ + + + @@ -6811,47 +6840,302 @@ - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + - - - - @@ -6860,10 +7144,7 @@ - - - - + @@ -6886,44 +7167,29 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - + + + + + + + + + + + + + + - - - - @@ -6932,10 +7198,7 @@ - - - - + @@ -6961,44 +7224,29 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - + + + + + + + + + + + + + + - - - - @@ -7007,10 +7255,7 @@ - - - - + @@ -7031,42 +7276,27 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - + + + + + + + + + + + + - - - - @@ -7083,10 +7313,7 @@ - - - - + @@ -7114,54 +7341,39 @@ - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - @@ -7176,10 +7388,7 @@ - - - - + @@ -7205,54 +7414,39 @@ - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - @@ -7267,10 +7461,7 @@ - - - - + @@ -7301,10 +7492,7 @@ - - - - + @@ -7334,21 +7522,17 @@ - - - - - + + + + + - + - - - - @@ -7367,37 +7551,31 @@ - - - - + - - - - + + + + + - + - + - + - - - - @@ -7628,6 +7806,12 @@ + + + + + + @@ -7657,7 +7841,6 @@ - @@ -8238,6 +8421,12 @@ + + + + + + @@ -8271,6 +8460,34 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -9390,6 +9607,14 @@ + + + + + + + + @@ -12414,6 +12639,18 @@ + + + + + + + + + + + + @@ -12430,6 +12667,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12461,18 +12724,8 @@ - - - - - - - - - - - - + + @@ -12623,31 +12876,11 @@ - - - - - - - - - - - - + + - - - - - - - - - - - - + + @@ -13091,6 +13324,22 @@ + + + + + + + + + + + + + + + + @@ -13109,6 +13358,18 @@ + + + + + + + + + + + + @@ -13117,6 +13378,12 @@ + + + + + + @@ -13206,18 +13473,8 @@ - - - - - - - - - - - - + + @@ -13501,6 +13758,18 @@ + + + + + + + + + + + + @@ -13521,6 +13790,12 @@ + + + + + + @@ -13789,18 +14064,8 @@ - - - - - - - - - - - - + + @@ -13860,18 +14125,8 @@ - - - - - - - - - - - - + + @@ -14145,6 +14400,18 @@ + + + + + + + + + + + + @@ -14161,6 +14428,12 @@ + + + + + + @@ -14347,18 +14620,8 @@ - - - - - - - - - - - - + + @@ -14416,18 +14679,8 @@ - - - - - - - - - - - - + + @@ -14788,6 +15041,18 @@ + + + + + + + + + + + + @@ -14844,6 +15109,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15170,18 +15461,8 @@ - - - - - - - - - - - - + + @@ -15200,18 +15481,8 @@ - - - - - - - - - - - - + + @@ -15871,18 +16142,8 @@ - - - - - - - - - - - - + + @@ -15895,18 +16156,8 @@ - - - - - - - - - - - - + + @@ -15942,6 +16193,22 @@ + + + + + + + + + + + + + + + + @@ -16291,201 +16558,10 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -16494,6 +16570,24 @@ + + + + + + + + + + + + + + + + + + @@ -16513,12 +16607,21 @@ + + + + + + + + + @@ -16547,25 +16650,15 @@ - - - - - - - - - - - - - - - - + + + + + + @@ -16578,13 +16671,8 @@ - - - - - - - + + @@ -16860,13 +16948,8 @@ - - - - - - - + + @@ -16883,8 +16966,8 @@ - - + + @@ -16921,19 +17004,14 @@ - - - - - - - - - + + + + - + @@ -16956,16 +17034,6 @@ - - - - - - - - - - @@ -16976,13 +17044,6 @@ - - - - - - - @@ -17147,6 +17208,28 @@ + + + + + + + + + + + + + + + + + + + + + + @@ -17391,12 +17474,6 @@ - - - - - - @@ -17436,13 +17513,8 @@ - - - - - - - + + @@ -17456,13 +17528,8 @@ - - - - - - - + + @@ -17487,6 +17554,20 @@ + + + + + + + + + + + + + + @@ -17497,13 +17578,8 @@ - - - - - - - + + @@ -17660,10 +17736,34 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -17749,6 +17849,9 @@ + + + @@ -17868,13 +17971,8 @@ - - - - - - - + + @@ -17888,13 +17986,8 @@ - - - - - - - + + @@ -17919,6 +18012,20 @@ + + + + + + + + + + + + + + @@ -17929,13 +18036,8 @@ - - - - - - - + + @@ -18135,16 +18237,34 @@ - - - - + + + + + + + + + + + + + + + + + + + + + + @@ -18159,6 +18279,9 @@ + + + @@ -18243,12 +18366,6 @@ - - - - - - @@ -18259,13 +18376,8 @@ - - - - - - - + + @@ -18312,6 +18424,141 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -18319,28 +18566,24 @@ - - - - - + + + - - - - + + + + + + + - - - - - - + @@ -18429,153 +18672,24 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - + + + + - - - - + + + + - - - - - @@ -18651,13 +18765,8 @@ - - - - - - - + + @@ -18700,6 +18809,85 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -18707,27 +18895,46 @@ - - - - + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + @@ -18875,120 +19082,24 @@ - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - + + + + - - - - - - - - - - @@ -19157,13 +19268,8 @@ - - - - - - - + + @@ -19206,6 +19312,85 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -19213,27 +19398,46 @@ - - - - + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + @@ -19380,119 +19584,24 @@ - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - + + + + - - - - - - - - - - - @@ -19644,12 +19753,6 @@ - - - - - - @@ -19665,13 +19768,8 @@ - - - - - - - + + @@ -19714,6 +19812,113 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -19723,28 +19928,24 @@ - - - - + + + - - - - + + + + + + + - - - - - - - + @@ -19831,121 +20032,24 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - + + + + - - - - + + + + - - - - - - - @@ -20016,17 +20120,131 @@ - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -20039,118 +20257,26 @@ + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -20231,6 +20357,12 @@ + + + + + + @@ -20271,6 +20403,12 @@ + + + + + + @@ -20338,11 +20476,17 @@ + + + + + + @@ -20356,6 +20500,12 @@ + + + + + + @@ -20393,6 +20543,24 @@ + + + + + + + + + + + + + + + + + + @@ -20493,12 +20661,6 @@ - - - - - - @@ -20514,13 +20676,8 @@ - - - - - - - + + @@ -20558,6 +20715,114 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -20567,28 +20832,24 @@ - - - - - + + + - - - - + + + + + + + - - - - - - + @@ -20676,141 +20937,26 @@ + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps index 00824682..ababe2c5 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps @@ -561,7 +561,7 @@ - + @@ -599,7 +599,7 @@ - + @@ -715,7 +715,7 @@ - + @@ -753,7 +753,7 @@ - + @@ -859,7 +859,7 @@ - + @@ -902,7 +902,7 @@ - +