From a58caa24ef95642f6ac66464f21d71543c32e166 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 11 Jun 2018 19:15:46 +0200 Subject: [PATCH] Drop support for HandlingStage. Stages no longer necessary in presence of queries. --- .../models/types.mps | 2 - .../jetbrains.mps.typechecking@tests.mps | 116 +- .../models/ui.plugin.mps | 330 +-- .../models/service.mps | 560 ++--- .../generator/template/main@generator.mps | 1549 ++++-------- .../languageModels/editor.mps | 31 - .../languageModels/structure.mps | 13 +- ...brains.mps.lang.typesystem2.evaluation.mps | 2230 ++++------------- .../jetbrains.mps.lang.typesystem2.rule.mps | 163 +- 9 files changed, 1483 insertions(+), 3511 deletions(-) diff --git a/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps index 9c703d95..e626a6af 100644 --- a/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps +++ b/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps @@ -166,7 +166,6 @@ - @@ -706,7 +705,6 @@ - diff --git a/typechecking/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps b/typechecking/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps index b141f29c..076cb009 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps @@ -50,15 +50,6 @@ - - - - - - - - - @@ -98,9 +89,6 @@ - - - @@ -135,7 +123,6 @@ - @@ -190,12 +177,6 @@ - - - - - - @@ -1024,69 +1005,54 @@ - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + - - - - - - - - - - - - - - - - - diff --git a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps index 8764c97a..054d92bd 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps @@ -640,14 +640,6 @@ - - - - - - - - @@ -26053,13 +26045,8 @@ - - - - - - - + + @@ -26126,16 +26113,11 @@ - - - - - - - - - - + + + + + @@ -29220,10 +29202,8 @@ - - - - + + @@ -29253,18 +29233,13 @@ - - - - - - - - + + + - + @@ -29272,23 +29247,6 @@ - - - - - - - - - - - - - - - - - @@ -29299,161 +29257,131 @@ - - - - - - - - - - - - - - - + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + diff --git a/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps b/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps index fdfbae2f..17a3c372 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps @@ -431,24 +431,12 @@ - - - - - - - - - - - - @@ -2241,34 +2229,9 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -2299,10 +2262,8 @@ - - - - + + @@ -2357,12 +2318,7 @@ - - - - - - + @@ -2371,6 +2327,9 @@ + + + @@ -2619,95 +2578,65 @@ - - - - + + + + + + + - - - - - + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - + + + + + + + - - - - - - - - - + + + + + + + + + - - - - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - + + @@ -2715,192 +2644,192 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - + + - - - - - - - + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - + + + + + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + - - - - - - - - - - - - - - - - - - - - - + + @@ -2908,28 +2837,28 @@ - - - - + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - + + + + + + @@ -2989,10 +2918,8 @@ - - - - + + @@ -4011,14 +3938,9 @@ - - - - - - - - + + + @@ -4028,7 +3950,7 @@ - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps index c005fd2c..edcaaf4a 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps @@ -583,7 +583,6 @@ - @@ -717,7 +716,6 @@ - @@ -893,11 +891,6 @@ - - - - - @@ -908,131 +901,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -16187,54 +16055,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -20124,697 +19944,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -20949,78 +20078,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -21054,60 +20111,131 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -21117,14 +20245,19 @@ - - - - - - - - + + + + + + + + + + + + + @@ -21132,15 +20265,18 @@ - - - - + + + + + + + - - - - + + + + @@ -21149,6 +20285,21 @@ + + + + + + + + + + + + + + + @@ -21188,15 +20339,394 @@ - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -21206,6 +20736,9 @@ + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps index 570cb4a9..1f243a3c 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps @@ -232,7 +232,6 @@ - @@ -1123,19 +1122,6 @@ - - - - - - - - - - - - - @@ -6785,23 +6771,6 @@ - - - - - - - - - - - - - - - - - diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps index 89dc0cb2..bfee4baf 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps @@ -89,12 +89,6 @@ - - - - - - @@ -1612,12 +1606,6 @@ - - - - - - @@ -1665,6 +1653,7 @@ + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains.mps.lang.typesystem2.evaluation.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains.mps.lang.typesystem2.evaluation.mps index d8cd9b34..caf19e7d 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains.mps.lang.typesystem2.evaluation.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains.mps.lang.typesystem2.evaluation.mps @@ -469,8 +469,6 @@ - - @@ -3044,20 +3042,20 @@ - + - - + + - - - - + + + + - + @@ -3070,16 +3068,11 @@ - - - - - - - - - - + + + + + @@ -3090,32 +3083,22 @@ - - - - - - - - - - + + + + + - - - - - - - - - - + + + + + @@ -3200,16 +3183,11 @@ - - - - - - - - - - + + + + + @@ -3253,17 +3231,12 @@ - - - - - - - - + + + @@ -3271,16 +3244,11 @@ - - - - - - - - - - + + + + + @@ -3331,16 +3299,11 @@ - - - - - - - - - - + + + + + @@ -3351,32 +3314,22 @@ - - - - - - - - - - + + + + + - - - - - - - - - - + + + + + @@ -3391,16 +3344,11 @@ - - - - - - - - - - + + + + + @@ -3431,16 +3379,11 @@ - - - - - - - - - - + + + + + @@ -3535,7 +3478,7 @@ - + @@ -3544,9 +3487,8 @@ - - - + + @@ -3574,6 +3516,7 @@ + @@ -3590,187 +3533,23 @@ - + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + @@ -3798,10 +3577,12 @@ - - - - + + + + + + @@ -3842,16 +3623,11 @@ - - - - - - - - - - + + + + + @@ -3879,16 +3655,11 @@ - - - - - - - - - - + + + + + @@ -3934,21 +3705,16 @@ - - - - - - - - - - - - - - - + + + + + + + + + + @@ -3985,13 +3751,8 @@ - - - - - - - + + @@ -4009,198 +3770,35 @@ - - + + - - - - - - - - + + + + + + + + + + + - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -4212,16 +3810,11 @@ - - - - - - - - - - + + + + + @@ -4231,16 +3824,11 @@ - - - - - - - - - - + + + + + @@ -4248,25 +3836,6 @@ - - - - - - - - - - - - - - - - - - - @@ -5774,20 +5343,15 @@ - - - - - - - - + + + - + @@ -5892,53 +5456,16 @@ - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - @@ -5967,8 +5494,8 @@ - - + + @@ -6003,89 +5530,26 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - - - - - - + + + + - - - @@ -6188,11 +5652,11 @@ - + - + @@ -6223,16 +5687,9 @@ - - - - - - - - - - + + + @@ -6401,21 +5858,8 @@ - - - - - - - - - - - - - - - + + @@ -6464,60 +5908,29 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - - - - - - - - + + - - - @@ -6530,12 +5943,6 @@ - - - - - - @@ -6549,53 +5956,34 @@ - - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - + + + + - - - - - - - - - + + + + - - - - + + + + + + + @@ -7446,14 +6834,10 @@ - - - - - + @@ -7481,7 +6865,7 @@ - + @@ -7903,18 +7287,13 @@ - + - - - - - - - - - - + + + + + @@ -8037,22 +7416,6 @@ - - - - - - - - - - - - - - - - @@ -8064,13 +7427,8 @@ - - - - - - - + + @@ -8219,16 +7577,15 @@ - - - - - - - + + + + + + - + @@ -8437,23 +7794,18 @@ - - - - - - - - - - - + + + + + + - + @@ -8500,315 +7852,252 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + - - - + + + - - + + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + - + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -8816,12 +8105,47 @@ + - - + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8836,21 +8160,9 @@ - - - - - - - - - - - - - - - + + + @@ -8863,76 +8175,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -8951,16 +8193,11 @@ - - - - - - - - - - + + + + + @@ -9339,40 +8576,23 @@ - - - - - - - - - - + + + + + - - - - - - - - + + + - + - - - - - - - - - + + @@ -10266,7 +9486,7 @@ - + @@ -10274,13 +9494,13 @@ - + - + @@ -10304,9 +9524,9 @@ - + - + @@ -10571,9 +9791,9 @@ - + - + @@ -10590,7 +9810,7 @@ - + @@ -10607,10 +9827,10 @@ - + - + @@ -10626,7 +9846,7 @@ - + @@ -10644,7 +9864,7 @@ - + @@ -10695,7 +9915,7 @@ - + @@ -10705,7 +9925,7 @@ - + @@ -10721,27 +9941,12 @@ - + - - - - - - - + + - - - - - - - - - - @@ -11912,111 +11117,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -12150,141 +11250,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -12497,135 +11462,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -12677,52 +11513,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains.mps.lang.typesystem2.rule.mps b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains.mps.lang.typesystem2.rule.mps index 14f9e95a..5942236c 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains.mps.lang.typesystem2.rule.mps +++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains.mps.lang.typesystem2.rule.mps @@ -1690,18 +1690,6 @@ - - - - - - - - - - - - @@ -1930,114 +1918,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2102,34 +1982,25 @@ - - + + - - - - - + + + + + + + - - - - - - - - - - + + - - - - - + + - + @@ -2254,6 +2125,12 @@ + + + + + +