From 1fc3c1b0954609547c229d214840fe1c61dbf5a9 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Tue, 25 Jun 2024 16:33:34 +0200 Subject: [PATCH] Make CR widget a standard component; Drop dedicated settings --- build.xml | 99 +- .../models/jetbrains.mps.coderules.build.mps | 297 +++- .../icons/codeRules.svg | 0 .../icons/codeRulesOff.svg | 0 .../icons/codeRulesOff_newui.svg | 0 .../icons/codeRulesOff_newui_dark.svg | 0 .../icons/codeRules_newui.svg | 0 .../icons/codeRules_newui_dark.svg | 0 .../jetbrains.mps.coderules.ideaplugin.msd | 7 +- .../jetbrains.mps.coderules.ideaplugin.mps | 1549 ++++++++++++++--- .../jetbrains.mps.coderules.test.msd | 3 - .../jetbrains.mps.coderules.plugin@tests.mps | 5 +- .../models/modelcheck@tests.mps | 21 +- ...rains.mps.coderules.typechecking@tests.mps | 6 +- .../jetbrains.mps.coderules.typechecking.msd | 2 - ...ains.mps.coderules.typechecking.plugin.mps | 1460 +--------------- ...ins.mps.coderules.typechecking.service.mps | 1475 +++++++--------- .../jetbrains.mps.coderules.msd | 1 - .../models/service.mps | 3 +- 19 files changed, 2210 insertions(+), 2718 deletions(-) rename coderules/solutions/{jetbrains.mps.coderules.typechecking => jetbrains.mps.coderules.ideaplugin}/icons/codeRules.svg (100%) rename coderules/solutions/{jetbrains.mps.coderules.typechecking => jetbrains.mps.coderules.ideaplugin}/icons/codeRulesOff.svg (100%) rename coderules/solutions/{jetbrains.mps.coderules.typechecking => jetbrains.mps.coderules.ideaplugin}/icons/codeRulesOff_newui.svg (100%) rename coderules/solutions/{jetbrains.mps.coderules.typechecking => jetbrains.mps.coderules.ideaplugin}/icons/codeRulesOff_newui_dark.svg (100%) rename coderules/solutions/{jetbrains.mps.coderules.typechecking => jetbrains.mps.coderules.ideaplugin}/icons/codeRules_newui.svg (100%) rename coderules/solutions/{jetbrains.mps.coderules.typechecking => jetbrains.mps.coderules.ideaplugin}/icons/codeRules_newui_dark.svg (100%) diff --git a/build.xml b/build.xml index 87050cf0..36796ff7 100644 --- a/build.xml +++ b/build.xml @@ -785,7 +785,6 @@ - @@ -997,9 +996,6 @@ - - - @@ -1479,6 +1475,7 @@ + @@ -1487,6 +1484,7 @@ + @@ -1498,8 +1496,10 @@ + + @@ -1550,7 +1550,6 @@ - @@ -1591,7 +1590,6 @@ - @@ -2044,8 +2042,12 @@
  • Compatible with upcoming 2024.1 release of MPS
  • Bugfixes and optimizations
  • ]]>
    - + + + + + @@ -2069,6 +2071,7 @@ + @@ -2077,6 +2080,7 @@ + @@ -2087,6 +2091,7 @@ + @@ -2349,7 +2354,6 @@ - @@ -2738,6 +2742,7 @@ + @@ -2746,6 +2751,7 @@ + @@ -2757,8 +2763,10 @@ + + @@ -2809,7 +2817,6 @@ - @@ -2850,7 +2857,6 @@ - @@ -3713,8 +3719,12 @@
  • Compatible with upcoming 2024.1 release of MPS
  • Bugfixes and optimizations
  • ]]>
    - + + + + + @@ -3882,6 +3892,7 @@ + @@ -4382,7 +4393,7 @@ - + @@ -4465,13 +4476,11 @@ - - @@ -4479,7 +4488,7 @@ - + @@ -4515,7 +4524,6 @@ - @@ -4566,7 +4574,7 @@ - + @@ -4604,7 +4612,6 @@ - @@ -4655,7 +4662,7 @@ - + @@ -4664,7 +4671,6 @@ - @@ -4687,7 +4693,6 @@ - @@ -4755,7 +4760,7 @@ - + @@ -4764,7 +4769,6 @@ - @@ -4787,7 +4791,6 @@ - @@ -4852,7 +4855,7 @@ - + @@ -4924,8 +4927,6 @@ - - @@ -4937,7 +4938,7 @@ - + @@ -4946,7 +4947,6 @@ - @@ -4968,7 +4968,6 @@ - @@ -5106,7 +5105,7 @@ - + @@ -5115,7 +5114,6 @@ - @@ -5138,7 +5136,6 @@ - @@ -5212,7 +5209,7 @@ - + @@ -5221,7 +5218,6 @@ - @@ -5244,7 +5240,6 @@ - @@ -5303,7 +5298,7 @@ - + @@ -5312,7 +5307,6 @@ - @@ -5379,7 +5373,7 @@ - + @@ -5389,7 +5383,6 @@ - @@ -5412,10 +5405,11 @@ + + - @@ -5796,7 +5790,7 @@ - + @@ -5805,16 +5799,13 @@ - - + - - - + @@ -5822,6 +5813,7 @@ + @@ -5841,13 +5833,15 @@ + + + - @@ -5855,8 +5849,6 @@ - - @@ -5868,7 +5860,7 @@ - + @@ -5877,7 +5869,6 @@ - @@ -5937,7 +5928,7 @@ - + @@ -5947,7 +5938,6 @@ - @@ -5970,7 +5960,6 @@ - diff --git a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps index 6ae6b9e4..83c0ad55 100644 --- a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps +++ b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps @@ -347,15 +347,6 @@ - - - - - - - - - @@ -389,6 +380,136 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -569,6 +690,29 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -1575,7 +1719,6 @@ - @@ -1644,12 +1787,6 @@ - - - - - - @@ -2939,11 +3076,6 @@ - - - - - @@ -3084,11 +3216,6 @@ - - - - - @@ -3110,11 +3237,6 @@ - - - - - @@ -3164,11 +3286,6 @@ - - - - - @@ -3381,7 +3498,32 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3405,32 +3547,7 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -3721,7 +3838,32 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3745,32 +3887,7 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRules.svg b/coderules/solutions/jetbrains.mps.coderules.ideaplugin/icons/codeRules.svg similarity index 100% rename from coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRules.svg rename to coderules/solutions/jetbrains.mps.coderules.ideaplugin/icons/codeRules.svg diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRulesOff.svg b/coderules/solutions/jetbrains.mps.coderules.ideaplugin/icons/codeRulesOff.svg similarity index 100% rename from coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRulesOff.svg rename to coderules/solutions/jetbrains.mps.coderules.ideaplugin/icons/codeRulesOff.svg diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRulesOff_newui.svg b/coderules/solutions/jetbrains.mps.coderules.ideaplugin/icons/codeRulesOff_newui.svg similarity index 100% rename from coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRulesOff_newui.svg rename to coderules/solutions/jetbrains.mps.coderules.ideaplugin/icons/codeRulesOff_newui.svg diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRulesOff_newui_dark.svg b/coderules/solutions/jetbrains.mps.coderules.ideaplugin/icons/codeRulesOff_newui_dark.svg similarity index 100% rename from coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRulesOff_newui_dark.svg rename to coderules/solutions/jetbrains.mps.coderules.ideaplugin/icons/codeRulesOff_newui_dark.svg diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRules_newui.svg b/coderules/solutions/jetbrains.mps.coderules.ideaplugin/icons/codeRules_newui.svg similarity index 100% rename from coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRules_newui.svg rename to coderules/solutions/jetbrains.mps.coderules.ideaplugin/icons/codeRules_newui.svg diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRules_newui_dark.svg b/coderules/solutions/jetbrains.mps.coderules.ideaplugin/icons/codeRules_newui_dark.svg similarity index 100% rename from coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRules_newui_dark.svg rename to coderules/solutions/jetbrains.mps.coderules.ideaplugin/icons/codeRules_newui_dark.svg diff --git a/coderules/solutions/jetbrains.mps.coderules.ideaplugin/jetbrains.mps.coderules.ideaplugin.msd b/coderules/solutions/jetbrains.mps.coderules.ideaplugin/jetbrains.mps.coderules.ideaplugin.msd index 06149bb1..d2bb6476 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ideaplugin/jetbrains.mps.coderules.ideaplugin.msd +++ b/coderules/solutions/jetbrains.mps.coderules.ideaplugin/jetbrains.mps.coderules.ideaplugin.msd @@ -1,10 +1,10 @@ - + - + @@ -16,6 +16,7 @@ 3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations) 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + 3a8d80d2-32d9-f1f2-4443-6a1111e12ef3(MPS.Boot) @@ -24,12 +25,14 @@ + + diff --git a/coderules/solutions/jetbrains.mps.coderules.ideaplugin/models/jetbrains.mps.coderules.ideaplugin.mps b/coderules/solutions/jetbrains.mps.coderules.ideaplugin/models/jetbrains.mps.coderules.ideaplugin.mps index 8fd41652..917194d2 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ideaplugin/models/jetbrains.mps.coderules.ideaplugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.ideaplugin/models/jetbrains.mps.coderules.ideaplugin.mps @@ -8,6 +8,7 @@ + @@ -25,9 +26,26 @@ + + + + + + + + + + + + + + + + + @@ -51,9 +69,6 @@ - - - @@ -65,7 +80,9 @@ - + + + @@ -80,6 +97,7 @@ + @@ -87,6 +105,7 @@ + @@ -98,16 +117,20 @@ + + - + + + @@ -127,6 +150,7 @@ + @@ -135,6 +159,12 @@ + + + + + + @@ -158,19 +188,27 @@ + + + + + - - - + + + + + + @@ -190,6 +228,10 @@ + + + + @@ -202,32 +244,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -243,29 +259,15 @@ - + - - - - - - - - - - - - - - - + @@ -276,141 +278,26 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + @@ -426,19 +313,26 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + @@ -449,13 +343,12 @@ - - - - - - - + + + + + + @@ -471,19 +364,26 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + @@ -494,13 +394,12 @@ - - - - - - - + + + + + + @@ -516,19 +415,26 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + @@ -539,13 +445,12 @@ - - - - - - - + + + + + + @@ -561,40 +466,26 @@ - - - - - - - - + + + + + + + - - + + + + + - - - - - - - - - - - - - - - - - - - + + + @@ -607,18 +498,6 @@ - - - - - - - - - - - - @@ -2358,5 +2237,1137 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd b/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd index e8353cd1..58f7d3cc 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd +++ b/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd @@ -13,14 +13,11 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) 707c4fde-f79a-44b5-b3d7-b5cef8844ccf(jetbrains.mps.lang.test.runtime) 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) - f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules) ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) - 66887915-4d9e-4e24-bd35-19eb55fb75c2(jetbrains.mps.coderules.ideaplugin) 63b449db-0918-4a4a-a891-2c430ab133e4(org.junit.junit5) diff --git a/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.plugin@tests.mps b/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.plugin@tests.mps index b3db67a8..161d3265 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.plugin@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.plugin@tests.mps @@ -8,9 +8,6 @@ - - - @@ -132,7 +129,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps index fc2d3ac5..4938f885 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps @@ -19,10 +19,8 @@ - - @@ -30,24 +28,11 @@ - - - - - - - - - - - - - @@ -1063,7 +1048,7 @@ - + @@ -1083,7 +1068,7 @@ - + @@ -1114,7 +1099,7 @@ - + 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 49a8a911..dfca3037 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 @@ -4876,7 +4876,7 @@ - + @@ -4896,7 +4896,7 @@ - + @@ -4927,7 +4927,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd index 83395a81..3c02e387 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd @@ -25,7 +25,6 @@ ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime) - 66887915-4d9e-4e24-bd35-19eb55fb75c2(jetbrains.mps.coderules.ideaplugin) 4d5d9aa1-7b71-4888-9100-1b793e5328a6(jetbrains.mps.coderules.ui) a1250a4d-c090-42c3-ad7c-d298a3357dd4(jetbrains.mps.make.runtime) 019b622b-0aef-4dd3-86d0-4eef01f3f6bb(jetbrains.mps.ide) @@ -71,7 +70,6 @@ - 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 c16050e8..760bab73 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 @@ -20,57 +20,35 @@ - - - - - - - - - - - - - - - - - - - - - - @@ -99,26 +77,11 @@ - - - - - - - - - - - - - - - @@ -166,19 +129,11 @@ - - - - - - - - @@ -197,9 +152,6 @@ - - - @@ -231,9 +183,7 @@ - - - + @@ -257,7 +207,6 @@ - @@ -427,8 +376,6 @@ - - @@ -944,7 +891,7 @@ - + @@ -5229,103 +5176,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -5536,273 +5386,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -8958,1019 +8541,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -9995,31 +8565,5 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - 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 013b2104..ba926ab3 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 @@ -26,7 +26,6 @@ - @@ -52,7 +51,6 @@ - @@ -5883,7 +5881,7 @@ - + @@ -6513,7 +6511,7 @@ - + @@ -15534,7 +15532,7 @@ - + @@ -15546,7 +15544,7 @@ - + @@ -16426,7 +16424,7 @@ - + @@ -20824,807 +20822,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -22047,12 +21244,12 @@ - + - + @@ -22087,7 +21284,7 @@ - + @@ -22135,5 +21332,661 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd index ddedcb4f..4d7bcb57 100644 --- a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd +++ b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd @@ -26,7 +26,6 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime) - 66887915-4d9e-4e24-bd35-19eb55fb75c2(jetbrains.mps.coderules.ideaplugin) 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps index abd3d701..46c66e6e 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps @@ -41,7 +41,6 @@ - @@ -4598,7 +4597,7 @@ - +