From 4ccbff779f01e344b33ea483e531fff5798bf7ae Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 17 Nov 2021 18:47:09 +0100 Subject: [PATCH] Refactoring in the UI: merging tool windows into one --- ...s.mps.coderules.typechecking.ui.plugin.mps | 590 +++-- ...ins.mps.coderules.typechecking.service.mps | 161 +- .../jetbrains.mps.coderules.ui.msd | 4 +- .../models/plugin.mps | 1987 +++++++++-------- .../jetbrains.mps.coderules/models/plugin.mps | 21 - .../models/service.mps | 310 ++- .../models/plugin.mps | 599 +++-- .../jetbrains.mps.controlflow.msd | 7 + .../models/service.mps | 44 + 9 files changed, 2423 insertions(+), 1300 deletions(-) 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 efb4b036..412fead2 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 @@ -65,6 +65,8 @@ + + @@ -386,6 +388,7 @@ + @@ -401,6 +404,7 @@ + @@ -1673,9 +1677,20 @@ + + + + + + + + + + + + - @@ -1683,153 +1698,64 @@ - - - + + + + + + + + + + + - + - + - - - - - + + + + + + - - - - - - - - - - - - + + + + + + + - - - - - + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - @@ -3705,7 +3631,407 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 0d266e95..0047fef7 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 @@ -5542,7 +5542,6 @@ - @@ -5567,6 +5566,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -5650,17 +5673,6 @@ - - - - - - - - - - - @@ -5677,7 +5689,6 @@ - @@ -5755,7 +5766,6 @@ - @@ -5778,23 +5788,49 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - @@ -5812,7 +5848,7 @@ - + @@ -5851,6 +5887,18 @@ + + + + + + + + + + + + @@ -5993,55 +6041,14 @@ - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd b/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd index eb08128a..748f6818 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd +++ b/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd @@ -30,13 +30,14 @@ + - + @@ -48,6 +49,7 @@ + diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps index fc4378de..40c62288 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps @@ -14,6 +14,8 @@ + + @@ -120,6 +122,7 @@ + @@ -129,6 +132,7 @@ + @@ -507,6 +511,26 @@ + + + + + + + + + + + + + + + + + + + + @@ -2731,6 +2755,26 @@ + + + + + + + + + + + + + + + + + + + + @@ -8749,7 +8793,7 @@ - + @@ -8768,7 +8812,7 @@ - + @@ -8838,7 +8882,7 @@ - + @@ -8878,7 +8922,7 @@ - + @@ -9231,7 +9275,7 @@ - + @@ -12159,7 +12203,7 @@ - + @@ -12491,7 +12535,7 @@ - + @@ -13060,7 +13104,7 @@ - + @@ -13442,7 +13486,7 @@ - + @@ -13713,7 +13757,7 @@ - + @@ -13961,7 +14005,7 @@ - + @@ -17905,7 +17949,7 @@ - + @@ -18062,7 +18106,7 @@ - + @@ -20152,40 +20196,25 @@ - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + - @@ -24641,16 +24670,6 @@ - - - - - - - - - - @@ -24926,7 +24945,7 @@ - + @@ -24975,7 +24994,7 @@ - + @@ -24987,7 +25006,7 @@ - + @@ -25118,6 +25137,54 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -25149,7 +25216,7 @@ - + @@ -25161,7 +25228,7 @@ - + @@ -25212,7 +25279,7 @@ - + @@ -25224,7 +25291,7 @@ - + @@ -25299,10 +25366,53 @@ - + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -25326,7 +25436,7 @@ - + @@ -25400,8 +25510,19 @@ - - + + + + + + + + + + + + + @@ -25530,814 +25651,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -26350,7 +25663,7 @@ - + @@ -29005,6 +28318,31 @@ + + + + + + + + + + + + + + + + + + + + + + + + + @@ -29176,11 +28514,14 @@ - - - + + + + + + + - @@ -31834,38 +31175,24 @@ - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + @@ -32041,5 +31368,855 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps index e9ed39aa..18aa36a8 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps @@ -716,27 +716,6 @@ - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps index d936e74d..521de1ec 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps @@ -330,6 +330,11 @@ + + + + + @@ -4612,6 +4617,142 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8072,12 +8213,21 @@ - - + + + + + + + + + + + @@ -8094,8 +8244,8 @@ - - + + @@ -8144,6 +8294,93 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8213,8 +8450,8 @@ - - + + @@ -8230,6 +8467,25 @@ + + + + + + + + + + + + + + + + + + + @@ -9016,38 +9272,24 @@ - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps index 38003de7..790b5253 100644 --- a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps @@ -38,7 +38,11 @@ + + + + @@ -106,6 +110,9 @@ + + + @@ -214,6 +221,12 @@ + + + + + + @@ -288,6 +301,7 @@ + @@ -1218,7 +1232,404 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1673,6 +2084,17 @@ + + + + + + + + + + + @@ -1688,144 +2110,61 @@ - - - - + + + + + - + - + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + diff --git a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd index 72fc0c7f..f804e896 100644 --- a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd +++ b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd @@ -16,6 +16,7 @@ f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime) + 760a0a8c-eabb-4521-8bfd-65db761a9ba3(jetbrains.mps.baseLanguage.logging) @@ -33,11 +34,17 @@ + + + + + + diff --git a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps index ca6f407e..9dbfcd78 100644 --- a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps +++ b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps @@ -21,6 +21,9 @@ + + + @@ -186,6 +189,23 @@ + + + + + + + + + + + + + + + + + @@ -210,6 +230,30 @@ + + + + + + + + + + + + + + + + + + + + + + + +