From 905e11ac3387d70a530c3c6094477b5ede5dfbdc Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 12 Aug 2020 20:52:47 +0200 Subject: [PATCH] Refactor TypecheckingService API: simplify usage, extract Request. Request is to keep all the parameters of a given API call, whereas TypecheckingService is to handle the state between calls. --- ...rains.mps.coderules.typechecking@tests.mps | 392 +- ...s.mps.coderules.typechecking.ui.plugin.mps | 83 +- ...ains.mps.coderules.typechecking.plugin.mps | 566 +-- ...ins.mps.coderules.typechecking.service.mps | 4060 +++++++++-------- ...s.mps.baseLanguageExt.test.types@tests.mps | 142 +- 5 files changed, 2726 insertions(+), 2517 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 6b96b8d3..059f8db0 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 @@ -529,7 +529,7 @@ - + @@ -544,21 +544,26 @@ - - - - - - - - - - - - + + + + + + + + + + + + + + + + + @@ -585,21 +590,26 @@ - - - - - - - - - - - - + + + + + + + + + + + + + + + + + @@ -640,21 +650,26 @@ - - - - - - - - - - - - + + + + + + + + + + + + + + + + + @@ -679,21 +694,26 @@ - - - - - - - - - - - - + + + + + + + + + + + + + + + + + @@ -4255,7 +4275,7 @@ - + @@ -4300,30 +4320,35 @@ - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - + + + + + + @@ -4345,30 +4370,35 @@ - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - + + + + + + @@ -4464,7 +4494,7 @@ - + @@ -4507,30 +4537,35 @@ - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - + + + + + + @@ -4552,30 +4587,35 @@ - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - + + + + + + @@ -4670,7 +4710,7 @@ - + @@ -4734,15 +4774,20 @@ - - - - - - - - + + + + + + + + + + + + + @@ -4751,15 +4796,20 @@ - - - - - - - - + + + + + + + + + + + + + @@ -4796,18 +4846,23 @@ - - - + + + + + + + + + + + + + + - - - - - - - - + + @@ -4822,18 +4877,23 @@ - - - + + + + + + + + + + + + + + - - - - - - - - + + 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 756d1d52..6e093bbe 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 @@ -2626,59 +2626,54 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - + + + + + + - - - - - - - - + + 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 5f9681e1..3dfb0fa9 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 @@ -128,9 +128,6 @@ - - - @@ -494,8 +491,17 @@ - - + + + + + + + + + + + @@ -991,72 +997,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1556,29 +1496,35 @@ - - - - - - + + + + + + - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + - - - @@ -1646,72 +1592,28 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + @@ -1738,15 +1640,25 @@ - - - - - - - - + + + + + + + + + + + + + + + + + + @@ -1776,64 +1688,24 @@ - - - - - - - - + + + + + - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - + + @@ -1863,63 +1735,23 @@ - - - - - - - + + + + - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - + + @@ -1972,63 +1804,23 @@ - - - - - - - + + + + - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - + + @@ -2136,63 +1928,27 @@ + - - - - - + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -2306,26 +2062,14 @@ - - - - - - - - - - - - - - - - + + + + - + - + @@ -2390,6 +2134,7 @@ + @@ -2403,36 +2148,13 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -2458,18 +2180,11 @@ - - - - - - - - - - - - + + + + + @@ -2485,7 +2200,6 @@ - @@ -6519,7 +6233,7 @@ - + @@ -6725,7 +6439,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 1c69f1c3..a79fe9c4 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 @@ -914,19 +914,11 @@ - - - - - - - - - - - - - + + + + + @@ -946,15 +938,28 @@ - - - - - - - - + + + + + + + + + + + + + + + + + + + + + @@ -1928,15 +1933,20 @@ - - - - - - - - + + + + + + + + + + + + + @@ -1980,15 +1990,20 @@ - - - - - - - - + + + + + + + + + + + + + @@ -6137,6 +6152,7 @@ + @@ -6166,193 +6182,119 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + - - - - - + + - - - - - - - - - + + + + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - + + + + + - + - + - + + + + + + + + + + + + + + + + + - - + @@ -6388,7 +6330,7 @@ - + @@ -6427,7 +6369,7 @@ - + @@ -6564,130 +6506,8 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -6704,7 +6524,7 @@ - + @@ -6715,199 +6535,737 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - + + + + + + + + + - - - - - - - - - - + + + + - + - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + - - - - + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - + + + + + - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7088,6 +7446,15 @@ + + + + + + + + + @@ -7242,6 +7609,9 @@ + + + @@ -7285,17 +7655,24 @@ - + + + + + + + + - + @@ -7443,6 +7820,9 @@ + + + @@ -7519,6 +7899,15 @@ + + + + + + + + + @@ -7528,7 +7917,7 @@ - + @@ -7592,7 +7981,6 @@ - @@ -7611,6 +7999,9 @@ + + + @@ -7622,12 +8013,13 @@ + - + @@ -7644,6 +8036,13 @@ + + + + + + + @@ -7653,7 +8052,7 @@ - + @@ -7745,6 +8144,9 @@ + + + @@ -7756,6 +8158,7 @@ + @@ -7800,12 +8203,19 @@ + + + + + + + - + @@ -7929,6 +8339,9 @@ + + + @@ -7983,34 +8396,15 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + @@ -8038,6 +8432,9 @@ + + + @@ -8067,7 +8464,10 @@ - + + + + @@ -8077,7 +8477,9 @@ - + + + @@ -8095,6 +8497,13 @@ + + + + + + + @@ -8146,6 +8555,9 @@ + + + @@ -8201,7 +8613,10 @@ - + + + + @@ -8211,7 +8626,9 @@ - + + + @@ -8305,6 +8722,13 @@ + + + + + + + @@ -8378,7 +8802,9 @@ - + + + @@ -8399,7 +8825,9 @@ - + + + @@ -8438,7 +8866,9 @@ - + + + @@ -8511,6 +8941,9 @@ + + + @@ -8535,7 +8968,10 @@ - + + + + @@ -8574,6 +9010,13 @@ + + + + + + + @@ -8630,6 +9073,9 @@ + + + @@ -8663,6 +9109,13 @@ + + + + + + + @@ -8739,6 +9192,9 @@ + + + @@ -8751,7 +9207,9 @@ - + + + @@ -8770,6 +9228,13 @@ + + + + + + + @@ -8813,6 +9278,9 @@ + + + @@ -8825,7 +9293,9 @@ - + + + @@ -8844,6 +9314,13 @@ + + + + + + + @@ -9046,118 +9523,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -9178,7 +9543,7 @@ - + @@ -9188,1113 +9553,7 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -10302,16 +9561,6 @@ - - - - - - - - - - @@ -10319,13 +9568,6 @@ - - - - - - - @@ -10333,15 +9575,6 @@ - - - - - - - - - @@ -17579,9 +16812,10 @@ - - - + + + + @@ -17592,11 +16826,11 @@ - + - + @@ -17632,8 +16866,13 @@ - - + + + + + + + @@ -17783,16 +17022,26 @@ - - + + + + + + + - - + + + + + + + @@ -17887,8 +17136,13 @@ - - + + + + + + + @@ -17927,8 +17181,13 @@ - - + + + + + + + @@ -18071,10 +17330,10 @@ - + - + @@ -18119,10 +17378,10 @@ - + - + @@ -18164,10 +17423,15 @@ - - + + + + + + + - + @@ -18238,10 +17502,11 @@ - + - - + + + @@ -18251,9 +17516,10 @@ - - - + + + + @@ -18268,7 +17534,7 @@ - + @@ -18437,9 +17703,10 @@ - - - + + + + @@ -18460,7 +17727,7 @@ - + @@ -18758,8 +18025,13 @@ - - + + + + + + + @@ -18825,8 +18097,13 @@ - - + + + + + + + @@ -19064,10 +18341,15 @@ - - + + + + + + + - + @@ -19075,10 +18357,10 @@ - + - + @@ -19132,9 +18414,10 @@ - - - + + + + @@ -19155,7 +18438,7 @@ - + @@ -19313,8 +18596,13 @@ - - + + + + + + + @@ -19347,9 +18635,10 @@ - - - + + + + @@ -19378,7 +18667,7 @@ - + @@ -19657,10 +18946,15 @@ - - + + + + + + + - + @@ -19708,10 +19002,15 @@ - - + + + + + + + - + @@ -19757,9 +19056,10 @@ - - - + + + + @@ -19776,7 +19076,7 @@ - + @@ -19951,10 +19251,15 @@ - - + + + + + + + - + @@ -20288,10 +19593,10 @@ - + - + @@ -20449,10 +19754,15 @@ - - + + + + + + + - + @@ -20460,10 +19770,10 @@ - + - + @@ -20515,5 +19825,1105 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 d8fe2faf..230d0b0b 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 @@ -456,7 +456,7 @@ - + @@ -542,15 +542,20 @@ - - - - - - - - + + + + + + + + + + + + + @@ -571,18 +576,23 @@ - - - + + + + + + + + + + + + + + - - - - - - - - + + @@ -686,14 +696,19 @@ - - - - - - - + + + + + + + + + + + + @@ -714,18 +729,23 @@ - - - + + + + + + + + + + + + + + - - - - - - - - + + @@ -819,14 +839,19 @@ - - - - - - - + + + + + + + + + + + + @@ -852,18 +877,23 @@ - - - + + + + + + + + + + + + + + - - - - - - - - + +