From 4ce08f4b990f167cae6ad590d8f6e9b6c9ca082f Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 3 Jul 2024 14:20:15 +0200 Subject: [PATCH] Refactor project structure and reduce the number of modules --- .mps/modules.xml | 10 +- build.xml | 992 +++++----------- .../jetbrains.mps.devkit.aspect.types.devkit | 2 + .../generator/template/main@generator.mps | 704 ++++++------ .../jetbrains.mps.lang.coderules.mpl | 15 +- .../languageModels/behavior.mps | 6 - .../languageModels/constraints.mps | 47 +- .../languageModels/editor.mps | 5 - .../languageModels/findUsages.mps | 1 - .../languageModels/intentions.mps | 2 - .../languageModels/migration.mps | 99 +- .../languageModels/plugin.mps | 5 +- .../languageModels/typesystem.mps | 36 +- .../languageModels/util.mps | 10 +- .../jetbrains.mps.lang.coderules.runtime.msd | 10 +- .../jetbrains.mps.lang.coderules.aspect.mps | 11 +- .../jetbrains.mps.lang.coderules.eval.mps | 508 ++++----- ...jetbrains.mps.lang.coderules.memoizer.mps} | 2 +- ...etbrains.mps.lang.coderules.predicate.mps} | 95 +- .../jetbrains.mps.lang.coderules.program.mps | 574 +++++----- .../jetbrains.mps.lang.coderules.result.mps} | 3 +- .../jetbrains.mps.lang.coderules.template.mps | 60 +- .../jetbrains.mps.lang.coderules.terms.mps | 119 +- .../models/behavior.mps | 4 +- ...ng.types.generator.templates@generator.mps | 10 +- .../jetbrains.mps.lang.types.mpl | 6 +- .../generator/template/main@generator.mps | 78 +- .../jetbrains.mps.logic.mpl | 11 +- .../languageModels/behavior.mps | 16 +- .../languageModels/editor.mps | 55 - .../languageModels/migration.mps | 2 +- .../languageModels/typesystem.mps | 28 +- .../runtime/jetbrains.mps.logic.runtime.msd | 5 +- .../models/jetbrains.mps.logic.dataform.mps | 48 +- .../jetbrains.mps.logic.unification.mps | 94 +- .../jetbrains.mps.typechecking.testlang.mpl | 13 +- .../models/types.mps | 1 - .../models/jetbrains.mps.coderules.build.mps | 1001 +++++++---------- .../jetbrains.mps.coderules.test.msd | 5 +- .../jetbrains.mps.coderules.aspect@tests.mps | 74 +- .../jetbrains.mps.coderules.testhelper.msd | 8 - ...ains.mps.coderules.testhelper.testutil.mps | 130 +-- ...brains.mps.coderules.typechecking.test.msd | 30 +- ...tbrains.mps.coderules.scheduling@tests.mps | 1 - ...rains.mps.coderules.typechecking@tests.mps | 154 ++- .../jetbrains.mps.coderules.typechecking.msd | 9 +- ...ains.mps.coderules.typechecking.plugin.mps | 94 +- ...ins.mps.coderules.typechecking.service.mps | 159 ++- .../jetbrains.mps.coderules.ui.msd | 7 +- .../models/plugin.mps | 36 +- .../jetbrains.mps.coderules.msd | 5 +- .../models/jetbrains.mps.coderules.mps | 10 +- .../jetbrains.mps.coderules/models/plugin.mps | 50 +- .../models/service.mps | 162 +-- .../jetbrains.mps.lang.coderules.template.msd | 32 +- ...etbrains.mps.lang.typechecking.runtime.msd | 5 +- ...jetbrains.mps.lang.typechecking.aspect.mps | 19 +- .../jetbrains.mps.logic.test.msd | 5 +- .../mps/logic/test/logical@tests.mps | 614 +++++----- .../jetbrains/mps/logic/test/unification.mps | 16 +- .../mps/logic/test/unification@tests.mps | 602 +++++----- samples/fitch/build.xml | 41 +- .../models/types.mps | 1 - .../samples.fitch.firstOrderLogic.mpl | 4 - .../models/types.mps | 1 - .../samples.fitch.herbrandLogic.mpl | 4 - .../models/types.mps | 1 - .../samples.fitch.propositionalLogic.mpl | 4 - .../languages/samples.fitch/models/types.mps | 1 - .../languages/samples.fitch/samples.fitch.mpl | 24 +- .../models/samples.fitch.build.mps | 19 +- samples/lambdacalc/build.xml | 14 - .../samples.lambdacalc/models/types.mps | 9 +- .../samples.lambdacalc/samples.lambdacalc.mpl | 7 +- .../models/samples.lamdacalc.build.mps | 25 +- samples/mpscore/build.xml | 550 ++++----- .../jetbrains.mps.baseLanguage.javadocExt.mpl | 47 +- ...ains.mps.baseLanguage.javadocExt.types.mps | 1 + .../jetbrains.mps.baseLanguageExt.mpl | 14 +- .../jetbrains.mps.baseLanguageExt.types.mps | 104 +- .../jetbrains.mps.baseLanguageInternalExt.mpl | 13 +- .../jetbrains.mps.lang.coderulesExt.mpl | 5 +- .../jetbrains.mps.lang.coderulesExt.types.mps | 10 +- .../jetbrains.mps.lang.smodelExt.mpl | 7 +- .../jetbrains.mps.lang.smodelExt.types.mps | 3 - .../jetbrains.mps.logicExt.mpl | 5 +- .../models/jetbrains.mps.logicExt.types.mps | 22 +- ....baseLanguage.methodReferencesExt.test.msd | 4 - .../jetbrains.mps.baseLanguageExt.test.msd | 17 +- ...baseLanguageExt.test.incremental@tests.mps | 34 +- ...s.mps.baseLanguageExt.test.types@tests.mps | 162 +-- .../jetbrains.mps.lang.smodelExt.test.msd | 7 +- ...ins.mps.lang.smodelExt.test.code@tests.mps | 2 +- ...ns.mps.lang.smodelExt.test.types@tests.mps | 21 +- .../models/samples.mpscore.build.mps | 166 +-- 95 files changed, 3476 insertions(+), 4788 deletions(-) rename coderules/{solutions/jetbrains.mps.lang.coderules.template => languages/jetbrains.mps.lang.coderules/runtime}/models/jetbrains.mps.lang.coderules.aspect.mps (99%) rename coderules/{solutions/jetbrains.mps.coderules.runtime/models/jetbrains.mps.coderules.runtime.memoizer.mps => languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.memoizer.mps} (99%) rename coderules/languages/{jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps => jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.predicate.mps} (99%) rename coderules/{solutions/jetbrains.mps.coderules.runtime/models/jetbrains.mps.coderules.runtime.result.mps => languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.result.mps} (99%) rename coderules/{solutions/jetbrains.mps.lang.coderules.template => languages/jetbrains.mps.lang.coderules/runtime}/models/jetbrains.mps.lang.coderules.template.mps (99%) diff --git a/.mps/modules.xml b/.mps/modules.xml index ca30989d..a732ceab 100644 --- a/.mps/modules.xml +++ b/.mps/modules.xml @@ -7,13 +7,12 @@ - - + + - @@ -23,8 +22,8 @@ - - + + @@ -62,6 +61,7 @@ + diff --git a/build.xml b/build.xml index 725d3709..ca4c2784 100644 --- a/build.xml +++ b/build.xml @@ -89,6 +89,7 @@ + @@ -181,8 +182,10 @@ + + @@ -277,15 +280,14 @@ + - - @@ -303,7 +305,7 @@ - + @@ -337,12 +339,13 @@ - + + @@ -418,7 +421,6 @@ - @@ -431,10 +433,8 @@ - - @@ -531,14 +531,12 @@ - - @@ -609,15 +607,14 @@ - - - + + @@ -657,111 +654,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -785,10 +677,11 @@ - + + @@ -860,6 +753,7 @@ + @@ -924,17 +818,13 @@ - - - - @@ -998,8 +888,9 @@ - + + @@ -1170,9 +1061,7 @@ - - @@ -1248,8 +1137,9 @@ + - + @@ -1325,7 +1215,7 @@ - + @@ -1407,7 +1297,7 @@ - + @@ -1550,16 +1440,14 @@ - - - + @@ -1576,10 +1464,8 @@ - - @@ -1629,7 +1515,6 @@ - @@ -1639,15 +1524,13 @@ - - - + @@ -1839,24 +1722,16 @@ - - - - - - - - @@ -1926,7 +1801,6 @@ - @@ -1935,7 +1809,6 @@ - @@ -2132,15 +2005,14 @@ - - - + + @@ -2180,69 +2052,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2287,15 +2096,14 @@ + - - @@ -2313,7 +2121,7 @@ - + @@ -2353,10 +2161,11 @@ - + + @@ -2401,48 +2210,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2470,6 +2237,7 @@ + @@ -2527,8 +2295,9 @@ + - + @@ -2591,7 +2360,7 @@ - + @@ -2673,7 +2442,7 @@ - + @@ -2816,16 +2585,14 @@ - - - + @@ -2842,10 +2609,8 @@ - - @@ -2915,6 +2680,7 @@ + @@ -3007,8 +2773,10 @@ + + @@ -3080,17 +2848,13 @@ - - - - @@ -3160,7 +2924,6 @@ - @@ -3173,10 +2936,8 @@ - - @@ -3274,14 +3035,12 @@ - - @@ -3482,9 +3241,7 @@ - - @@ -3568,7 +3325,6 @@ - @@ -3577,7 +3333,6 @@ - @@ -3755,7 +3510,7 @@ - + @@ -3779,13 +3534,11 @@ - - @@ -3795,7 +3548,7 @@ - + @@ -3938,25 +3691,24 @@ - + - + + - - @@ -3982,15 +3734,13 @@ - - - + @@ -4001,18 +3751,17 @@ + + - - - @@ -4043,7 +3792,7 @@ - + @@ -4113,15 +3862,14 @@ + - - - + @@ -4155,6 +3903,7 @@ + @@ -4201,7 +3950,7 @@ - + @@ -4210,44 +3959,47 @@ - - - - - - - - - + + + + + + + + + + + + - - + + + - @@ -4255,7 +4007,6 @@ - @@ -4269,7 +4020,7 @@ - + @@ -4293,7 +4044,6 @@ - @@ -4338,7 +4088,7 @@ - + @@ -4360,29 +4110,10 @@ - - - - - - - + - - - - - - - - - - - - - @@ -4391,7 +4122,7 @@ - + @@ -4425,9 +4156,6 @@ - - - @@ -4473,20 +4201,16 @@ - + - - - - - + @@ -4521,14 +4245,9 @@ - + - - - - - @@ -4572,7 +4291,7 @@ - + @@ -4607,18 +4326,11 @@ - - - - - - - @@ -4660,7 +4372,7 @@ - + @@ -4691,7 +4403,6 @@ - @@ -4702,17 +4413,11 @@ - - - - - - @@ -4758,7 +4463,7 @@ - + @@ -4789,7 +4494,6 @@ - @@ -4800,19 +4504,13 @@ - - - - - - @@ -4853,7 +4551,7 @@ - + @@ -4925,18 +4623,16 @@ - - - + - + @@ -4966,12 +4662,9 @@ - - - @@ -5022,7 +4715,7 @@ - + @@ -5045,13 +4738,10 @@ - - - - + @@ -5059,9 +4749,6 @@ - - - @@ -5103,7 +4790,7 @@ - + @@ -5134,7 +4821,6 @@ - @@ -5145,11 +4831,9 @@ - - @@ -5178,7 +4862,6 @@ - @@ -5186,7 +4869,6 @@ - @@ -5207,7 +4889,7 @@ - + @@ -5238,19 +4920,16 @@ - - + + - - - @@ -5276,19 +4955,13 @@ - - - - - - @@ -5371,7 +5044,7 @@ - + @@ -5403,25 +5076,20 @@ - - + + + + + - - - - - - - - @@ -5450,23 +5118,15 @@ - - - - - - - - @@ -5486,7 +5146,194 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5509,7 +5356,6 @@ - @@ -5568,7 +5414,7 @@ - + @@ -5604,7 +5450,6 @@ - @@ -5646,285 +5491,7 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -5956,11 +5523,9 @@ - - @@ -6082,7 +5647,6 @@ - diff --git a/coderules/devkits/jetbrains.mps.devkit.aspect.types/jetbrains.mps.devkit.aspect.types.devkit b/coderules/devkits/jetbrains.mps.devkit.aspect.types/jetbrains.mps.devkit.aspect.types.devkit index d5aeed34..7c92b222 100644 --- a/coderules/devkits/jetbrains.mps.devkit.aspect.types/jetbrains.mps.devkit.aspect.types.devkit +++ b/coderules/devkits/jetbrains.mps.devkit.aspect.types/jetbrains.mps.devkit.aspect.types.devkit @@ -9,6 +9,8 @@ f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) + 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) diff --git a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps index 3df0371d..5a81c940 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps @@ -24,22 +24,22 @@ - - - - - - + + + + + + @@ -1355,7 +1355,7 @@ - + @@ -1368,7 +1368,7 @@ - + @@ -1377,7 +1377,7 @@ - + @@ -1475,7 +1475,7 @@ - + @@ -1485,7 +1485,7 @@ - + @@ -1551,7 +1551,7 @@ - + @@ -1561,7 +1561,7 @@ - + @@ -1647,7 +1647,7 @@ - + @@ -1657,7 +1657,7 @@ - + @@ -1723,7 +1723,7 @@ - + @@ -1733,7 +1733,7 @@ - + @@ -1918,7 +1918,7 @@ - + @@ -1934,7 +1934,7 @@ - + @@ -2021,7 +2021,7 @@ - + @@ -2031,7 +2031,7 @@ - + @@ -2106,7 +2106,7 @@ - + @@ -2116,7 +2116,7 @@ - + @@ -2247,7 +2247,7 @@ - + @@ -2258,7 +2258,7 @@ - + @@ -2279,7 +2279,7 @@ - + @@ -2299,7 +2299,7 @@ - + @@ -2354,7 +2354,7 @@ - + @@ -2366,7 +2366,7 @@ - + @@ -2387,7 +2387,7 @@ - + @@ -2450,7 +2450,7 @@ - + @@ -2513,7 +2513,7 @@ - + @@ -2571,15 +2571,15 @@ - + - - + + - + @@ -2615,7 +2615,7 @@ - + @@ -2637,15 +2637,15 @@ - + - - + + - + @@ -2681,7 +2681,7 @@ - + @@ -2703,15 +2703,15 @@ - + - - + + - + @@ -2747,7 +2747,7 @@ - + @@ -2769,15 +2769,15 @@ - + - - + + - + @@ -2797,7 +2797,7 @@ - + @@ -2819,15 +2819,15 @@ - + - - + + - + @@ -2847,7 +2847,7 @@ - + @@ -2869,15 +2869,15 @@ - + - - + + - + @@ -2897,7 +2897,7 @@ - + @@ -2919,15 +2919,15 @@ - + - - + + - + @@ -2947,7 +2947,7 @@ - + @@ -3009,15 +3009,15 @@ - + - - + + - + @@ -3026,7 +3026,7 @@ - + @@ -3057,15 +3057,15 @@ - + - - + + - + @@ -3146,8 +3146,8 @@ - - + + @@ -3170,7 +3170,7 @@ - + @@ -3192,15 +3192,15 @@ - + - - + + - + @@ -3209,7 +3209,7 @@ - + @@ -3261,7 +3261,7 @@ - + @@ -3439,7 +3439,7 @@ - + @@ -4444,12 +4444,12 @@ - + - + - - + + @@ -4467,7 +4467,7 @@ - + @@ -4486,7 +4486,7 @@ - + @@ -4602,7 +4602,7 @@ - + @@ -4618,7 +4618,7 @@ - + @@ -4626,11 +4626,11 @@ - + - + @@ -4704,12 +4704,12 @@ - + - + - - + + @@ -4749,7 +4749,7 @@ - + @@ -4772,13 +4772,13 @@ - + - + @@ -4822,7 +4822,7 @@ - + @@ -4958,7 +4958,7 @@ - + @@ -5013,7 +5013,7 @@ - + @@ -5127,13 +5127,13 @@ - + - + @@ -5636,7 +5636,7 @@ - + @@ -5670,7 +5670,7 @@ - + @@ -5837,7 +5837,7 @@ - + @@ -5864,7 +5864,7 @@ - + @@ -5873,7 +5873,7 @@ - + @@ -5935,7 +5935,7 @@ - + @@ -5950,7 +5950,7 @@ - + @@ -6000,7 +6000,7 @@ - + @@ -6066,7 +6066,7 @@ - + @@ -6184,7 +6184,7 @@ - + @@ -6827,7 +6827,7 @@ - + @@ -6866,8 +6866,8 @@ - - + + @@ -7031,8 +7031,8 @@ - - + + @@ -7177,14 +7177,14 @@ - + - + @@ -7468,7 +7468,7 @@ - + @@ -7495,8 +7495,8 @@ - - + + @@ -7652,8 +7652,8 @@ - - + + @@ -7774,7 +7774,7 @@ - + @@ -8006,7 +8006,7 @@ - + @@ -8083,7 +8083,7 @@ - + @@ -8155,7 +8155,7 @@ - + @@ -8296,7 +8296,7 @@ - + @@ -8345,12 +8345,12 @@ - + - + - - + + @@ -8373,11 +8373,11 @@ - + - + @@ -8456,7 +8456,7 @@ - + @@ -8472,7 +8472,7 @@ - + @@ -8523,7 +8523,7 @@ - + @@ -8566,7 +8566,7 @@ - + @@ -8685,7 +8685,7 @@ - + @@ -8697,7 +8697,7 @@ - + @@ -8742,7 +8742,7 @@ - + @@ -8798,7 +8798,7 @@ - + @@ -8883,13 +8883,13 @@ - + - + @@ -8924,7 +8924,7 @@ - + @@ -9256,7 +9256,7 @@ - + @@ -9300,7 +9300,7 @@ - + @@ -9359,7 +9359,7 @@ - + @@ -9406,7 +9406,7 @@ - + @@ -9476,7 +9476,7 @@ - + @@ -9507,8 +9507,8 @@ - - + + @@ -9628,8 +9628,8 @@ - - + + @@ -9732,14 +9732,14 @@ - + - + @@ -9875,7 +9875,7 @@ - + @@ -9891,14 +9891,14 @@ - + - + @@ -9975,7 +9975,7 @@ - + @@ -9985,7 +9985,7 @@ - + @@ -10004,7 +10004,7 @@ - + @@ -10057,7 +10057,7 @@ - + @@ -10067,11 +10067,11 @@ - + - + @@ -10109,7 +10109,7 @@ - + @@ -10185,7 +10185,7 @@ - + @@ -10225,7 +10225,7 @@ - + @@ -10308,7 +10308,7 @@ - + @@ -10519,7 +10519,7 @@ - + @@ -10527,7 +10527,7 @@ - + @@ -10550,7 +10550,7 @@ - + @@ -10560,11 +10560,11 @@ - + - + @@ -10601,7 +10601,7 @@ - + @@ -10677,7 +10677,7 @@ - + @@ -10733,7 +10733,7 @@ - + @@ -10816,7 +10816,7 @@ - + @@ -10993,7 +10993,7 @@ - + @@ -11001,7 +11001,7 @@ - + @@ -11028,11 +11028,11 @@ - + - + @@ -11055,7 +11055,7 @@ - + @@ -11145,11 +11145,11 @@ - + - + @@ -11172,7 +11172,7 @@ - + @@ -11308,11 +11308,11 @@ - + - + @@ -11335,7 +11335,7 @@ - + @@ -11404,11 +11404,11 @@ - + - + @@ -11431,7 +11431,7 @@ - + @@ -11501,11 +11501,11 @@ - + - + @@ -11528,7 +11528,7 @@ - + @@ -11580,8 +11580,8 @@ - - + + @@ -11611,8 +11611,8 @@ - - + + @@ -11632,11 +11632,11 @@ - + - + @@ -11659,7 +11659,7 @@ - + @@ -11714,8 +11714,8 @@ - - + + @@ -11735,11 +11735,11 @@ - + - + @@ -11762,7 +11762,7 @@ - + @@ -11817,8 +11817,8 @@ - - + + @@ -11838,11 +11838,11 @@ - + - + @@ -11865,7 +11865,7 @@ - + @@ -11920,8 +11920,8 @@ - - + + @@ -11941,11 +11941,11 @@ - + - + @@ -11987,7 +11987,7 @@ - + @@ -12040,7 +12040,7 @@ - + @@ -12443,7 +12443,7 @@ - + @@ -12453,7 +12453,7 @@ - + @@ -12462,7 +12462,7 @@ - + @@ -12477,7 +12477,7 @@ - + @@ -12636,7 +12636,7 @@ - + @@ -12649,14 +12649,14 @@ - + - + @@ -12665,14 +12665,14 @@ - + - + @@ -12923,7 +12923,7 @@ - + @@ -12954,7 +12954,7 @@ - + @@ -13014,7 +13014,7 @@ - + @@ -13053,11 +13053,11 @@ - + - + @@ -13088,7 +13088,7 @@ - + @@ -13188,7 +13188,7 @@ - + @@ -13323,19 +13323,19 @@ - + - + - + @@ -13344,7 +13344,7 @@ - + @@ -13365,7 +13365,7 @@ - + @@ -13382,7 +13382,7 @@ - + @@ -13399,14 +13399,14 @@ - + - + @@ -13464,7 +13464,7 @@ - + @@ -13661,7 +13661,7 @@ - + @@ -13947,7 +13947,7 @@ - + @@ -14321,7 +14321,7 @@ - + @@ -14334,7 +14334,7 @@ - + @@ -14348,11 +14348,11 @@ - + - + @@ -14432,7 +14432,7 @@ - + @@ -14522,7 +14522,7 @@ - + @@ -14534,7 +14534,7 @@ - + @@ -14620,13 +14620,13 @@ - + - + @@ -14640,7 +14640,7 @@ - + @@ -14697,7 +14697,7 @@ - + @@ -15203,7 +15203,7 @@ - + @@ -15216,7 +15216,7 @@ - + @@ -15230,11 +15230,11 @@ - + - + @@ -15292,7 +15292,7 @@ - + @@ -15354,7 +15354,7 @@ - + @@ -15533,7 +15533,7 @@ - + @@ -15542,7 +15542,7 @@ - + @@ -15628,7 +15628,7 @@ - + @@ -15683,7 +15683,7 @@ - + @@ -15713,7 +15713,7 @@ - + @@ -15757,7 +15757,7 @@ - + @@ -15852,7 +15852,7 @@ - + @@ -15911,7 +15911,7 @@ - + @@ -15969,7 +15969,7 @@ - + @@ -16009,7 +16009,7 @@ - + @@ -16059,7 +16059,7 @@ - + @@ -16139,7 +16139,7 @@ - + @@ -16176,7 +16176,7 @@ - + @@ -16213,7 +16213,7 @@ - + @@ -16239,7 +16239,7 @@ - + @@ -16374,7 +16374,7 @@ - + @@ -16417,8 +16417,8 @@ - - + + @@ -16535,8 +16535,8 @@ - - + + @@ -16574,7 +16574,7 @@ - + @@ -16617,8 +16617,8 @@ - - + + @@ -16727,8 +16727,8 @@ - - + + @@ -17320,8 +17320,8 @@ - - + + @@ -17419,10 +17419,10 @@ - - + + - + @@ -17637,7 +17637,7 @@ - + @@ -17649,7 +17649,7 @@ - + @@ -17694,7 +17694,7 @@ - + @@ -17766,7 +17766,7 @@ - + @@ -17800,7 +17800,7 @@ - + @@ -17812,7 +17812,7 @@ - + @@ -17857,7 +17857,7 @@ - + @@ -17930,7 +17930,7 @@ - + @@ -17964,7 +17964,7 @@ - + @@ -18063,7 +18063,7 @@ - + @@ -18089,13 +18089,13 @@ - + - + @@ -18171,7 +18171,7 @@ - + @@ -18181,7 +18181,7 @@ - + @@ -18215,7 +18215,7 @@ - + @@ -18317,7 +18317,7 @@ - + @@ -18326,12 +18326,12 @@ - + - + @@ -18383,7 +18383,7 @@ - + @@ -18392,7 +18392,7 @@ - + @@ -18407,7 +18407,7 @@ - + @@ -18512,7 +18512,7 @@ - + @@ -18544,7 +18544,7 @@ - + @@ -18555,7 +18555,7 @@ - + @@ -18564,9 +18564,9 @@ - + - + @@ -18599,14 +18599,14 @@ - + - + @@ -18641,7 +18641,7 @@ - + @@ -18700,7 +18700,7 @@ - + @@ -18723,7 +18723,7 @@ - + @@ -18754,8 +18754,8 @@ - - + + @@ -19208,13 +19208,13 @@ - + - + @@ -19279,14 +19279,14 @@ - + - + @@ -19302,13 +19302,13 @@ - + - + @@ -19328,7 +19328,7 @@ - + @@ -19348,7 +19348,7 @@ - + @@ -19376,13 +19376,13 @@ - + - + @@ -19463,13 +19463,13 @@ - + - + @@ -19551,13 +19551,13 @@ - + - + @@ -19598,7 +19598,7 @@ - + @@ -19607,7 +19607,7 @@ - + @@ -19617,7 +19617,7 @@ - + @@ -19724,7 +19724,7 @@ - + @@ -19780,10 +19780,10 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl b/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl index 2f7f2cda..59402758 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl +++ b/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl @@ -25,14 +25,13 @@ - a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) @@ -69,7 +68,6 @@ - @@ -89,14 +87,13 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure) - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) + fd392034-7849-419d-9071-12563d152375(jetbrains.mps.baseLanguage.closures) + 34e84b8f-afa8-4364-abcd-a279fddddbe7(jetbrains.mps.editor.runtime) + 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) - fd392034-7849-419d-9071-12563d152375(jetbrains.mps.baseLanguage.closures) - 528ff3b9-5fc4-40dd-931f-c6ce3650640e(jetbrains.mps.lang.migration.runtime) - 34e84b8f-afa8-4364-abcd-a279fddddbe7(jetbrains.mps.editor.runtime) @@ -167,11 +164,10 @@ - + - @@ -182,7 +178,6 @@ - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps index dcf6b4a1..bdf753e3 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps @@ -14,17 +14,11 @@ - - - - - - diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps index fc337111..a2d0e20a 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps @@ -14,20 +14,17 @@ - - - - + @@ -508,7 +505,7 @@ - + @@ -531,8 +528,8 @@ - - + + @@ -543,8 +540,8 @@ - - + + @@ -598,7 +595,7 @@ - + @@ -621,8 +618,8 @@ - - + + @@ -633,8 +630,8 @@ - - + + @@ -688,7 +685,7 @@ - + @@ -711,8 +708,8 @@ - - + + @@ -723,8 +720,8 @@ - - + + @@ -945,7 +942,7 @@ - + @@ -970,8 +967,8 @@ - - + + @@ -1021,7 +1018,7 @@ - + @@ -1046,8 +1043,8 @@ - - + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps index 4b0fa5be..f57fc45b 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps @@ -15,17 +15,12 @@ - - - - - diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/findUsages.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/findUsages.mps index 45dd06cf..9062966c 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/findUsages.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/findUsages.mps @@ -6,7 +6,6 @@ - diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps index 759c217a..9cfe10e1 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps @@ -13,10 +13,8 @@ - - diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps index e644dd1d..9473dfb0 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps @@ -13,26 +13,12 @@ - - - - - - - - - - - - - - @@ -112,7 +98,6 @@ - @@ -157,9 +142,6 @@ - - - @@ -183,7 +165,6 @@ - @@ -1526,82 +1507,10 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/plugin.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/plugin.mps index 983e2e18..ba34e7e2 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/plugin.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/plugin.mps @@ -7,10 +7,7 @@ - - - - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps index 80464376..770d654f 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps @@ -11,14 +11,14 @@ - - + + @@ -415,7 +415,7 @@ - + @@ -560,7 +560,7 @@ - + @@ -715,9 +715,9 @@ - - - + + + @@ -775,9 +775,9 @@ - - - + + + @@ -819,9 +819,9 @@ - - - + + + @@ -863,9 +863,9 @@ - - - + + + @@ -1411,7 +1411,7 @@ - + @@ -1429,7 +1429,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps index 7e940dc5..05c65f49 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps @@ -12,12 +12,12 @@ - + @@ -195,7 +195,7 @@ - + @@ -381,7 +381,7 @@ - + @@ -675,7 +675,7 @@ - + @@ -714,7 +714,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd b/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd index 093f31ad..e1124dc9 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd @@ -12,12 +12,12 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) - f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime) + 9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime) + bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) @@ -29,6 +29,7 @@ + @@ -39,13 +40,12 @@ - - + diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.aspect.mps similarity index 99% rename from coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps rename to coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.aspect.mps index 5db3e19b..ceead530 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.aspect.mps @@ -1,5 +1,5 @@ - + @@ -14,7 +14,6 @@ - @@ -22,9 +21,9 @@ - + @@ -4371,7 +4370,7 @@ - + @@ -4383,7 +4382,7 @@ - + @@ -4395,7 +4394,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps index e9fdb63b..1dcf3c1c 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps @@ -14,24 +14,24 @@ - - - - - - - + + + + + + + @@ -681,14 +681,14 @@ - + - + @@ -737,8 +737,8 @@ - - + + @@ -756,11 +756,11 @@ - + - - + + @@ -786,8 +786,8 @@ - - + + @@ -872,8 +872,8 @@ - - + + @@ -930,8 +930,8 @@ - - + + @@ -962,8 +962,8 @@ - - + + @@ -976,8 +976,8 @@ - - + + @@ -991,7 +991,7 @@ - + @@ -1052,10 +1052,10 @@ - + - + @@ -1067,7 +1067,7 @@ - + @@ -1093,7 +1093,7 @@ - + @@ -1239,7 +1239,7 @@ - + @@ -1283,7 +1283,7 @@ - + @@ -1296,7 +1296,7 @@ - + @@ -1355,10 +1355,10 @@ - + - + @@ -1370,10 +1370,10 @@ - + - + @@ -1381,10 +1381,10 @@ - + - + @@ -1400,10 +1400,10 @@ - + - + @@ -1435,10 +1435,10 @@ - + - + @@ -1523,7 +1523,7 @@ - + @@ -1535,7 +1535,7 @@ - + @@ -1552,7 +1552,7 @@ - + @@ -1596,7 +1596,7 @@ - + @@ -1614,7 +1614,7 @@ - + @@ -1624,7 +1624,7 @@ - + @@ -1642,7 +1642,7 @@ - + @@ -1658,7 +1658,7 @@ - + @@ -1704,7 +1704,7 @@ - + @@ -1716,7 +1716,7 @@ - + @@ -1725,7 +1725,7 @@ - + @@ -1741,7 +1741,7 @@ - + @@ -1752,7 +1752,7 @@ - + @@ -1769,7 +1769,7 @@ - + @@ -1779,7 +1779,7 @@ - + @@ -1794,7 +1794,7 @@ - + @@ -1804,7 +1804,7 @@ - + @@ -1818,14 +1818,14 @@ - + - + @@ -1854,7 +1854,7 @@ - + @@ -1874,7 +1874,7 @@ - + @@ -1887,7 +1887,7 @@ - + @@ -1897,7 +1897,7 @@ - + @@ -1944,7 +1944,7 @@ - + @@ -1965,7 +1965,7 @@ - + @@ -1981,7 +1981,7 @@ - + @@ -1999,7 +1999,7 @@ - + @@ -2023,7 +2023,7 @@ - + @@ -2057,7 +2057,7 @@ - + @@ -2078,7 +2078,7 @@ - + @@ -2090,7 +2090,7 @@ - + @@ -2133,7 +2133,7 @@ - + @@ -2154,7 +2154,7 @@ - + @@ -2167,7 +2167,7 @@ - + @@ -2225,13 +2225,13 @@ - + - + @@ -2304,7 +2304,7 @@ - + @@ -2336,7 +2336,7 @@ - + @@ -2367,7 +2367,7 @@ - + @@ -2384,7 +2384,7 @@ - + @@ -2410,7 +2410,7 @@ - + @@ -2427,7 +2427,7 @@ - + @@ -2442,7 +2442,7 @@ - + @@ -2559,13 +2559,13 @@ - + - + @@ -2576,14 +2576,14 @@ - + - + @@ -2676,8 +2676,8 @@ - - + + @@ -2688,10 +2688,10 @@ - + - + @@ -2703,7 +2703,7 @@ - + @@ -2727,7 +2727,7 @@ - + @@ -2766,7 +2766,7 @@ - + @@ -2788,14 +2788,14 @@ - + - + @@ -2805,7 +2805,7 @@ - + @@ -2825,12 +2825,12 @@ - + - + @@ -2923,7 +2923,7 @@ - + @@ -2956,7 +2956,7 @@ - + @@ -2995,12 +2995,12 @@ - + - + @@ -3025,7 +3025,7 @@ - + @@ -3036,7 +3036,7 @@ - + @@ -3051,7 +3051,7 @@ - + @@ -3064,7 +3064,7 @@ - + @@ -3170,7 +3170,7 @@ - + @@ -3179,7 +3179,7 @@ - + @@ -3217,7 +3217,7 @@ - + @@ -3310,13 +3310,13 @@ - + - + @@ -3329,14 +3329,14 @@ - + - + @@ -3479,7 +3479,7 @@ - + @@ -3496,7 +3496,7 @@ - + @@ -3588,7 +3588,7 @@ - + @@ -3601,7 +3601,7 @@ - + @@ -3699,7 +3699,7 @@ - + @@ -3724,7 +3724,7 @@ - + @@ -3766,11 +3766,11 @@ - + - - + + @@ -3798,7 +3798,7 @@ - + @@ -3836,7 +3836,7 @@ - + @@ -3848,7 +3848,7 @@ - + @@ -3872,7 +3872,7 @@ - + @@ -3898,7 +3898,7 @@ - + @@ -3918,7 +3918,7 @@ - + @@ -3957,13 +3957,13 @@ - + - + @@ -4023,7 +4023,7 @@ - + @@ -4102,11 +4102,11 @@ - + - - + + @@ -4238,7 +4238,7 @@ - + @@ -4308,7 +4308,7 @@ - + @@ -4357,7 +4357,7 @@ - + @@ -4368,7 +4368,7 @@ - + @@ -4387,7 +4387,7 @@ - + @@ -4400,19 +4400,19 @@ - + - + - - + + @@ -4430,8 +4430,8 @@ - - + + @@ -4484,7 +4484,7 @@ - + @@ -4553,7 +4553,7 @@ - + @@ -4568,7 +4568,7 @@ - + @@ -4780,7 +4780,7 @@ - + @@ -4811,14 +4811,14 @@ - + - - + + - + @@ -4831,14 +4831,14 @@ - + - - + + - + @@ -4862,7 +4862,7 @@ - + @@ -4879,14 +4879,14 @@ - - + + - + @@ -4897,7 +4897,7 @@ - + @@ -4906,7 +4906,7 @@ - + @@ -4914,7 +4914,7 @@ - + @@ -4940,7 +4940,7 @@ - + @@ -4949,13 +4949,13 @@ - + - + @@ -5017,7 +5017,7 @@ - + @@ -5039,14 +5039,14 @@ - + - + @@ -5055,14 +5055,14 @@ - - + + - + @@ -5079,7 +5079,7 @@ - + @@ -5106,7 +5106,7 @@ - + @@ -5114,13 +5114,13 @@ - + - + @@ -5129,7 +5129,7 @@ - + @@ -5152,18 +5152,18 @@ - + - + - + @@ -5172,7 +5172,7 @@ - + @@ -5183,7 +5183,7 @@ - + @@ -5224,7 +5224,7 @@ - + @@ -5232,12 +5232,12 @@ - + - + @@ -5270,14 +5270,14 @@ - + - + @@ -5316,7 +5316,7 @@ - + @@ -5330,7 +5330,7 @@ - + @@ -5354,14 +5354,14 @@ - + - + @@ -5389,7 +5389,7 @@ - + @@ -5401,7 +5401,7 @@ - + @@ -5418,7 +5418,7 @@ - + @@ -5439,7 +5439,7 @@ - + @@ -5462,7 +5462,7 @@ - + @@ -5475,7 +5475,7 @@ - + @@ -5490,7 +5490,7 @@ - + @@ -5509,7 +5509,7 @@ - + @@ -5544,7 +5544,7 @@ - + @@ -5594,7 +5594,7 @@ - + @@ -5607,7 +5607,7 @@ - + @@ -5831,7 +5831,7 @@ - + @@ -5846,7 +5846,7 @@ - + @@ -5857,13 +5857,13 @@ - + - + @@ -5890,7 +5890,7 @@ - + @@ -5928,7 +5928,7 @@ - + @@ -5960,11 +5960,11 @@ - - + + - + @@ -5981,7 +5981,7 @@ - + @@ -6286,12 +6286,12 @@ - + - + @@ -6329,7 +6329,7 @@ - + @@ -6342,7 +6342,7 @@ - + @@ -6356,7 +6356,7 @@ - + @@ -6369,7 +6369,7 @@ - + @@ -6380,7 +6380,7 @@ - + @@ -6405,7 +6405,7 @@ - + @@ -6417,7 +6417,7 @@ - + @@ -6510,7 +6510,7 @@ - + @@ -7070,7 +7070,7 @@ - + @@ -7082,7 +7082,7 @@ - + @@ -7113,7 +7113,7 @@ - + @@ -7126,7 +7126,7 @@ - + @@ -7140,7 +7140,7 @@ - + @@ -7153,7 +7153,7 @@ - + @@ -7164,7 +7164,7 @@ - + @@ -7189,7 +7189,7 @@ - + @@ -7204,7 +7204,7 @@ - + @@ -7295,7 +7295,7 @@ - + @@ -7308,7 +7308,7 @@ - + @@ -8102,10 +8102,10 @@ - + - + @@ -8113,7 +8113,7 @@ - + @@ -9310,13 +9310,13 @@ - + - + @@ -9357,7 +9357,7 @@ - + @@ -9373,11 +9373,11 @@ - + - + @@ -9392,7 +9392,7 @@ - + @@ -9412,7 +9412,7 @@ - + @@ -9454,7 +9454,7 @@ - + @@ -9652,10 +9652,10 @@ - + - + @@ -9663,7 +9663,7 @@ - + @@ -9826,10 +9826,10 @@ - + - + @@ -9837,7 +9837,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.runtime/models/jetbrains.mps.coderules.runtime.memoizer.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.memoizer.mps similarity index 99% rename from coderules/solutions/jetbrains.mps.coderules.runtime/models/jetbrains.mps.coderules.runtime.memoizer.mps rename to coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.memoizer.mps index 3c9168d6..e366b3d4 100644 --- a/coderules/solutions/jetbrains.mps.coderules.runtime/models/jetbrains.mps.coderules.runtime.memoizer.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.memoizer.mps @@ -1,5 +1,5 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.predicate.mps similarity index 99% rename from coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps rename to coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.predicate.mps index 763726ae..68b4bb38 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.predicate.mps @@ -1,5 +1,5 @@ - + @@ -16,14 +16,13 @@ - - - + + @@ -1870,7 +1869,7 @@ - + @@ -1911,7 +1910,7 @@ - + @@ -1924,7 +1923,7 @@ - + @@ -2844,13 +2843,13 @@ - + - + @@ -2858,11 +2857,11 @@ - + - + @@ -2910,15 +2909,15 @@ - + - - + + @@ -2935,13 +2934,13 @@ - + - + @@ -2973,7 +2972,7 @@ - + @@ -3049,7 +3048,7 @@ - + @@ -3445,7 +3444,7 @@ - + @@ -3464,7 +3463,7 @@ - + @@ -3477,7 +3476,7 @@ - + @@ -3809,7 +3808,7 @@ - + @@ -4048,7 +4047,7 @@ - + @@ -4067,7 +4066,7 @@ - + @@ -4080,7 +4079,7 @@ - + @@ -4709,7 +4708,7 @@ - + @@ -4717,7 +4716,7 @@ - + @@ -4732,7 +4731,7 @@ - + @@ -4784,7 +4783,7 @@ - + @@ -4792,7 +4791,7 @@ - + @@ -4807,7 +4806,7 @@ - + @@ -4843,7 +4842,7 @@ - + @@ -4868,7 +4867,7 @@ - + @@ -7822,7 +7821,7 @@ - + @@ -7847,7 +7846,7 @@ - + @@ -10552,7 +10551,7 @@ - + @@ -10568,7 +10567,7 @@ - + @@ -10677,7 +10676,7 @@ - + @@ -10745,7 +10744,7 @@ - + @@ -10754,7 +10753,7 @@ - + @@ -10787,7 +10786,7 @@ - + @@ -10796,8 +10795,8 @@ - - + + @@ -10883,7 +10882,7 @@ - + @@ -10892,7 +10891,7 @@ - + @@ -10923,7 +10922,7 @@ - + @@ -10932,8 +10931,8 @@ - - + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps index b878756b..32a733c0 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps @@ -18,9 +18,7 @@ - - @@ -28,10 +26,12 @@ - - + + + + @@ -719,17 +719,17 @@ - + - + - + @@ -742,7 +742,7 @@ - + @@ -759,7 +759,7 @@ - + @@ -828,7 +828,7 @@ - + @@ -858,7 +858,7 @@ - + @@ -881,7 +881,7 @@ - + @@ -900,7 +900,7 @@ - + @@ -920,7 +920,7 @@ - + @@ -1014,7 +1014,7 @@ - + @@ -1022,7 +1022,7 @@ - + @@ -1036,7 +1036,7 @@ - + @@ -1062,7 +1062,7 @@ - + @@ -1176,16 +1176,16 @@ - + - + - + @@ -1193,11 +1193,11 @@ - + - - + + @@ -1272,7 +1272,7 @@ - + @@ -1331,7 +1331,7 @@ - + @@ -1387,7 +1387,7 @@ - + @@ -1481,7 +1481,7 @@ - + @@ -1498,14 +1498,14 @@ - + - + @@ -1625,7 +1625,7 @@ - + @@ -1682,7 +1682,7 @@ - + @@ -1827,7 +1827,7 @@ - + @@ -1862,7 +1862,7 @@ - + @@ -1926,13 +1926,13 @@ - + - + @@ -1947,14 +1947,14 @@ - + - + @@ -1975,7 +1975,7 @@ - + @@ -2276,7 +2276,7 @@ - + @@ -2295,7 +2295,7 @@ - + @@ -2355,7 +2355,7 @@ - + @@ -2498,13 +2498,13 @@ - + - + @@ -2519,7 +2519,7 @@ - + @@ -2552,7 +2552,7 @@ - + @@ -2595,7 +2595,7 @@ - + @@ -2605,7 +2605,7 @@ - + @@ -2764,7 +2764,7 @@ - + @@ -2885,7 +2885,7 @@ - + @@ -2961,7 +2961,7 @@ - + @@ -3013,7 +3013,7 @@ - + @@ -3026,7 +3026,7 @@ - + @@ -3196,7 +3196,7 @@ - + @@ -3204,11 +3204,11 @@ - + - - + + @@ -3269,7 +3269,7 @@ - + @@ -3718,7 +3718,7 @@ - + @@ -3774,7 +3774,7 @@ - + @@ -3880,7 +3880,7 @@ - + @@ -4028,7 +4028,7 @@ - + @@ -4037,7 +4037,7 @@ - + @@ -4071,7 +4071,7 @@ - + @@ -5468,7 +5468,7 @@ - + @@ -5500,7 +5500,7 @@ - + @@ -5508,11 +5508,11 @@ - + - - + + @@ -5551,10 +5551,10 @@ - + - - + + @@ -5573,11 +5573,11 @@ - + - + @@ -5592,7 +5592,7 @@ - + @@ -5605,10 +5605,10 @@ - + - + @@ -5622,11 +5622,11 @@ - + - + @@ -5651,7 +5651,7 @@ - + @@ -5689,7 +5689,7 @@ - + @@ -5697,11 +5697,11 @@ - + - - + + @@ -5778,10 +5778,10 @@ - + - + @@ -5791,7 +5791,7 @@ - + @@ -5824,7 +5824,7 @@ - + @@ -5850,7 +5850,7 @@ - + @@ -5960,7 +5960,7 @@ - + @@ -6097,7 +6097,7 @@ - + @@ -6157,7 +6157,7 @@ - + @@ -6170,7 +6170,7 @@ - + @@ -6179,7 +6179,7 @@ - + @@ -6200,7 +6200,7 @@ - + @@ -6224,7 +6224,7 @@ - + @@ -6252,7 +6252,7 @@ - + @@ -6265,13 +6265,13 @@ - + - + @@ -6292,7 +6292,7 @@ - + @@ -6378,7 +6378,7 @@ - + @@ -6448,14 +6448,14 @@ - + - + @@ -6508,18 +6508,18 @@ - + - + - - + + @@ -6602,7 +6602,7 @@ - + @@ -6716,7 +6716,7 @@ - + @@ -6734,7 +6734,7 @@ - + @@ -6742,11 +6742,11 @@ - - + + - + @@ -6778,7 +6778,7 @@ - + @@ -6804,11 +6804,11 @@ - - + + - + @@ -6840,7 +6840,7 @@ - + @@ -6860,7 +6860,7 @@ - + @@ -6877,7 +6877,7 @@ - + @@ -6887,7 +6887,7 @@ - + @@ -6896,7 +6896,7 @@ - + @@ -6918,7 +6918,7 @@ - + @@ -6945,8 +6945,8 @@ - - + + @@ -6982,11 +6982,11 @@ - - + + - + @@ -7018,7 +7018,7 @@ - + @@ -7035,11 +7035,11 @@ - + - + @@ -7049,7 +7049,7 @@ - + @@ -7060,7 +7060,7 @@ - + @@ -7079,7 +7079,7 @@ - + @@ -7087,11 +7087,11 @@ - - + + - + @@ -7123,7 +7123,7 @@ - + @@ -7144,7 +7144,7 @@ - + @@ -7164,14 +7164,14 @@ - + - + @@ -7179,7 +7179,7 @@ - + @@ -7191,8 +7191,8 @@ - - + + @@ -7228,11 +7228,11 @@ - - + + - + @@ -7264,7 +7264,7 @@ - + @@ -7281,11 +7281,11 @@ - + - + @@ -7295,13 +7295,13 @@ - + - + @@ -7340,14 +7340,14 @@ - + - + @@ -7387,7 +7387,7 @@ - + @@ -7430,7 +7430,7 @@ - + @@ -7465,10 +7465,10 @@ - + - + @@ -7540,11 +7540,11 @@ - + - - + + @@ -7574,7 +7574,7 @@ - + @@ -7648,13 +7648,13 @@ - + - - + + - + @@ -7679,7 +7679,7 @@ - + @@ -7742,11 +7742,11 @@ - + - + @@ -7768,7 +7768,7 @@ - + @@ -7785,7 +7785,7 @@ - + @@ -7845,7 +7845,7 @@ - + @@ -7884,7 +7884,7 @@ - + @@ -7897,7 +7897,7 @@ - + @@ -7986,13 +7986,13 @@ - + - - + + - + @@ -8017,7 +8017,7 @@ - + @@ -8116,7 +8116,7 @@ - + @@ -8163,10 +8163,10 @@ - + - + @@ -8199,7 +8199,7 @@ - + @@ -8219,7 +8219,7 @@ - + @@ -8286,7 +8286,7 @@ - + @@ -8300,7 +8300,7 @@ - + @@ -8388,10 +8388,10 @@ - + - + @@ -8408,7 +8408,7 @@ - + @@ -8458,7 +8458,7 @@ - + @@ -8478,7 +8478,7 @@ - + @@ -8496,7 +8496,7 @@ - + @@ -8520,7 +8520,7 @@ - + @@ -8532,11 +8532,11 @@ - + - - + + @@ -8546,11 +8546,11 @@ - + - + @@ -8575,7 +8575,7 @@ - + @@ -8600,13 +8600,13 @@ - + - + @@ -8657,7 +8657,7 @@ - + @@ -8671,7 +8671,7 @@ - + @@ -8759,10 +8759,10 @@ - + - + @@ -8779,7 +8779,7 @@ - + @@ -8790,7 +8790,7 @@ - + @@ -8857,13 +8857,13 @@ - + - - + + - + @@ -8919,7 +8919,7 @@ - + @@ -8948,7 +8948,7 @@ - + @@ -8963,13 +8963,13 @@ - + - + @@ -9175,10 +9175,10 @@ - + - + @@ -9222,7 +9222,7 @@ - + @@ -9258,7 +9258,7 @@ - + @@ -9353,7 +9353,7 @@ - + @@ -9475,8 +9475,8 @@ - - + + @@ -9523,7 +9523,7 @@ - + @@ -9587,7 +9587,7 @@ - + @@ -10751,7 +10751,7 @@ - + @@ -10784,7 +10784,7 @@ - + @@ -10798,7 +10798,7 @@ - + @@ -10845,7 +10845,7 @@ - + @@ -10883,7 +10883,7 @@ - + @@ -10894,7 +10894,7 @@ - + @@ -10915,7 +10915,7 @@ - + @@ -10926,7 +10926,7 @@ - + @@ -10966,18 +10966,18 @@ - + - + - + @@ -11019,8 +11019,8 @@ - - + + @@ -11056,7 +11056,7 @@ - + @@ -11066,7 +11066,7 @@ - + @@ -11088,7 +11088,7 @@ - + @@ -11133,7 +11133,7 @@ - + @@ -11170,8 +11170,8 @@ - - + + @@ -11207,18 +11207,18 @@ - + - + - + @@ -11227,7 +11227,7 @@ - + @@ -11269,7 +11269,7 @@ - + @@ -11304,8 +11304,8 @@ - - + + @@ -11338,18 +11338,18 @@ - + - + - + @@ -11357,7 +11357,7 @@ - + @@ -11396,7 +11396,7 @@ - + @@ -11430,8 +11430,8 @@ - - + + @@ -11459,7 +11459,7 @@ - + @@ -11734,7 +11734,7 @@ - + @@ -11893,7 +11893,7 @@ - + @@ -11968,7 +11968,7 @@ - + @@ -11999,7 +11999,7 @@ - + @@ -12042,7 +12042,7 @@ - + @@ -12658,7 +12658,7 @@ - + @@ -12689,7 +12689,7 @@ - + @@ -14185,7 +14185,7 @@ - + @@ -14201,7 +14201,7 @@ - + @@ -14322,7 +14322,7 @@ - + @@ -14570,7 +14570,7 @@ - + @@ -14579,12 +14579,12 @@ - + - + @@ -14593,14 +14593,14 @@ - + - + @@ -14613,7 +14613,7 @@ - + @@ -14648,7 +14648,7 @@ - + @@ -14685,7 +14685,7 @@ - + @@ -14893,7 +14893,7 @@ - + @@ -15106,24 +15106,24 @@ - + - + - + - + @@ -15135,7 +15135,7 @@ - + @@ -15206,7 +15206,7 @@ - + @@ -15227,7 +15227,7 @@ - + @@ -15259,7 +15259,7 @@ - + @@ -15274,7 +15274,7 @@ - + @@ -15298,7 +15298,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.runtime/models/jetbrains.mps.coderules.runtime.result.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.result.mps similarity index 99% rename from coderules/solutions/jetbrains.mps.coderules.runtime/models/jetbrains.mps.coderules.runtime.result.mps rename to coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.result.mps index 4b81e49e..b939173e 100644 --- a/coderules/solutions/jetbrains.mps.coderules.runtime/models/jetbrains.mps.coderules.runtime.result.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.result.mps @@ -1,5 +1,5 @@ - + @@ -190,6 +190,7 @@ + diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.template.mps similarity index 99% rename from coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps rename to coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.template.mps index 55c2ee08..cf4c3cd5 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.template.mps @@ -1,15 +1,13 @@ - + - - @@ -21,16 +19,16 @@ - - - - + + + + @@ -1476,7 +1474,7 @@ - + @@ -1531,7 +1529,7 @@ - + @@ -1660,7 +1658,7 @@ - + @@ -2068,8 +2066,8 @@ - - + + @@ -5234,7 +5232,7 @@ - + @@ -5246,7 +5244,7 @@ - + @@ -5254,12 +5252,12 @@ - + - + @@ -5267,7 +5265,7 @@ - + @@ -5295,7 +5293,7 @@ - + @@ -5338,7 +5336,7 @@ - + @@ -5353,7 +5351,7 @@ - + @@ -5367,7 +5365,7 @@ - + @@ -5375,7 +5373,7 @@ - + @@ -5389,7 +5387,7 @@ - + @@ -5953,7 +5951,7 @@ - + @@ -6857,7 +6855,7 @@ - + @@ -6865,7 +6863,7 @@ - + @@ -6875,7 +6873,7 @@ - + @@ -8175,7 +8173,7 @@ - + @@ -8504,7 +8502,7 @@ - + @@ -8529,7 +8527,7 @@ - + @@ -8545,7 +8543,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.terms.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.terms.mps index dd75d1f8..586222ff 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.terms.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.terms.mps @@ -1,14 +1,13 @@ - + - - + @@ -176,7 +175,7 @@ - + @@ -187,12 +186,12 @@ - + - + @@ -201,13 +200,13 @@ - + - + @@ -220,14 +219,14 @@ - - + + - - + + @@ -258,8 +257,8 @@ - - + + @@ -272,8 +271,8 @@ - - + + @@ -295,12 +294,12 @@ - + - + @@ -309,13 +308,13 @@ - + - + @@ -328,14 +327,14 @@ - - + + - - + + @@ -361,8 +360,8 @@ - - + + @@ -384,12 +383,12 @@ - + - + @@ -398,13 +397,13 @@ - + - + @@ -417,14 +416,14 @@ - - + + - - + + @@ -468,14 +467,14 @@ - - + + - - + + @@ -483,8 +482,8 @@ - - + + @@ -501,11 +500,11 @@ - + - + @@ -515,7 +514,7 @@ - + @@ -524,7 +523,7 @@ - + @@ -533,7 +532,7 @@ - + @@ -549,13 +548,13 @@ - + - + @@ -563,7 +562,7 @@ - + @@ -573,7 +572,7 @@ - + @@ -583,7 +582,7 @@ - + @@ -601,7 +600,7 @@ - + @@ -610,7 +609,7 @@ - + @@ -619,7 +618,7 @@ - + @@ -631,7 +630,7 @@ - + @@ -639,7 +638,7 @@ - + @@ -661,23 +660,23 @@ - + - + - + - + @@ -696,7 +695,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/behavior.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/behavior.mps index a6a82879..520b7c5f 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/behavior.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/behavior.mps @@ -10,10 +10,10 @@ - + @@ -113,7 +113,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.types/generator/templates/jetbrains.mps.lang.types.generator.templates@generator.mps b/coderules/languages/jetbrains.mps.lang.types/generator/templates/jetbrains.mps.lang.types.generator.templates@generator.mps index 0dda6974..66c263ba 100644 --- a/coderules/languages/jetbrains.mps.lang.types/generator/templates/jetbrains.mps.lang.types.generator.templates@generator.mps +++ b/coderules/languages/jetbrains.mps.lang.types/generator/templates/jetbrains.mps.lang.types.generator.templates@generator.mps @@ -16,11 +16,11 @@ - + @@ -296,7 +296,7 @@ - + @@ -320,8 +320,8 @@ - - + + @@ -357,7 +357,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.types/jetbrains.mps.lang.types.mpl b/coderules/languages/jetbrains.mps.lang.types/jetbrains.mps.lang.types.mpl index 72164a2f..d103ad08 100644 --- a/coderules/languages/jetbrains.mps.lang.types/jetbrains.mps.lang.types.mpl +++ b/coderules/languages/jetbrains.mps.lang.types/jetbrains.mps.lang.types.mpl @@ -31,7 +31,7 @@ 86ef8290-12bb-4ca7-947f-093788f263a9(jetbrains.mps.lang.project) f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime) 4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking) - 21d5540d-cd6b-44dd-b6ab-6835bf032803(jetbrains.mps.lang.coderules#4578927328670739933) + 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) @@ -67,9 +67,7 @@ - - @@ -86,8 +84,6 @@ - - diff --git a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps index 5d1ee7f1..4c1d3dfd 100644 --- a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps @@ -16,10 +16,10 @@ - - + + @@ -434,11 +434,11 @@ - - + + - - + + @@ -448,13 +448,13 @@ - - + + - - + + - + @@ -513,8 +513,8 @@ - - + + @@ -632,8 +632,8 @@ - - + + @@ -719,8 +719,8 @@ - - + + @@ -761,8 +761,8 @@ - - + + @@ -823,8 +823,8 @@ - - + + @@ -851,8 +851,8 @@ - - + + @@ -910,8 +910,8 @@ - - + + @@ -1026,7 +1026,7 @@ - + @@ -1108,17 +1108,17 @@ - + - - + + - - + + @@ -1145,8 +1145,8 @@ - - + + @@ -1200,8 +1200,8 @@ - - + + @@ -1214,8 +1214,8 @@ - - + + @@ -1263,7 +1263,7 @@ - + @@ -1327,7 +1327,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl index 63d34858..fc1d031e 100644 --- a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl +++ b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl @@ -28,6 +28,8 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) 5f9babc9-8d5d-4825-8e61-17b241ee6272(jetbrains.mps.baseLanguage.collections#1151699677197) + 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) @@ -56,6 +58,7 @@ + @@ -90,9 +93,11 @@ 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) - a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) 528ff3b9-5fc4-40dd-931f-c6ce3650640e(jetbrains.mps.lang.migration.runtime) c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.coderules) + 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) + bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) @@ -156,6 +161,7 @@ + @@ -169,9 +175,6 @@ - - a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) - f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps index 01361b51..9a74fb2b 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps @@ -12,10 +12,10 @@ - + @@ -231,7 +231,7 @@ - + @@ -250,7 +250,7 @@ - + @@ -265,7 +265,7 @@ - + @@ -345,7 +345,7 @@ - + @@ -376,7 +376,7 @@ - + @@ -406,7 +406,7 @@ - + @@ -431,7 +431,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps index 0c36422b..b3471ef4 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps @@ -3972,61 +3972,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps b/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps index 44bc9f3d..09c18e3d 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps @@ -22,9 +22,9 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps index c971deb6..9e2d702d 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps @@ -13,9 +13,9 @@ - + + - @@ -240,7 +240,7 @@ - + @@ -290,7 +290,7 @@ - + @@ -328,7 +328,7 @@ - + @@ -379,7 +379,7 @@ - + @@ -418,7 +418,7 @@ - + @@ -454,7 +454,7 @@ - + @@ -475,7 +475,7 @@ - + @@ -509,7 +509,7 @@ - + @@ -759,7 +759,7 @@ - + @@ -780,7 +780,7 @@ - + @@ -969,7 +969,7 @@ - + @@ -1298,7 +1298,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd b/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd index 95ceb36b..c040a456 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd +++ b/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd @@ -15,12 +15,11 @@ bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime) - f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime) + 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) - @@ -38,9 +37,7 @@ - - diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps index 66fd1d77..aa1e9d55 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps +++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps @@ -1,8 +1,8 @@ - + - + @@ -15,11 +15,11 @@ - - - + + + @@ -9872,8 +9872,8 @@ - - + + @@ -10502,8 +10502,8 @@ - - + + @@ -10791,8 +10791,8 @@ - - + + @@ -11182,7 +11182,7 @@ - + @@ -11190,7 +11190,7 @@ - + @@ -11288,7 +11288,7 @@ - + @@ -11385,7 +11385,7 @@ - + @@ -11457,7 +11457,7 @@ - + @@ -11465,14 +11465,14 @@ - + - + @@ -11506,7 +11506,7 @@ - + @@ -11514,14 +11514,14 @@ - + - + @@ -11555,7 +11555,7 @@ - + @@ -11564,7 +11564,7 @@ - + @@ -11572,7 +11572,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps index 3b3032f7..a4fa1fb3 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps +++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps @@ -1,5 +1,5 @@ - + @@ -11,9 +11,9 @@ - + @@ -251,7 +251,7 @@ - + @@ -539,7 +539,7 @@ - + @@ -584,7 +584,7 @@ - + @@ -795,7 +795,7 @@ - + @@ -803,7 +803,7 @@ - + @@ -811,7 +811,7 @@ - + @@ -987,7 +987,7 @@ - + @@ -1044,7 +1044,7 @@ - + @@ -1404,7 +1404,7 @@ - + @@ -1435,7 +1435,7 @@ - + @@ -1740,7 +1740,7 @@ - + @@ -1766,7 +1766,7 @@ - + @@ -1776,7 +1776,7 @@ - + @@ -1792,7 +1792,7 @@ - + @@ -1827,7 +1827,7 @@ - + @@ -1890,7 +1890,7 @@ - + @@ -1926,7 +1926,7 @@ - + @@ -1968,14 +1968,14 @@ - + - - + + @@ -1999,11 +1999,11 @@ - + - + @@ -2034,7 +2034,7 @@ - + @@ -2076,7 +2076,7 @@ - + @@ -2118,11 +2118,11 @@ - + - + @@ -2146,11 +2146,11 @@ - + - + @@ -2167,8 +2167,8 @@ - - + + @@ -2182,7 +2182,7 @@ - + @@ -2204,8 +2204,8 @@ - - + + @@ -2216,7 +2216,7 @@ - + @@ -2234,7 +2234,7 @@ - + @@ -2252,7 +2252,7 @@ - + @@ -2262,7 +2262,7 @@ - + @@ -2313,7 +2313,7 @@ - + @@ -2321,7 +2321,7 @@ - + @@ -2337,7 +2337,7 @@ - + @@ -2351,18 +2351,18 @@ - + - + - + @@ -2417,7 +2417,7 @@ - + @@ -2428,7 +2428,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl b/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl index f462c3aa..2146d509 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl @@ -57,9 +57,8 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) - 3a1f0f04-b5e0-43be-884e-b856bfdeca21(jetbrains.mps.typechecking.testlang) 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) - afc17aaf-3a3d-4d69-a38d-db90d5e858c6(jetbrains.mps.lang.types) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) @@ -119,23 +118,13 @@ - - - - - - - - - - diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps index 80a34c9f..5c93c7fd 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps @@ -13,7 +13,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 dbb8e017..89d41b9a 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 @@ -523,8 +523,8 @@ - - + + @@ -532,9 +532,6 @@ - - - @@ -544,9 +541,6 @@ - - - @@ -908,20 +902,20 @@ - - - + - - + + + + - + - + - + - + @@ -929,59 +923,71 @@ - - + + - - - - + + + - - - + + + - - + + - - - - - - - + + + + - - + + - + + + + + + + + + + + + + + + + + - - + + - + - + - + - + - + @@ -989,26 +995,11 @@ - + - - - - - - - - - - - - - - - @@ -1028,11 +1019,6 @@ - - - - - @@ -1068,9 +1054,6 @@ - - - @@ -1122,6 +1105,16 @@ + + + + + + + + + + @@ -1176,6 +1169,21 @@ + + + + + + + + + + + + + + + @@ -1204,12 +1212,6 @@ - - - - - - @@ -1258,11 +1260,26 @@ - - + + + + + + + + + + + + + + + + + @@ -1336,6 +1353,12 @@ + + + + + + @@ -1360,12 +1383,6 @@ - - - - - - @@ -1414,11 +1431,21 @@ + + + + + + + + + + - + @@ -1476,11 +1503,6 @@ - - - - - @@ -1529,6 +1551,11 @@ + + + + + @@ -1735,17 +1762,6 @@ - - - - - - - - - - - @@ -1756,11 +1772,6 @@ - - - - - @@ -1871,6 +1882,11 @@ + + + + + @@ -1965,26 +1981,6 @@ - - - - - - - - - - - - - - - - - - - - @@ -2116,11 +2112,6 @@ - - - - - @@ -2169,16 +2160,16 @@ - - - - - + + + + + @@ -2266,11 +2257,6 @@ - - - - - @@ -2301,27 +2287,12 @@ - - - - - - - - - - - - - - - @@ -2365,16 +2336,6 @@ - - - - - - - - - - @@ -2385,348 +2346,20 @@ - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2753,18 +2386,6 @@ - - - - - - - - - - - - @@ -2829,81 +2450,19 @@ - - - + + + - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -3065,17 +2624,21 @@ - - - - - - + + + + + + + + + + @@ -3122,12 +2685,6 @@ - - - - - - @@ -3188,15 +2745,234 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -3275,12 +3051,6 @@ - - - - - - @@ -3291,6 +3061,16 @@ + + + + + + + + + + @@ -3430,8 +3210,8 @@ - - + + @@ -3442,12 +3222,6 @@ - - - - - - @@ -3661,9 +3435,6 @@ - - - @@ -3731,8 +3502,9 @@ - - + + + @@ -3800,9 +3572,6 @@ - - - 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 3fd38212..b4105d8f 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 @@ -17,8 +17,9 @@ 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) - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) 63b449db-0918-4a4a-a891-2c430ab133e4(org.junit.junit5) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) + bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) @@ -56,14 +57,12 @@ - - diff --git a/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.aspect@tests.mps b/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.aspect@tests.mps index 14a6bfdf..421b3795 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.aspect@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.aspect@tests.mps @@ -8,8 +8,8 @@ - + @@ -212,15 +212,15 @@ - + - - + + @@ -259,7 +259,7 @@ - + @@ -357,15 +357,15 @@ - + - - + + @@ -403,7 +403,7 @@ - + @@ -427,7 +427,7 @@ - + @@ -438,7 +438,7 @@ - + @@ -584,15 +584,15 @@ - + - - + + @@ -671,7 +671,7 @@ - + @@ -894,15 +894,15 @@ - + - - + + @@ -987,7 +987,7 @@ - + @@ -1266,15 +1266,15 @@ - + - - + + @@ -1359,7 +1359,7 @@ - + @@ -1570,15 +1570,15 @@ - + - - + + @@ -1666,7 +1666,7 @@ - + @@ -1859,15 +1859,15 @@ - + - - + + @@ -1949,7 +1949,7 @@ - + @@ -2055,15 +2055,15 @@ - + - - + + @@ -2136,7 +2136,7 @@ - + @@ -2169,7 +2169,7 @@ - + @@ -2364,7 +2364,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.testhelper/jetbrains.mps.coderules.testhelper.msd b/coderules/solutions/jetbrains.mps.coderules.testhelper/jetbrains.mps.coderules.testhelper.msd index 78593eef..e5091bdf 100644 --- a/coderules/solutions/jetbrains.mps.coderules.testhelper/jetbrains.mps.coderules.testhelper.msd +++ b/coderules/solutions/jetbrains.mps.coderules.testhelper/jetbrains.mps.coderules.testhelper.msd @@ -16,15 +16,11 @@ ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) - 8585453e-6bfb-4d80-98de-b16074f1d86c(jetbrains.mps.lang.test) - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime) c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.coderules) 7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem) - f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime) @@ -52,9 +48,7 @@ - - @@ -62,14 +56,12 @@ - - diff --git a/coderules/solutions/jetbrains.mps.coderules.testhelper/models/jetbrains.mps.coderules.testhelper.testutil.mps b/coderules/solutions/jetbrains.mps.coderules.testhelper/models/jetbrains.mps.coderules.testhelper.testutil.mps index 4a0d6c81..5c2582cd 100644 --- a/coderules/solutions/jetbrains.mps.coderules.testhelper/models/jetbrains.mps.coderules.testhelper.testutil.mps +++ b/coderules/solutions/jetbrains.mps.coderules.testhelper/models/jetbrains.mps.coderules.testhelper.testutil.mps @@ -16,10 +16,8 @@ - - @@ -29,15 +27,17 @@ - - + + + + @@ -651,7 +651,7 @@ - + @@ -775,7 +775,7 @@ - + @@ -855,7 +855,7 @@ - + @@ -865,7 +865,7 @@ - + @@ -880,7 +880,7 @@ - + @@ -919,7 +919,7 @@ - + @@ -971,7 +971,7 @@ - + @@ -1189,7 +1189,7 @@ - + @@ -1277,7 +1277,7 @@ - + @@ -1340,7 +1340,7 @@ - + @@ -1366,7 +1366,7 @@ - + @@ -1376,11 +1376,11 @@ - + - - + + @@ -1410,7 +1410,7 @@ - + @@ -1456,7 +1456,7 @@ - + @@ -1469,7 +1469,7 @@ - + @@ -1735,7 +1735,7 @@ - + @@ -1901,7 +1901,7 @@ - + @@ -1959,8 +1959,8 @@ - - + + @@ -2060,7 +2060,7 @@ - + @@ -2317,11 +2317,11 @@ - + - - + + @@ -2666,8 +2666,8 @@ - - + + @@ -4527,7 +4527,7 @@ - + @@ -4535,7 +4535,7 @@ - + @@ -4578,7 +4578,7 @@ - + @@ -4975,7 +4975,7 @@ - + @@ -5626,7 +5626,7 @@ - + @@ -6993,7 +6993,7 @@ - + @@ -7108,7 +7108,7 @@ - + @@ -9264,7 +9264,7 @@ - + @@ -9310,7 +9310,7 @@ - + @@ -9356,7 +9356,7 @@ - + @@ -9432,12 +9432,12 @@ - + - + @@ -9483,7 +9483,7 @@ - + @@ -9526,7 +9526,7 @@ - + @@ -9672,7 +9672,7 @@ - + @@ -9681,7 +9681,7 @@ - + @@ -9700,7 +9700,7 @@ - + @@ -9736,7 +9736,7 @@ - + @@ -9773,7 +9773,7 @@ - + @@ -9803,7 +9803,7 @@ - + @@ -9834,7 +9834,7 @@ - + @@ -9864,7 +9864,7 @@ - + @@ -9884,7 +9884,7 @@ - + @@ -9893,7 +9893,7 @@ - + @@ -9906,7 +9906,7 @@ - + @@ -9915,7 +9915,7 @@ - + @@ -9929,7 +9929,7 @@ - + @@ -9938,7 +9938,7 @@ - + @@ -9951,7 +9951,7 @@ - + @@ -9960,7 +9960,7 @@ - + @@ -9973,7 +9973,7 @@ - + @@ -9982,7 +9982,7 @@ - + @@ -9995,7 +9995,7 @@ - + @@ -10004,7 +10004,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd index 5458ae1f..b380a6c0 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd @@ -14,23 +14,16 @@ 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) - a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime) f9bad4b1-59da-4f20-8feb-9f4cc4ad872e(jetbrains.mps.coderules.typechecking.testlang.sandbox) 3a1f0f04-b5e0-43be-884e-b856bfdeca21(jetbrains.mps.typechecking.testlang) b189d6c6-9397-4d64-88af-1ac73760a4f5(jetbrains.mps.logic.test) - ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) - c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.coderules) - f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) - f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime) - 7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem) f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) - 8585453e-6bfb-4d80-98de-b16074f1d86c(jetbrains.mps.lang.test) - 02473356-2f59-4de1-ba87-e88f9d606180(jetbrains.mps.coderules.testhelper) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) @@ -62,36 +55,15 @@ - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps index 6f758088..0c15fa8b 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps @@ -14,7 +14,6 @@ - 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 a1aca652..6a5d1af2 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 @@ -24,25 +24,21 @@ - - - - - - - - - + + + + + @@ -680,18 +676,18 @@ - + - + - - + + @@ -724,7 +720,7 @@ - + @@ -735,7 +731,7 @@ - + @@ -750,7 +746,7 @@ - + @@ -823,7 +819,7 @@ - + @@ -852,7 +848,7 @@ - + @@ -866,7 +862,7 @@ - + @@ -880,7 +876,7 @@ - + @@ -972,7 +968,7 @@ - + @@ -1006,7 +1002,7 @@ - + @@ -1041,7 +1037,7 @@ - + @@ -1066,7 +1062,7 @@ - + @@ -1080,7 +1076,7 @@ - + @@ -1166,7 +1162,7 @@ - + @@ -1200,7 +1196,7 @@ - + @@ -1251,7 +1247,7 @@ - + @@ -1281,7 +1277,7 @@ - + @@ -1306,7 +1302,7 @@ - + @@ -1409,7 +1405,7 @@ - + @@ -1443,7 +1439,7 @@ - + @@ -1457,7 +1453,7 @@ - + @@ -1475,7 +1471,7 @@ - + @@ -1525,7 +1521,7 @@ - + @@ -1539,7 +1535,7 @@ - + @@ -1557,7 +1553,7 @@ - + @@ -1586,7 +1582,7 @@ - + @@ -1611,7 +1607,7 @@ - + @@ -1734,16 +1730,16 @@ - + - + - + @@ -1752,7 +1748,7 @@ - + @@ -1814,16 +1810,16 @@ - + - + - + @@ -1832,7 +1828,7 @@ - + @@ -1873,7 +1869,7 @@ - + @@ -1907,7 +1903,7 @@ - + @@ -1921,7 +1917,7 @@ - + @@ -1955,7 +1951,7 @@ - + @@ -1967,7 +1963,7 @@ - + @@ -1981,7 +1977,7 @@ - + @@ -2073,7 +2069,7 @@ - + @@ -2107,7 +2103,7 @@ - + @@ -2121,7 +2117,7 @@ - + @@ -2152,7 +2148,7 @@ - + @@ -2227,7 +2223,7 @@ - + @@ -2241,7 +2237,7 @@ - + @@ -2345,7 +2341,7 @@ - + @@ -2359,7 +2355,7 @@ - + @@ -2390,7 +2386,7 @@ - + @@ -2487,7 +2483,7 @@ - + @@ -2515,7 +2511,7 @@ - + @@ -2544,7 +2540,7 @@ - + @@ -2558,7 +2554,7 @@ - + @@ -3190,7 +3186,7 @@ - + @@ -3205,7 +3201,7 @@ - + @@ -3260,7 +3256,7 @@ - + @@ -3280,7 +3276,7 @@ - + @@ -3417,7 +3413,7 @@ - + @@ -3528,7 +3524,7 @@ - + @@ -3599,7 +3595,7 @@ - + @@ -3653,7 +3649,7 @@ - + @@ -3695,11 +3691,11 @@ - + - - + + @@ -3713,7 +3709,7 @@ - + @@ -3745,7 +3741,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 3c02e387..ab8c7f3e 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 @@ -13,7 +13,6 @@ 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) - a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) @@ -22,9 +21,7 @@ 0b80a2e8-f9f1-47b3-823f-56eb115bca42(jetbrains.mps.typechecking.annotation) 7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem) 49808fad-9d41-4b96-83fa-9231640f6b2b(JUnit) - 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) 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) @@ -32,6 +29,7 @@ bfbdd672-7ff5-403f-af4f-16da5226f34c(jetbrains.mps.findUsages.runtime) 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) 3a8d80d2-32d9-f1f2-4443-6a1111e12ef3(MPS.Boot) + bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) @@ -47,11 +45,9 @@ - - @@ -70,7 +66,6 @@ - @@ -79,7 +74,6 @@ - @@ -89,7 +83,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 760bab73..e4ab0be9 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 @@ -4,19 +4,15 @@ - - - - @@ -36,7 +32,6 @@ - @@ -48,7 +43,6 @@ - @@ -69,7 +63,6 @@ - @@ -79,6 +72,9 @@ + + + @@ -928,7 +924,7 @@ - + @@ -937,8 +933,8 @@ - - + + @@ -949,8 +945,8 @@ - - + + @@ -959,7 +955,7 @@ - + @@ -972,7 +968,7 @@ - + @@ -980,8 +976,8 @@ - - + + @@ -990,7 +986,7 @@ - + @@ -1004,7 +1000,7 @@ - + @@ -1019,8 +1015,8 @@ - - + + @@ -1029,7 +1025,7 @@ - + @@ -1073,8 +1069,8 @@ - - + + @@ -1083,7 +1079,7 @@ - + @@ -1167,7 +1163,7 @@ - + @@ -1203,7 +1199,7 @@ - + @@ -1239,7 +1235,7 @@ - + @@ -2976,7 +2972,7 @@ - + @@ -5432,7 +5428,7 @@ - + @@ -5452,7 +5448,7 @@ - + @@ -5584,7 +5580,7 @@ - + @@ -6494,7 +6490,7 @@ - + @@ -6591,7 +6587,7 @@ - + @@ -6635,7 +6631,7 @@ - + @@ -6646,7 +6642,7 @@ - + @@ -6658,7 +6654,7 @@ - + @@ -6720,7 +6716,7 @@ - + @@ -6791,7 +6787,7 @@ - + @@ -6926,7 +6922,7 @@ - + @@ -6961,7 +6957,7 @@ - + @@ -6978,7 +6974,7 @@ - + @@ -7000,7 +6996,7 @@ - + @@ -7043,7 +7039,7 @@ - + @@ -7055,7 +7051,7 @@ - + @@ -7085,7 +7081,7 @@ - + @@ -7103,7 +7099,7 @@ - + @@ -7582,7 +7578,7 @@ - + @@ -8446,7 +8442,7 @@ - + @@ -8469,7 +8465,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 b15a9020..50515ec1 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 @@ -12,7 +12,6 @@ - @@ -37,23 +36,23 @@ - - - - + + + + @@ -6393,18 +6392,18 @@ - + - + - + @@ -7249,7 +7248,7 @@ - + @@ -7732,7 +7731,7 @@ - + @@ -10990,7 +10989,7 @@ - + @@ -12155,7 +12154,7 @@ - + @@ -12223,7 +12222,7 @@ - + @@ -12270,7 +12269,7 @@ - + @@ -12317,7 +12316,7 @@ - + @@ -12357,7 +12356,7 @@ - + @@ -12440,7 +12439,7 @@ - + @@ -12470,7 +12469,7 @@ - + @@ -12517,7 +12516,7 @@ - + @@ -12542,7 +12541,7 @@ - + @@ -12766,7 +12765,7 @@ - + @@ -12838,7 +12837,7 @@ - + @@ -12919,8 +12918,8 @@ - - + + @@ -12933,14 +12932,14 @@ - + - + @@ -12954,14 +12953,14 @@ - + - + @@ -12989,10 +12988,10 @@ - + - + @@ -13044,10 +13043,10 @@ - + - + @@ -13063,7 +13062,7 @@ - + @@ -13080,10 +13079,10 @@ - + - + @@ -13100,7 +13099,7 @@ - + @@ -13512,7 +13511,7 @@ - + @@ -13552,7 +13551,7 @@ - + @@ -13597,10 +13596,10 @@ - + - + @@ -13616,7 +13615,7 @@ - + @@ -13691,10 +13690,10 @@ - + - + @@ -13718,7 +13717,7 @@ - + @@ -13748,7 +13747,7 @@ - + @@ -13896,7 +13895,7 @@ - + @@ -13927,14 +13926,14 @@ - + - + @@ -13952,7 +13951,7 @@ - + @@ -14031,7 +14030,7 @@ - + @@ -14049,7 +14048,7 @@ - + @@ -14070,7 +14069,7 @@ - + @@ -14136,7 +14135,7 @@ - + @@ -14163,10 +14162,10 @@ - + - + @@ -14182,7 +14181,7 @@ - + @@ -14284,10 +14283,10 @@ - + - + @@ -14318,7 +14317,7 @@ - + @@ -14491,7 +14490,7 @@ - + @@ -14584,10 +14583,10 @@ - + - + @@ -14603,7 +14602,7 @@ - + @@ -14816,7 +14815,7 @@ - + @@ -15132,7 +15131,7 @@ - + @@ -15347,7 +15346,7 @@ - + @@ -15392,7 +15391,7 @@ - + @@ -16249,7 +16248,7 @@ - + @@ -16637,7 +16636,7 @@ - + @@ -16647,7 +16646,7 @@ - + @@ -16673,7 +16672,7 @@ - + @@ -16828,7 +16827,7 @@ - + @@ -16965,7 +16964,7 @@ - + @@ -16996,7 +16995,7 @@ - + @@ -17037,7 +17036,7 @@ - + @@ -17733,7 +17732,7 @@ - + @@ -17820,7 +17819,7 @@ - + @@ -18200,7 +18199,7 @@ - + @@ -18216,7 +18215,7 @@ - + @@ -20510,7 +20509,7 @@ - + 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 f72ab659..c60879ba 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 @@ -1,7 +1,7 @@ - + @@ -16,10 +16,11 @@ f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) - a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) @@ -49,10 +50,8 @@ - - diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps index fda355e1..db9927e1 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps @@ -52,8 +52,6 @@ - - @@ -84,7 +82,6 @@ - @@ -106,6 +103,9 @@ + + + @@ -20778,7 +20778,7 @@ - + @@ -20810,7 +20810,7 @@ - + @@ -20959,7 +20959,7 @@ - + @@ -21002,7 +21002,7 @@ - + @@ -21630,12 +21630,12 @@ - + - + @@ -21695,7 +21695,7 @@ - + @@ -21757,7 +21757,7 @@ - + @@ -22115,7 +22115,7 @@ - + @@ -22140,7 +22140,7 @@ - + @@ -23455,11 +23455,11 @@ - + - + @@ -23490,7 +23490,7 @@ - + @@ -23900,11 +23900,11 @@ - + - + diff --git a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd index 3a6556ac..b738a514 100644 --- a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd +++ b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd @@ -25,8 +25,9 @@ 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) - f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime) 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) + bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) @@ -56,11 +57,9 @@ - - diff --git a/coderules/solutions/jetbrains.mps.coderules/models/jetbrains.mps.coderules.mps b/coderules/solutions/jetbrains.mps.coderules/models/jetbrains.mps.coderules.mps index b0098786..a47f252e 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/jetbrains.mps.coderules.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/jetbrains.mps.coderules.mps @@ -8,8 +8,8 @@ - + @@ -130,8 +130,8 @@ - - + + @@ -153,8 +153,8 @@ - - + + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps index 355dbc18..af14c3c8 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps @@ -25,11 +25,11 @@ - - + + @@ -4616,14 +4616,14 @@ - - + + - + @@ -4634,11 +4634,11 @@ - + - + @@ -4789,7 +4789,7 @@ - + @@ -4806,7 +4806,7 @@ - + @@ -4877,7 +4877,7 @@ - + @@ -4887,7 +4887,7 @@ - + @@ -4896,7 +4896,7 @@ - + @@ -4953,7 +4953,7 @@ - + @@ -4964,7 +4964,7 @@ - + @@ -4985,18 +4985,18 @@ - + - + - + @@ -5007,14 +5007,14 @@ - + - + @@ -5024,15 +5024,15 @@ - + - + - + @@ -5041,7 +5041,7 @@ - + @@ -5055,7 +5055,7 @@ - + @@ -5069,7 +5069,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps index 46c66e6e..58d6af4a 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps @@ -18,7 +18,6 @@ - @@ -28,21 +27,22 @@ - - - - - + + + + + + @@ -632,7 +632,7 @@ - + @@ -681,11 +681,11 @@ - - + + - + @@ -986,7 +986,7 @@ - + @@ -1025,7 +1025,7 @@ - + @@ -1140,7 +1140,7 @@ - + @@ -1171,7 +1171,7 @@ - + @@ -1230,13 +1230,13 @@ - + - + @@ -1824,10 +1824,10 @@ - - + + - + @@ -1954,8 +1954,8 @@ - - + + @@ -2013,11 +2013,11 @@ - + - - + + @@ -2105,7 +2105,7 @@ - + @@ -2164,7 +2164,7 @@ - + @@ -2250,7 +2250,7 @@ - + @@ -3970,7 +3970,7 @@ - + @@ -4038,7 +4038,7 @@ - + @@ -4099,7 +4099,7 @@ - + @@ -4112,7 +4112,7 @@ - + @@ -4168,7 +4168,7 @@ - + @@ -4185,7 +4185,7 @@ - + @@ -4288,11 +4288,11 @@ - + - - + + @@ -4425,11 +4425,11 @@ - + - - + + @@ -4753,7 +4753,7 @@ - + @@ -4782,7 +4782,7 @@ - + @@ -4796,7 +4796,7 @@ - + @@ -4887,8 +4887,8 @@ - - + + @@ -4911,8 +4911,8 @@ - - + + @@ -5028,7 +5028,7 @@ - + @@ -5040,7 +5040,7 @@ - + @@ -5097,7 +5097,7 @@ - + @@ -5115,7 +5115,7 @@ - + @@ -5161,7 +5161,7 @@ - + @@ -5182,7 +5182,7 @@ - + @@ -5199,7 +5199,7 @@ - + @@ -5298,7 +5298,7 @@ - + @@ -5402,8 +5402,8 @@ - - + + @@ -5465,7 +5465,7 @@ - + @@ -5499,8 +5499,8 @@ - - + + @@ -5554,7 +5554,7 @@ - + @@ -5595,7 +5595,7 @@ - + @@ -6136,14 +6136,14 @@ - + - - + + @@ -6377,7 +6377,7 @@ - + @@ -6428,7 +6428,7 @@ - + @@ -6542,7 +6542,7 @@ - + @@ -6940,7 +6940,7 @@ - + @@ -7008,7 +7008,7 @@ - + @@ -7048,7 +7048,7 @@ - + @@ -7087,7 +7087,7 @@ - + @@ -7447,7 +7447,7 @@ - + @@ -8492,11 +8492,11 @@ - + - + @@ -8512,7 +8512,7 @@ - + @@ -8522,11 +8522,11 @@ - + - + @@ -8719,7 +8719,7 @@ - + @@ -8728,11 +8728,11 @@ - + - + @@ -9105,7 +9105,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd b/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd index d70f54a1..2b650d7f 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd @@ -10,39 +10,9 @@ - - 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) - a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) - 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) - 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) - f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime) - 3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations) - - - - - - - - - - - - - - - - + - - - - - - - diff --git a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd index e5176863..988dbbba 100644 --- a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd +++ b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd @@ -12,8 +12,9 @@ 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects) + 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) + 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) @@ -31,7 +32,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps index eefa2861..48eea005 100644 --- a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps +++ b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps @@ -10,12 +10,11 @@ - - - + + @@ -101,7 +100,7 @@ - + @@ -109,14 +108,14 @@ - - + + - - + + @@ -128,7 +127,7 @@ - + @@ -146,7 +145,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd b/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd index 66cb22b0..c40528d6 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd +++ b/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd @@ -13,10 +13,12 @@ - a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 49808fad-9d41-4b96-83fa-9231640f6b2b(JUnit) + 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) + bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) @@ -43,7 +45,6 @@ - diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps index fd3192af..11b24356 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps +++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps @@ -14,11 +14,11 @@ - - - + + + @@ -333,7 +333,7 @@ - + @@ -375,8 +375,8 @@ - - + + @@ -388,14 +388,14 @@ - + - + @@ -447,7 +447,7 @@ - + @@ -463,11 +463,11 @@ - + - + @@ -522,8 +522,8 @@ - - + + @@ -551,8 +551,8 @@ - - + + @@ -564,14 +564,14 @@ - + - + @@ -624,7 +624,7 @@ - + @@ -640,7 +640,7 @@ - + @@ -651,12 +651,12 @@ - + - + @@ -672,11 +672,11 @@ - + - + @@ -741,8 +741,8 @@ - - + + @@ -770,8 +770,8 @@ - - + + @@ -796,11 +796,11 @@ - + - - + + @@ -825,11 +825,11 @@ - + - - + + @@ -857,8 +857,8 @@ - - + + @@ -870,7 +870,7 @@ - + @@ -880,7 +880,7 @@ - + @@ -933,7 +933,7 @@ - + @@ -949,11 +949,11 @@ - + - + @@ -977,11 +977,11 @@ - + - + @@ -1002,11 +1002,11 @@ - + - + @@ -1059,8 +1059,8 @@ - - + + @@ -1088,8 +1088,8 @@ - - + + @@ -1117,8 +1117,8 @@ - - + + @@ -1146,8 +1146,8 @@ - - + + @@ -1175,7 +1175,7 @@ - + @@ -1188,14 +1188,14 @@ - + - + @@ -1224,14 +1224,14 @@ - + - + @@ -1279,8 +1279,8 @@ - - + + @@ -1292,14 +1292,14 @@ - + - + @@ -1352,11 +1352,11 @@ - + - + @@ -1381,11 +1381,11 @@ - + - + @@ -1410,11 +1410,11 @@ - + - + @@ -1440,7 +1440,7 @@ - + @@ -1514,7 +1514,7 @@ - + @@ -1562,11 +1562,11 @@ - + - - + + @@ -1591,11 +1591,11 @@ - + - - + + @@ -1620,11 +1620,11 @@ - + - - + + @@ -1649,11 +1649,11 @@ - + - - + + @@ -1681,8 +1681,8 @@ - - + + @@ -1710,8 +1710,8 @@ - - + + @@ -1739,8 +1739,8 @@ - - + + @@ -1768,7 +1768,7 @@ - + @@ -1781,14 +1781,14 @@ - + - + @@ -1817,11 +1817,11 @@ - + - + @@ -1846,11 +1846,11 @@ - + - + @@ -1875,11 +1875,11 @@ - + - + @@ -1905,7 +1905,7 @@ - + @@ -1938,7 +1938,7 @@ - + @@ -1989,8 +1989,8 @@ - - + + @@ -2018,8 +2018,8 @@ - - + + @@ -2047,8 +2047,8 @@ - - + + @@ -2076,11 +2076,11 @@ - + - - + + @@ -2105,7 +2105,7 @@ - + @@ -2134,8 +2134,8 @@ - - + + @@ -2163,11 +2163,11 @@ - + - - + + @@ -2192,7 +2192,7 @@ - + @@ -2221,8 +2221,8 @@ - - + + @@ -2250,11 +2250,11 @@ - + - - + + @@ -2282,7 +2282,7 @@ - + @@ -2295,14 +2295,14 @@ - + - + @@ -2336,7 +2336,7 @@ - + @@ -2347,7 +2347,7 @@ - + @@ -2365,13 +2365,13 @@ - + - + @@ -2382,7 +2382,7 @@ - + @@ -2392,7 +2392,7 @@ - + @@ -2430,7 +2430,7 @@ - + @@ -2447,7 +2447,7 @@ - + @@ -2464,7 +2464,7 @@ - + @@ -2535,7 +2535,7 @@ - + @@ -2562,7 +2562,7 @@ - + @@ -2589,7 +2589,7 @@ - + @@ -2616,7 +2616,7 @@ - + @@ -2633,7 +2633,7 @@ - + @@ -2862,13 +2862,13 @@ - + - + @@ -2898,7 +2898,7 @@ - + @@ -2921,7 +2921,7 @@ - + @@ -2945,7 +2945,7 @@ - + @@ -2966,8 +2966,8 @@ - - + + @@ -2990,7 +2990,7 @@ - + @@ -3015,7 +3015,7 @@ - + @@ -3048,7 +3048,7 @@ - + @@ -3089,7 +3089,7 @@ - + @@ -3116,8 +3116,8 @@ - - + + @@ -3140,7 +3140,7 @@ - + @@ -3163,7 +3163,7 @@ - + @@ -3197,7 +3197,7 @@ - + @@ -3231,8 +3231,8 @@ - - + + @@ -3252,7 +3252,7 @@ - + @@ -3285,7 +3285,7 @@ - + @@ -3319,7 +3319,7 @@ - + @@ -3343,8 +3343,8 @@ - - + + @@ -3364,7 +3364,7 @@ - + @@ -3380,7 +3380,7 @@ - + @@ -3397,7 +3397,7 @@ - + @@ -3421,8 +3421,8 @@ - - + + @@ -3442,7 +3442,7 @@ - + @@ -3462,7 +3462,7 @@ - + @@ -3487,7 +3487,7 @@ - + @@ -3515,8 +3515,8 @@ - - + + @@ -3536,7 +3536,7 @@ - + @@ -3554,7 +3554,7 @@ - + @@ -3571,7 +3571,7 @@ - + @@ -3593,8 +3593,8 @@ - - + + @@ -3612,14 +3612,14 @@ - + - + @@ -3637,11 +3637,11 @@ - + - + @@ -3667,11 +3667,11 @@ - + - + @@ -3702,8 +3702,8 @@ - - + + @@ -3727,7 +3727,7 @@ - + @@ -3739,7 +3739,7 @@ - + @@ -3767,7 +3767,7 @@ - + @@ -3786,7 +3786,7 @@ - + @@ -3862,7 +3862,7 @@ - + @@ -3885,7 +3885,7 @@ - + @@ -3938,7 +3938,7 @@ - + @@ -3962,7 +3962,7 @@ - + @@ -4002,7 +4002,7 @@ - + @@ -4036,7 +4036,7 @@ - + @@ -4086,7 +4086,7 @@ - + @@ -4120,7 +4120,7 @@ - + @@ -4170,7 +4170,7 @@ - + @@ -4187,7 +4187,7 @@ - + @@ -4220,7 +4220,7 @@ - + @@ -4237,7 +4237,7 @@ - + @@ -4277,7 +4277,7 @@ - + @@ -4302,8 +4302,8 @@ - - + + @@ -4317,8 +4317,8 @@ - - + + @@ -4334,7 +4334,7 @@ - + @@ -4370,8 +4370,8 @@ - - + + @@ -4385,8 +4385,8 @@ - - + + @@ -4402,7 +4402,7 @@ - + @@ -4448,8 +4448,8 @@ - - + + @@ -4463,8 +4463,8 @@ - - + + @@ -4486,11 +4486,11 @@ - + - - + + @@ -4502,8 +4502,8 @@ - - + + @@ -4518,11 +4518,11 @@ - + - - + + @@ -4542,8 +4542,8 @@ - - + + @@ -4557,8 +4557,8 @@ - - + + @@ -4574,11 +4574,11 @@ - + - - + + @@ -4597,8 +4597,8 @@ - - + + @@ -4624,8 +4624,8 @@ - - + + @@ -4639,8 +4639,8 @@ - - + + @@ -4662,14 +4662,14 @@ - + - - + + - - + + @@ -4685,8 +4685,8 @@ - - + + @@ -4701,14 +4701,14 @@ - + - - + + - - + + @@ -4738,8 +4738,8 @@ - - + + @@ -4753,8 +4753,8 @@ - - + + @@ -4770,17 +4770,17 @@ - + - - + + - - + + - - + + @@ -4807,8 +4807,8 @@ - - + + @@ -4835,8 +4835,8 @@ - - + + @@ -4850,8 +4850,8 @@ - - + + @@ -4875,7 +4875,7 @@ - + @@ -4885,7 +4885,7 @@ - + @@ -4919,7 +4919,7 @@ - + @@ -4945,7 +4945,7 @@ - + @@ -4975,7 +4975,7 @@ - + @@ -5005,7 +5005,7 @@ - + @@ -5035,7 +5035,7 @@ - + @@ -5075,7 +5075,7 @@ - + @@ -5101,7 +5101,7 @@ - + @@ -5137,7 +5137,7 @@ - + @@ -5165,7 +5165,7 @@ - + @@ -5198,12 +5198,12 @@ - + - + @@ -6041,7 +6041,7 @@ - + @@ -6136,21 +6136,21 @@ - + - + - + @@ -6196,7 +6196,7 @@ - + @@ -6272,13 +6272,13 @@ - + - + @@ -6294,7 +6294,7 @@ - + @@ -6349,7 +6349,7 @@ - + @@ -6450,7 +6450,7 @@ - + @@ -6473,8 +6473,8 @@ - - + + @@ -6496,7 +6496,7 @@ - + @@ -6506,8 +6506,8 @@ - - + + @@ -6541,8 +6541,8 @@ - - + + @@ -6554,7 +6554,7 @@ - + @@ -6590,8 +6590,8 @@ - - + + @@ -6625,8 +6625,8 @@ - - + + @@ -6638,7 +6638,7 @@ - + @@ -6674,8 +6674,8 @@ - - + + @@ -6687,7 +6687,7 @@ - + @@ -6719,7 +6719,7 @@ - + @@ -6728,8 +6728,8 @@ - - + + @@ -6740,8 +6740,8 @@ - - + + diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps index 33470112..97a8f4c4 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps +++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps @@ -13,8 +13,8 @@ - - + + @@ -601,7 +601,7 @@ - + @@ -637,7 +637,7 @@ - + @@ -692,7 +692,7 @@ - + @@ -717,7 +717,7 @@ - + @@ -753,7 +753,7 @@ - + @@ -797,7 +797,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps index c11fa935..1e6a53bc 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps +++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps @@ -15,9 +15,9 @@ - - + + @@ -440,7 +440,7 @@ - + @@ -451,7 +451,7 @@ - + @@ -487,7 +487,7 @@ - + @@ -505,7 +505,7 @@ - + @@ -548,7 +548,7 @@ - + @@ -566,7 +566,7 @@ - + @@ -636,7 +636,7 @@ - + @@ -650,7 +650,7 @@ - + @@ -664,7 +664,7 @@ - + @@ -679,7 +679,7 @@ - + @@ -808,7 +808,7 @@ - + @@ -822,7 +822,7 @@ - + @@ -836,7 +836,7 @@ - + @@ -850,7 +850,7 @@ - + @@ -864,7 +864,7 @@ - + @@ -1020,7 +1020,7 @@ - + @@ -1051,7 +1051,7 @@ - + @@ -1100,7 +1100,7 @@ - + @@ -1139,7 +1139,7 @@ - + @@ -1167,7 +1167,7 @@ - + @@ -1191,7 +1191,7 @@ - + @@ -1256,7 +1256,7 @@ - + @@ -1289,7 +1289,7 @@ - + @@ -1370,7 +1370,7 @@ - + @@ -1401,7 +1401,7 @@ - + @@ -1459,7 +1459,7 @@ - + @@ -1473,7 +1473,7 @@ - + @@ -1524,7 +1524,7 @@ - + @@ -1575,7 +1575,7 @@ - + @@ -1647,7 +1647,7 @@ - + @@ -1686,7 +1686,7 @@ - + @@ -1742,7 +1742,7 @@ - + @@ -1781,7 +1781,7 @@ - + @@ -1847,7 +1847,7 @@ - + @@ -1886,7 +1886,7 @@ - + @@ -1957,7 +1957,7 @@ - + @@ -1979,7 +1979,7 @@ - + @@ -2003,7 +2003,7 @@ - + @@ -2067,7 +2067,7 @@ - + @@ -2085,7 +2085,7 @@ - + @@ -2103,7 +2103,7 @@ - + @@ -2121,7 +2121,7 @@ - + @@ -2158,7 +2158,7 @@ - + @@ -2172,7 +2172,7 @@ - + @@ -2186,7 +2186,7 @@ - + @@ -2249,7 +2249,7 @@ - + @@ -2260,7 +2260,7 @@ - + @@ -2272,7 +2272,7 @@ - + @@ -2308,7 +2308,7 @@ - + @@ -2326,7 +2326,7 @@ - + @@ -2349,7 +2349,7 @@ - + @@ -2363,7 +2363,7 @@ - + @@ -2377,7 +2377,7 @@ - + @@ -2440,7 +2440,7 @@ - + @@ -2474,7 +2474,7 @@ - + @@ -2489,7 +2489,7 @@ - + @@ -2503,7 +2503,7 @@ - + @@ -2517,7 +2517,7 @@ - + @@ -2611,7 +2611,7 @@ - + @@ -2625,7 +2625,7 @@ - + @@ -2653,7 +2653,7 @@ - + @@ -2667,7 +2667,7 @@ - + @@ -2743,7 +2743,7 @@ - + @@ -2757,7 +2757,7 @@ - + @@ -2771,7 +2771,7 @@ - + @@ -2786,7 +2786,7 @@ - + @@ -2925,7 +2925,7 @@ - + @@ -2939,7 +2939,7 @@ - + @@ -2953,7 +2953,7 @@ - + @@ -2967,7 +2967,7 @@ - + @@ -2981,7 +2981,7 @@ - + @@ -3157,7 +3157,7 @@ - + @@ -3171,7 +3171,7 @@ - + @@ -3199,7 +3199,7 @@ - + @@ -3213,7 +3213,7 @@ - + @@ -3289,7 +3289,7 @@ - + @@ -3345,7 +3345,7 @@ - + @@ -3389,7 +3389,7 @@ - + @@ -3403,7 +3403,7 @@ - + @@ -3509,7 +3509,7 @@ - + @@ -3523,7 +3523,7 @@ - + @@ -3557,7 +3557,7 @@ - + @@ -3634,7 +3634,7 @@ - + @@ -3648,7 +3648,7 @@ - + @@ -3682,7 +3682,7 @@ - + @@ -3757,7 +3757,7 @@ - + @@ -3796,7 +3796,7 @@ - + @@ -3830,7 +3830,7 @@ - + @@ -3859,7 +3859,7 @@ - + @@ -3934,7 +3934,7 @@ - + @@ -3948,7 +3948,7 @@ - + @@ -3982,7 +3982,7 @@ - + @@ -4059,7 +4059,7 @@ - + @@ -4073,7 +4073,7 @@ - + @@ -4107,7 +4107,7 @@ - + @@ -4155,7 +4155,7 @@ - + @@ -4178,7 +4178,7 @@ - + @@ -4319,7 +4319,7 @@ - + @@ -4348,7 +4348,7 @@ - + @@ -4362,7 +4362,7 @@ - + @@ -4390,7 +4390,7 @@ - + @@ -4404,7 +4404,7 @@ - + @@ -4554,7 +4554,7 @@ - + @@ -4572,7 +4572,7 @@ - + @@ -4614,7 +4614,7 @@ - + @@ -4643,7 +4643,7 @@ - + @@ -4657,7 +4657,7 @@ - + @@ -4686,7 +4686,7 @@ - + @@ -4700,7 +4700,7 @@ - + @@ -4850,7 +4850,7 @@ - + @@ -4868,7 +4868,7 @@ - + @@ -4910,7 +4910,7 @@ - + @@ -4949,7 +4949,7 @@ - + @@ -4963,7 +4963,7 @@ - + @@ -5042,7 +5042,7 @@ - + @@ -5060,7 +5060,7 @@ - + @@ -5102,7 +5102,7 @@ - + @@ -5149,7 +5149,7 @@ - + @@ -5163,7 +5163,7 @@ - + @@ -5177,7 +5177,7 @@ - + @@ -5342,7 +5342,7 @@ - + @@ -5397,7 +5397,7 @@ - + @@ -5411,7 +5411,7 @@ - + @@ -5566,7 +5566,7 @@ - + @@ -5605,7 +5605,7 @@ - + @@ -5616,7 +5616,7 @@ - + @@ -5754,7 +5754,7 @@ - + @@ -5776,7 +5776,7 @@ - + @@ -5790,7 +5790,7 @@ - + @@ -5821,7 +5821,7 @@ - + @@ -5943,7 +5943,7 @@ - + @@ -5987,7 +5987,7 @@ - + @@ -6001,7 +6001,7 @@ - + @@ -6015,7 +6015,7 @@ - + @@ -6160,7 +6160,7 @@ - + @@ -6204,7 +6204,7 @@ - + @@ -6218,7 +6218,7 @@ - + @@ -6232,7 +6232,7 @@ - + @@ -6258,7 +6258,7 @@ - + @@ -6427,18 +6427,18 @@ - + - + - - + + @@ -6460,7 +6460,7 @@ - + @@ -6473,7 +6473,7 @@ - + @@ -6489,7 +6489,7 @@ - + @@ -6509,7 +6509,7 @@ - + @@ -6528,7 +6528,7 @@ - + @@ -6551,7 +6551,7 @@ - + @@ -6561,7 +6561,7 @@ - + @@ -6615,7 +6615,7 @@ - + @@ -6627,7 +6627,7 @@ - + @@ -6664,7 +6664,7 @@ - + @@ -6674,7 +6674,7 @@ - + @@ -6721,7 +6721,7 @@ - + @@ -6741,8 +6741,8 @@ - - + + @@ -6808,7 +6808,7 @@ - + @@ -6816,7 +6816,7 @@ - + @@ -6824,7 +6824,7 @@ - + @@ -6840,14 +6840,14 @@ - + - + @@ -6855,7 +6855,7 @@ - + @@ -6890,7 +6890,7 @@ - + @@ -6907,7 +6907,7 @@ - + @@ -6917,7 +6917,7 @@ - + @@ -6959,7 +6959,7 @@ - + @@ -6967,7 +6967,7 @@ - + @@ -7002,7 +7002,7 @@ - + @@ -7012,7 +7012,7 @@ - + @@ -7077,7 +7077,7 @@ - + @@ -7097,8 +7097,8 @@ - - + + @@ -7164,7 +7164,7 @@ - + @@ -7172,7 +7172,7 @@ - + @@ -7180,7 +7180,7 @@ - + @@ -7196,14 +7196,14 @@ - + - + @@ -7211,7 +7211,7 @@ - + @@ -7305,15 +7305,15 @@ - + - - + + @@ -7324,14 +7324,14 @@ - + - + @@ -7345,15 +7345,15 @@ - + - - + + @@ -7371,7 +7371,7 @@ - + @@ -7394,7 +7394,7 @@ - + @@ -7405,7 +7405,7 @@ - + @@ -7420,7 +7420,7 @@ - + @@ -7430,7 +7430,7 @@ - + @@ -7450,7 +7450,7 @@ - + @@ -7458,7 +7458,7 @@ - + @@ -7696,7 +7696,7 @@ - + @@ -7707,7 +7707,7 @@ - + @@ -7742,7 +7742,7 @@ - + @@ -7760,7 +7760,7 @@ - + @@ -7802,7 +7802,7 @@ - + @@ -7816,7 +7816,7 @@ - + @@ -7830,7 +7830,7 @@ - + @@ -7844,7 +7844,7 @@ - + @@ -7892,7 +7892,7 @@ - + @@ -7920,7 +7920,7 @@ - + @@ -7948,7 +7948,7 @@ - + @@ -7976,7 +7976,7 @@ - + @@ -8008,7 +8008,7 @@ - + @@ -8280,7 +8280,7 @@ - + @@ -8294,7 +8294,7 @@ - + @@ -8308,7 +8308,7 @@ - + @@ -8322,7 +8322,7 @@ - + @@ -8337,7 +8337,7 @@ - + @@ -8365,7 +8365,7 @@ - + @@ -8393,7 +8393,7 @@ - + @@ -8422,7 +8422,7 @@ - + @@ -8451,7 +8451,7 @@ - + @@ -8484,7 +8484,7 @@ - + @@ -8846,7 +8846,7 @@ - + @@ -8860,7 +8860,7 @@ - + @@ -8875,7 +8875,7 @@ - + @@ -8905,7 +8905,7 @@ - + @@ -9027,7 +9027,7 @@ - + @@ -9042,7 +9042,7 @@ - + @@ -9073,7 +9073,7 @@ - + @@ -9255,15 +9255,15 @@ - + - - + + @@ -9274,14 +9274,14 @@ - + - + @@ -9295,15 +9295,15 @@ - + - - + + @@ -9321,7 +9321,7 @@ - + @@ -9344,7 +9344,7 @@ - + @@ -9355,7 +9355,7 @@ - + @@ -9370,7 +9370,7 @@ - + @@ -9380,7 +9380,7 @@ - + @@ -9400,7 +9400,7 @@ - + @@ -9408,7 +9408,7 @@ - + @@ -9697,7 +9697,7 @@ - + @@ -9708,7 +9708,7 @@ - + @@ -9743,7 +9743,7 @@ - + @@ -9761,7 +9761,7 @@ - + @@ -9803,7 +9803,7 @@ - + @@ -9817,7 +9817,7 @@ - + @@ -9831,7 +9831,7 @@ - + @@ -9845,7 +9845,7 @@ - + @@ -9903,7 +9903,7 @@ - + @@ -9931,7 +9931,7 @@ - + @@ -9959,7 +9959,7 @@ - + @@ -9987,7 +9987,7 @@ - + @@ -10019,7 +10019,7 @@ - + @@ -10301,7 +10301,7 @@ - + @@ -10315,7 +10315,7 @@ - + @@ -10329,7 +10329,7 @@ - + @@ -10343,7 +10343,7 @@ - + @@ -10358,7 +10358,7 @@ - + @@ -10386,7 +10386,7 @@ - + @@ -10414,7 +10414,7 @@ - + @@ -10443,7 +10443,7 @@ - + @@ -10472,7 +10472,7 @@ - + @@ -10505,7 +10505,7 @@ - + @@ -10897,7 +10897,7 @@ - + @@ -10911,7 +10911,7 @@ - + @@ -10926,7 +10926,7 @@ - + @@ -10956,7 +10956,7 @@ - + @@ -11052,7 +11052,7 @@ - + @@ -11067,7 +11067,7 @@ - + @@ -11098,7 +11098,7 @@ - + @@ -11254,15 +11254,15 @@ - + - - + + @@ -11280,7 +11280,7 @@ - + @@ -11294,15 +11294,15 @@ - + - - + + @@ -11313,14 +11313,14 @@ - + - + @@ -11334,15 +11334,15 @@ - + - - + + @@ -11353,14 +11353,14 @@ - + - + @@ -11370,15 +11370,15 @@ - + - - + + @@ -11386,14 +11386,14 @@ - + - + @@ -11403,15 +11403,15 @@ - + - - + + @@ -11419,14 +11419,14 @@ - + - + @@ -11442,7 +11442,7 @@ - + @@ -11462,7 +11462,7 @@ - + @@ -11470,7 +11470,7 @@ - + @@ -11489,7 +11489,7 @@ - + @@ -11506,13 +11506,13 @@ - + - + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 9ceffdc4..ad934447 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -71,7 +71,6 @@ - @@ -83,15 +82,13 @@ - - - + @@ -255,7 +252,6 @@ - @@ -265,7 +261,6 @@ - @@ -433,7 +428,6 @@ - @@ -443,7 +437,6 @@ - @@ -613,7 +606,6 @@ - @@ -623,7 +615,6 @@ - @@ -946,35 +937,18 @@ - - - - - - - - - - - - - - - - - @@ -1110,13 +1084,11 @@ - - @@ -1268,13 +1240,11 @@ - - @@ -1426,13 +1396,11 @@ - - @@ -1589,24 +1557,17 @@ - - - - - - - diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps index 924ff264..e47e556b 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps @@ -4,7 +4,6 @@ - diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl index 6f1c1282..82e9c2fb 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl @@ -125,7 +125,6 @@ - @@ -133,7 +132,6 @@ - @@ -147,8 +145,6 @@ - - diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps index 86d828cd..666bcf00 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps @@ -6,7 +6,6 @@ - diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl index 8f18058b..35339015 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl @@ -127,7 +127,6 @@ - @@ -135,7 +134,6 @@ - @@ -149,8 +147,6 @@ - - diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps index e25cc2e2..bcdd864c 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps @@ -7,7 +7,6 @@ - diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl index cda7e694..8b4b2688 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl @@ -125,7 +125,6 @@ - @@ -133,7 +132,6 @@ - @@ -147,8 +145,6 @@ - - diff --git a/samples/fitch/languages/samples.fitch/models/types.mps b/samples/fitch/languages/samples.fitch/models/types.mps index 9c4fccff..8a1cd269 100644 --- a/samples/fitch/languages/samples.fitch/models/types.mps +++ b/samples/fitch/languages/samples.fitch/models/types.mps @@ -10,7 +10,6 @@ - diff --git a/samples/fitch/languages/samples.fitch/samples.fitch.mpl b/samples/fitch/languages/samples.fitch/samples.fitch.mpl index 19f7c5d0..7e6b8d87 100644 --- a/samples/fitch/languages/samples.fitch/samples.fitch.mpl +++ b/samples/fitch/languages/samples.fitch/samples.fitch.mpl @@ -55,11 +55,10 @@ - 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) - 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) - 4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) + 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) @@ -122,33 +121,14 @@ - - - - - - - - - - - - - - - - - - - diff --git a/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps b/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps index 7013cbc1..7ac56f1f 100644 --- a/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps +++ b/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps @@ -191,16 +191,6 @@ - - - - - - - - - - @@ -238,8 +228,13 @@ - - + + + + + + + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 6ca6d612..fe9104b2 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -71,7 +71,6 @@ - @@ -81,13 +80,9 @@ - - - - @@ -360,11 +355,9 @@ - - @@ -446,26 +439,19 @@ - - - - - - - diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index 0c7521cc..84dc2dfc 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -16,13 +16,10 @@ - - - - + @@ -2615,8 +2612,8 @@ - - + + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl index d45be40c..40967fc6 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl +++ b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl @@ -12,15 +12,12 @@ - 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) - 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) - f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime) @@ -84,12 +81,10 @@ - - diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps b/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps index 105e00e8..3cbd56c8 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps +++ b/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps @@ -149,11 +149,6 @@ - - - - - @@ -169,16 +164,6 @@ - - - - - - - - - - @@ -221,13 +206,13 @@ - - - + + + - - + + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 64da6302..9ae9f615 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -74,7 +74,6 @@ - @@ -84,7 +83,6 @@ - @@ -249,7 +247,6 @@ - @@ -259,7 +256,6 @@ - @@ -425,7 +421,6 @@ - @@ -435,7 +430,6 @@ - @@ -599,7 +593,6 @@ - @@ -609,7 +602,6 @@ - @@ -778,7 +770,6 @@ - @@ -788,7 +779,6 @@ - @@ -957,7 +947,6 @@ - @@ -967,7 +956,6 @@ - @@ -1138,7 +1126,6 @@ - @@ -1148,7 +1135,6 @@ - @@ -1320,7 +1306,6 @@ - @@ -1330,7 +1315,6 @@ - @@ -1494,7 +1478,6 @@ - @@ -1504,7 +1487,6 @@ - @@ -1669,7 +1651,6 @@ - @@ -1679,7 +1660,6 @@ - @@ -1842,7 +1822,6 @@ - @@ -1852,7 +1831,6 @@ - @@ -1860,14 +1838,13 @@ - - + @@ -2028,7 +2005,6 @@ - @@ -2038,7 +2014,6 @@ - @@ -2209,7 +2184,6 @@ - @@ -2219,7 +2193,6 @@ - @@ -2387,7 +2360,6 @@ - @@ -2397,7 +2369,6 @@ - @@ -2568,7 +2539,6 @@ - @@ -2578,7 +2548,6 @@ - @@ -2742,7 +2711,6 @@ - @@ -2752,7 +2720,6 @@ - @@ -2918,7 +2885,6 @@ - @@ -2928,7 +2894,6 @@ - @@ -3097,7 +3062,6 @@ - @@ -3107,7 +3071,6 @@ - @@ -3276,7 +3239,6 @@ - @@ -3286,7 +3248,6 @@ - @@ -3437,8 +3398,10 @@ + + @@ -3446,29 +3409,23 @@ + - + - + + - - - - - - - - @@ -3502,18 +3459,28 @@ + + + + + + + + + + @@ -3562,7 +3529,6 @@ - @@ -3572,7 +3538,6 @@ - @@ -3737,7 +3702,6 @@ - @@ -3747,7 +3711,6 @@ - @@ -3912,7 +3875,6 @@ - @@ -3922,7 +3884,6 @@ - @@ -4087,7 +4048,6 @@ - @@ -4097,7 +4057,6 @@ - @@ -4266,7 +4225,6 @@ - @@ -4276,7 +4234,6 @@ - @@ -4284,13 +4241,10 @@ - - + - - @@ -4398,7 +4352,6 @@ - @@ -4408,11 +4361,11 @@ - + @@ -4573,7 +4526,6 @@ - @@ -4583,14 +4535,16 @@ - + + + @@ -4751,7 +4705,6 @@ - @@ -4761,16 +4714,18 @@ - + + + @@ -4930,7 +4885,6 @@ - @@ -4940,7 +4894,6 @@ - @@ -5161,7 +5114,6 @@ - @@ -5169,12 +5121,9 @@ - - - @@ -5369,9 +5318,9 @@ + - @@ -5382,7 +5331,6 @@ - @@ -5392,6 +5340,7 @@ + @@ -5606,7 +5555,6 @@ - @@ -5616,7 +5564,6 @@ - @@ -5781,7 +5728,6 @@ - @@ -5791,7 +5737,6 @@ - @@ -5957,7 +5902,6 @@ - @@ -5967,7 +5911,6 @@ - @@ -6131,7 +6074,6 @@ - @@ -6141,7 +6083,6 @@ - @@ -6310,7 +6251,6 @@ - @@ -6320,7 +6260,6 @@ - @@ -6489,7 +6428,6 @@ - @@ -6499,7 +6437,6 @@ - @@ -6670,7 +6607,6 @@ - @@ -6680,7 +6616,6 @@ - @@ -6852,7 +6787,6 @@ - @@ -6862,7 +6796,6 @@ - @@ -7026,7 +6959,6 @@ - @@ -7036,7 +6968,6 @@ - @@ -7201,7 +7132,6 @@ - @@ -7211,7 +7141,6 @@ - @@ -7374,7 +7303,6 @@ - @@ -7384,7 +7312,6 @@ - @@ -7392,14 +7319,13 @@ - - + @@ -7560,7 +7486,6 @@ - @@ -7570,7 +7495,6 @@ - @@ -7741,7 +7665,6 @@ - @@ -7751,7 +7674,6 @@ - @@ -7919,7 +7841,6 @@ - @@ -7929,7 +7850,6 @@ - @@ -8100,7 +8020,6 @@ - @@ -8110,7 +8029,6 @@ - @@ -8274,7 +8192,6 @@ - @@ -8284,7 +8201,6 @@ - @@ -8450,7 +8366,6 @@ - @@ -8460,7 +8375,6 @@ - @@ -8629,7 +8543,6 @@ - @@ -8639,7 +8552,6 @@ - @@ -8808,7 +8720,6 @@ - @@ -8818,7 +8729,6 @@ - @@ -8969,8 +8879,10 @@ + + @@ -8978,29 +8890,23 @@ + - + - + + - - - - - - - - @@ -9034,18 +8940,28 @@ + + + + + + + + + + @@ -9094,7 +9010,6 @@ - @@ -9104,7 +9019,6 @@ - @@ -9269,7 +9183,6 @@ - @@ -9279,7 +9192,6 @@ - @@ -9444,7 +9356,6 @@ - @@ -9454,7 +9365,6 @@ - @@ -9619,7 +9529,6 @@ - @@ -9629,7 +9538,6 @@ - @@ -9798,7 +9706,6 @@ - @@ -9808,7 +9715,6 @@ - @@ -9816,13 +9722,10 @@ - - + - - @@ -9930,7 +9833,6 @@ - @@ -9940,11 +9842,11 @@ - + @@ -10105,7 +10007,6 @@ - @@ -10115,14 +10016,16 @@ - + + + @@ -10283,7 +10186,6 @@ - @@ -10293,16 +10195,18 @@ - + + + @@ -10462,7 +10366,6 @@ - @@ -10472,7 +10375,6 @@ - @@ -10775,10 +10677,11 @@ + + - @@ -10790,6 +10693,9 @@ + + + @@ -10858,11 +10764,6 @@ - - - - - @@ -10929,9 +10830,10 @@ + + - @@ -10944,6 +10846,9 @@ + + + @@ -11013,11 +10918,6 @@ - - - - - @@ -11080,9 +10980,10 @@ + + - @@ -11092,6 +10993,9 @@ + + + @@ -11160,11 +11064,6 @@ - - - - - @@ -11230,9 +11129,10 @@ + + - @@ -11246,6 +11146,9 @@ + + + @@ -11315,11 +11218,6 @@ - - - - - @@ -11386,9 +11284,10 @@ + + - @@ -11401,6 +11300,9 @@ + + + @@ -11469,11 +11371,6 @@ - - - - - @@ -11540,9 +11437,10 @@ + + - @@ -11556,6 +11454,9 @@ + + + @@ -11625,11 +11526,6 @@ - - - - - @@ -11700,9 +11596,10 @@ + + - @@ -11716,6 +11613,9 @@ + + + @@ -11784,11 +11684,6 @@ - - - - - @@ -11851,9 +11746,10 @@ + + - @@ -11863,6 +11759,9 @@ + + + @@ -11932,11 +11831,6 @@ - - - - - @@ -12002,9 +11896,10 @@ + + - @@ -12017,6 +11912,9 @@ + + + @@ -12085,11 +11983,6 @@ - - - - - @@ -12151,9 +12044,10 @@ + + - @@ -12163,6 +12057,9 @@ + + + @@ -12231,11 +12128,6 @@ - - - - - @@ -12304,11 +12196,11 @@ - + + - @@ -12321,6 +12213,9 @@ + + + @@ -12394,11 +12289,6 @@ - - - - - @@ -12470,9 +12360,10 @@ + + - @@ -12486,6 +12377,9 @@ + + + @@ -12621,9 +12515,10 @@ + + - @@ -12637,6 +12532,9 @@ + + + @@ -12776,9 +12674,10 @@ + + - @@ -12793,6 +12692,9 @@ + + + @@ -12868,11 +12770,6 @@ - - - - - @@ -12933,9 +12830,10 @@ + + - @@ -12943,6 +12841,9 @@ + + + @@ -13070,9 +12971,10 @@ + + - @@ -13081,6 +12983,9 @@ + + + @@ -13149,11 +13054,6 @@ - - - - - @@ -13219,9 +13119,10 @@ + + - @@ -13231,6 +13132,9 @@ + + + @@ -13301,11 +13205,6 @@ - - - - - @@ -13373,9 +13272,10 @@ + + - @@ -13384,6 +13284,9 @@ + + + @@ -13456,11 +13359,6 @@ - - - - - @@ -13524,9 +13422,10 @@ + + - @@ -13535,6 +13434,9 @@ + + + @@ -13602,11 +13504,6 @@ - - - - - @@ -13642,10 +13539,12 @@ - + + + @@ -13663,33 +13562,22 @@ - - - - + + - - - - - - - - - - - - + + + @@ -13755,12 +13643,13 @@ + + - @@ -13770,6 +13659,9 @@ + + + @@ -13838,11 +13730,6 @@ - - - - - @@ -13909,9 +13796,10 @@ + + - @@ -13920,6 +13808,9 @@ + + + @@ -13992,11 +13883,6 @@ - - - - - @@ -14061,11 +13947,12 @@ + + - @@ -14082,6 +13969,9 @@ + + + @@ -14149,11 +14039,6 @@ - - - - - @@ -14220,9 +14105,10 @@ + + - @@ -14236,6 +14122,9 @@ + + + @@ -14304,11 +14193,6 @@ - - - - - @@ -14374,15 +14258,11 @@ - - - - @@ -14392,11 +14272,8 @@ - - - @@ -14469,9 +14346,10 @@ + + - @@ -14480,6 +14358,9 @@ + + + @@ -14548,11 +14429,6 @@ - - - - - @@ -14615,9 +14491,10 @@ + + - @@ -14627,6 +14504,9 @@ + + + @@ -14761,10 +14641,11 @@ + + - @@ -14778,6 +14659,9 @@ + + + @@ -14918,11 +14802,12 @@ + + - @@ -14939,6 +14824,9 @@ + + + @@ -15089,11 +14977,9 @@ - - @@ -15108,7 +14994,6 @@ - @@ -15127,8 +15012,8 @@ - + @@ -15197,11 +15082,9 @@ - - @@ -15216,7 +15099,6 @@ - @@ -15300,30 +15182,20 @@ - - - - - - - - - - @@ -15419,24 +15291,17 @@ - - - - - - - @@ -15523,25 +15388,18 @@ - - - - - - - @@ -15624,24 +15482,17 @@ - - - - - - - @@ -15725,13 +15576,11 @@ - - @@ -15823,24 +15672,17 @@ - - - - - - - diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl index 5f35d024..24ae64c0 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl @@ -11,25 +11,18 @@ - - 4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking) - a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) - 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) - 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) - 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) - f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime) - + + + @@ -40,56 +33,44 @@ + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc) diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.types.mps index 0340afe9..bd3e5645 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.types.mps @@ -5,6 +5,7 @@ + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl index 7c2e560f..ffb67030 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl @@ -12,19 +12,16 @@ - a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) - 4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking) - c7d01124-66d5-486d-8b50-7fdccb60b839(jetbrains.mps.baseLanguage.util) - f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime) ed6d7656-532c-4bc2-81d1-af945aeb8280(jetbrains.mps.baseLanguage.blTypes) a0c108f0-1637-416e-a249-3effbaa4c998(jetbrains.mps.baseLanguage.search) 7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem) + c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.coderules) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) @@ -90,18 +87,14 @@ - - - - @@ -110,11 +103,8 @@ - - - diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index 9a5f6492..f0176bb4 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -18,27 +18,19 @@ - - - - - - - - - - - + + + @@ -12764,12 +12756,12 @@ - - + + - + @@ -35261,11 +35253,11 @@ - + - - + + @@ -35279,7 +35271,7 @@ - + @@ -35287,14 +35279,14 @@ - + - + @@ -35315,14 +35307,14 @@ - + - + @@ -35343,12 +35335,12 @@ - + - + @@ -35357,7 +35349,7 @@ - + @@ -35373,7 +35365,7 @@ - + @@ -35433,8 +35425,8 @@ - - + + @@ -35453,7 +35445,7 @@ - + @@ -35524,12 +35516,12 @@ - + - + @@ -35560,7 +35552,7 @@ - + @@ -48651,7 +48643,7 @@ - + @@ -49008,7 +49000,7 @@ - + @@ -49018,11 +49010,11 @@ - + - - + + @@ -49033,7 +49025,7 @@ - + @@ -49060,7 +49052,7 @@ - + @@ -49068,7 +49060,7 @@ - + @@ -49076,13 +49068,13 @@ - + - + @@ -49493,7 +49485,7 @@ - + @@ -49533,7 +49525,7 @@ - + @@ -49623,7 +49615,7 @@ - + @@ -49687,7 +49679,7 @@ - + @@ -49756,7 +49748,7 @@ - + @@ -49786,7 +49778,7 @@ - + @@ -50196,7 +50188,7 @@ - + @@ -50222,8 +50214,8 @@ - - + + @@ -50624,7 +50616,7 @@ - + @@ -50682,13 +50674,13 @@ - + - + @@ -52091,7 +52083,7 @@ - + @@ -52104,7 +52096,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/jetbrains.mps.baseLanguageInternalExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/jetbrains.mps.baseLanguageInternalExt.mpl index 5345f747..d40d5331 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/jetbrains.mps.baseLanguageInternalExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/jetbrains.mps.baseLanguageInternalExt.mpl @@ -56,12 +56,13 @@ - - + + 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) + @@ -116,14 +117,20 @@ + + + + + + - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/jetbrains.mps.lang.coderulesExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/jetbrains.mps.lang.coderulesExt.mpl index 724eb784..f82c064b 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/jetbrains.mps.lang.coderulesExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/jetbrains.mps.lang.coderulesExt.mpl @@ -75,6 +75,9 @@ 88dcbb14-19c3-4776-8f81-33611ca4d87c(jetbrains.mps.baseLanguage.sequence) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure) + 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) + bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) @@ -140,7 +143,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps index be5d9879..abc8d0c6 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps @@ -11,7 +11,6 @@ - @@ -19,6 +18,7 @@ + @@ -3576,7 +3576,7 @@ - + @@ -3659,7 +3659,7 @@ - + @@ -3736,7 +3736,7 @@ - + @@ -3819,7 +3819,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/jetbrains.mps.lang.smodelExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/jetbrains.mps.lang.smodelExt.mpl index 7f68077e..77946370 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/jetbrains.mps.lang.smodelExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/jetbrains.mps.lang.smodelExt.mpl @@ -70,15 +70,14 @@ c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure) - 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) 86ef8290-12bb-4ca7-947f-093788f263a9(jetbrains.mps.lang.project) 88dcbb14-19c3-4776-8f81-33611ca4d87c(jetbrains.mps.baseLanguage.sequence) 446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) c1f5ad88-21f4-4e0e-927c-48b1ca0c2334(jetbrains.mps.baseLanguage.collectionsExt) - f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime) af65afd8-f0dd-4942-87d9-63a55f2a9db1(jetbrains.mps.lang.behavior) + bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) @@ -145,12 +144,9 @@ - - - @@ -162,7 +158,6 @@ - 7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel) diff --git a/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps index a5a9b3d0..e55b86cd 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps @@ -16,7 +16,6 @@ - @@ -27,9 +26,7 @@ - - diff --git a/samples/mpscore/languages/jetbrains.mps.logicExt/jetbrains.mps.logicExt.mpl b/samples/mpscore/languages/jetbrains.mps.logicExt/jetbrains.mps.logicExt.mpl index 2b93bf1a..dbd8bfa6 100644 --- a/samples/mpscore/languages/jetbrains.mps.logicExt/jetbrains.mps.logicExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.logicExt/jetbrains.mps.logicExt.mpl @@ -63,6 +63,9 @@ 0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) + 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) + bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) @@ -123,7 +126,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps index f2c9c042..0e347569 100644 --- a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps @@ -15,11 +15,11 @@ - - + + @@ -1430,7 +1430,7 @@ - + @@ -1455,7 +1455,7 @@ - + @@ -1499,7 +1499,7 @@ - + @@ -1540,7 +1540,7 @@ - + @@ -1581,7 +1581,7 @@ - + @@ -1670,7 +1670,7 @@ - + @@ -2104,7 +2104,7 @@ - + @@ -2182,7 +2182,7 @@ - + @@ -2366,7 +2366,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.methodReferencesExt.test/jetbrains.mps.baseLanguage.methodReferencesExt.test.msd b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.methodReferencesExt.test/jetbrains.mps.baseLanguage.methodReferencesExt.test.msd index 10762e02..a8fbc36f 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.methodReferencesExt.test/jetbrains.mps.baseLanguage.methodReferencesExt.test.msd +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.methodReferencesExt.test/jetbrains.mps.baseLanguage.methodReferencesExt.test.msd @@ -46,17 +46,13 @@ - - - - diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd index f19a5100..8919fc7b 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd @@ -14,18 +14,15 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) - df345b11-b8c7-4213-ac66-48d2a9b75d88(jetbrains.mps.baseLanguageInternal) 0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) - a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) 3ddddf69-9ff0-426b-9365-51ae7356fb82(typechecking.samples.baseLanguage) 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) - 7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) - f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime) 02473356-2f59-4de1-ba87-e88f9d606180(jetbrains.mps.coderules.testhelper) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) @@ -64,31 +61,19 @@ - - - - - - - - - - - - diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps index d14a43a3..85f08cca 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps @@ -19,13 +19,13 @@ - - + + @@ -772,7 +772,7 @@ - + @@ -783,14 +783,14 @@ - + - + @@ -802,14 +802,14 @@ - + - + @@ -2411,7 +2411,7 @@ - + @@ -2423,7 +2423,7 @@ - + @@ -2431,7 +2431,7 @@ - + @@ -2499,7 +2499,7 @@ - + @@ -2516,7 +2516,7 @@ - + @@ -2524,7 +2524,7 @@ - + @@ -2538,7 +2538,7 @@ - + @@ -2562,7 +2562,7 @@ - + @@ -2587,7 +2587,7 @@ - + @@ -2728,7 +2728,7 @@ - + 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 8bc15eb8..ad60c695 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 @@ -20,13 +20,13 @@ - + @@ -1001,7 +1001,7 @@ - + @@ -1082,7 +1082,7 @@ - + @@ -1129,8 +1129,8 @@ - - + + @@ -1172,7 +1172,7 @@ - + @@ -1180,7 +1180,7 @@ - + @@ -1224,8 +1224,8 @@ - - + + @@ -1368,13 +1368,13 @@ - + - + @@ -2298,7 +2298,7 @@ - + @@ -2453,7 +2453,7 @@ - + @@ -2515,7 +2515,7 @@ - + @@ -2659,7 +2659,7 @@ - + @@ -2696,7 +2696,7 @@ - + @@ -2859,7 +2859,7 @@ - + @@ -2894,11 +2894,11 @@ - + - - + + @@ -3016,7 +3016,7 @@ - + @@ -3051,11 +3051,11 @@ - + - - + + @@ -3173,7 +3173,7 @@ - + @@ -3208,11 +3208,11 @@ - + - - + + @@ -3330,7 +3330,7 @@ - + @@ -3365,11 +3365,11 @@ - + - - + + @@ -3487,7 +3487,7 @@ - + @@ -3522,11 +3522,11 @@ - + - - + + @@ -3650,7 +3650,7 @@ - + @@ -3685,11 +3685,11 @@ - + - - + + @@ -3834,7 +3834,7 @@ - + @@ -3869,11 +3869,11 @@ - + - - + + @@ -4003,7 +4003,7 @@ - + @@ -4038,11 +4038,11 @@ - + - - + + @@ -4269,7 +4269,7 @@ - + @@ -4282,11 +4282,11 @@ - + - - + + @@ -4394,11 +4394,11 @@ - + - - + + @@ -4454,11 +4454,11 @@ - + - - + + @@ -4582,7 +4582,7 @@ - + @@ -4629,8 +4629,8 @@ - - + + @@ -4672,7 +4672,7 @@ - + @@ -4680,7 +4680,7 @@ - + @@ -4719,8 +4719,8 @@ - - + + @@ -4863,13 +4863,13 @@ - + - + @@ -5808,7 +5808,7 @@ - + @@ -5830,11 +5830,11 @@ - + - - + + @@ -6060,7 +6060,7 @@ - + @@ -6153,7 +6153,7 @@ - + @@ -6175,8 +6175,8 @@ - - + + @@ -6302,7 +6302,7 @@ - + @@ -6343,7 +6343,7 @@ - + @@ -6375,7 +6375,7 @@ - + @@ -6459,7 +6459,7 @@ - + @@ -6481,8 +6481,8 @@ - - + + diff --git a/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/jetbrains.mps.lang.smodelExt.test.msd b/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/jetbrains.mps.lang.smodelExt.test.msd index c53e8495..11b999ba 100644 --- a/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/jetbrains.mps.lang.smodelExt.test.msd +++ b/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/jetbrains.mps.lang.smodelExt.test.msd @@ -17,13 +17,12 @@ 65e59b42-e7f3-45ec-8692-6c7829780afe(jetbrains.mps.lang.smodelExt) 0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt) c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure) - a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) - 7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel) 6b3888c1-9802-44d8-8baf-f8e6c33ed689(jetbrains.mps.kotlin) 9e4ff22b-60f1-43ef-a50b-f9f0fcec22e0(jetbrains.mps.kotlin.javaRefs) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) @@ -36,7 +35,9 @@ + + @@ -61,7 +62,6 @@ - @@ -70,7 +70,6 @@ - diff --git a/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.code@tests.mps b/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.code@tests.mps index 76d2316c..4dbcda13 100644 --- a/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.code@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.code@tests.mps @@ -15,7 +15,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.types@tests.mps b/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.types@tests.mps index 4818e79f..01dea513 100644 --- a/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.types@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.types@tests.mps @@ -9,11 +9,11 @@ + - @@ -22,6 +22,7 @@ + @@ -352,7 +353,7 @@ - + @@ -386,7 +387,7 @@ - + @@ -413,7 +414,7 @@ - + @@ -502,7 +503,7 @@ - + @@ -623,7 +624,7 @@ - + @@ -670,8 +671,8 @@ - - + + @@ -707,13 +708,13 @@ - + - + diff --git a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps index 2b439a44..a6ed3cfe 100644 --- a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps +++ b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps @@ -1647,11 +1647,6 @@ - - - - - @@ -1682,11 +1677,6 @@ - - - - - @@ -1712,6 +1702,11 @@ + + + + + @@ -2562,11 +2557,6 @@ - - - - - @@ -2587,41 +2577,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -3050,22 +3005,11 @@ - - - - - - - - - - - @@ -3076,16 +3020,6 @@ - - - - - - - - - - @@ -3123,11 +3057,6 @@ - - - - - @@ -3148,6 +3077,16 @@ + + + + + + + + + + @@ -3240,6 +3179,11 @@ + + + + + @@ -3371,6 +3315,21 @@ + + + + + + + + + + + + + + + @@ -3473,6 +3432,21 @@ + + + + + + + + + + + + + + + @@ -3695,16 +3669,6 @@ - - - - - - - - - - @@ -3720,11 +3684,6 @@ - - - - - @@ -3772,11 +3731,6 @@ - - - - - @@ -3787,6 +3741,11 @@ + + + + + @@ -4113,11 +4072,6 @@ - - - - - @@ -4128,11 +4082,6 @@ - - - - - @@ -4178,6 +4127,11 @@ + + + + +