From 2b146e886b5b497c9c977192f49a74087a4d4124 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 24 Apr 2026 11:22:20 +0200 Subject: [PATCH] Migrate to latest MPS 2026.1 EAP --- .mps/migration.xml | 3 +- .../generator/template/main@generator.mps | 136 +- .../jetbrains.mps.lang.coderules.mpl | 4 +- .../languageModels/behavior.mps | 52 +- .../languageModels/constraints.mps | 12 +- .../languageModels/editor.mps | 10 +- .../languageModels/intentions.mps | 8 +- .../languageModels/migration.mps | 2 +- .../languageModels/typesystem.mps | 10 +- .../languageModels/util.mps | 2 +- .../jetbrains.mps.lang.coderules.runtime.msd | 2 +- .../jetbrains.mps.lang.coderules.aspect.mps | 483 ++++- .../jetbrains.mps.lang.coderules.eval.mps | 1799 +++++++++++++--- ...jetbrains.mps.lang.coderules.predicate.mps | 56 +- .../jetbrains.mps.lang.coderules.result.mps | 95 +- .../jetbrains.mps.lang.coderules.template.mps | 695 +++++- .../generator/template/main@generator.mps | 70 +- .../jetbrains.mps.lang.typechecking.mpl | 4 +- .../models/behavior.mps | 2 +- .../models/constraints.mps | 12 +- .../models/typesystem.mps | 8 +- ...ng.types.generator.templates@generator.mps | 6 +- .../jetbrains.mps.lang.types.mpl | 4 +- .../generator/template/main@generator.mps | 18 +- .../jetbrains.mps.logic.mpl | 4 +- .../languageModels/behavior.mps | 6 +- .../languageModels/constraints.mps | 8 +- .../languageModels/editor.mps | 603 +++++- .../runtime/jetbrains.mps.logic.runtime.msd | 2 +- .../models/jetbrains.mps.logic.dataform.mps | 449 +++- .../jetbrains.mps.logic.unification.mps | 695 +++++- .../jetbrains.mps.typechecking.annotation.mpl | 2 +- .../jetbrains.mps.typechecking.testlang.mpl | 4 +- .../jetbrains.mps.coderules.ideaplugin.msd | 2 +- .../jetbrains.mps.coderules.ideaplugin.mps | 39 +- .../jetbrains.mps.coderules.test.msd | 3 +- .../models/modelcheck@tests.mps | 224 +- .../jetbrains.mps.coderules.testhelper.msd | 2 +- ...ains.mps.coderules.testhelper.testutil.mps | 20 +- .../jetbrains.mps.coderules.typechecking.msd | 2 +- .../jetbrains.mps.coderules.typechecking.mps | 2 +- ...ins.mps.coderules.typechecking.service.mps | 1586 +++++++++++--- .../jetbrains.mps.coderules.ui.msd | 2 +- .../models/plugin.mps | 565 ++++- .../jetbrains.mps.coderules.msd | 2 +- .../jetbrains.mps.coderules/models/plugin.mps | 2 +- .../models/service.mps | 542 ++++- ...etbrains.mps.lang.typechecking.runtime.msd | 3 +- ...jetbrains.mps.lang.typechecking.aspect.mps | 79 +- .../jetbrains.mps.logic.reactor.msd | 3 +- .../jetbrains.mps.logic.test.msd | 2 +- .../mps/logic/test/logical@tests.mps | 89 +- .../samples.fitch.firstOrderLogic.mpl | 4 +- .../models/constraints.mps | 8 +- .../models/types.mps | 63 +- .../samples.fitch.herbrandLogic.mpl | 4 +- .../models/constraints.mps | 8 +- .../samples.fitch.propositionalLogic.mpl | 4 +- .../samples.fitch/models/behavior.mps | 4 +- .../samples.fitch/models/constraints.mps | 6 +- .../languages/samples.fitch/models/editor.mps | 6 +- .../languages/samples.fitch/samples.fitch.mpl | 4 +- .../samples.lambdacalc/models/behavior.mps | 20 +- .../samples.lambdacalc/models/types.mps | 2 +- .../samples.lambdacalc/samples.lambdacalc.mpl | 2 +- .../models/samples.lambdacalc.demo@tests.mps | 2 +- .../samples.lambdacalc.demo.msd | 2 +- .../jetbrains.mps.baseLanguage.blTypesExt.mpl | 4 +- ...brains.mps.baseLanguage.classifiersExt.mpl | 4 +- ....mps.baseLanguage.classifiersExt.types.mps | 16 +- ...jetbrains.mps.baseLanguage.closuresExt.mpl | 4 +- ...ins.mps.baseLanguage.closuresExt.types.mps | 286 ++- ...brains.mps.baseLanguage.collectionsExt.mpl | 4 +- ....mps.baseLanguage.collectionsExt.types.mps | 184 +- .../jetbrains.mps.baseLanguage.function.mpl | 4 +- .../jetbrains.mps.baseLanguage.javadocExt.mpl | 3 +- ...tbrains.mps.baseLanguage.kotlinRefsExt.mpl | 4 +- ...s.mps.baseLanguage.kotlinRefsExt.types.mps | 18 +- ...s.mps.baseLanguage.methodReferencesExt.mpl | 4 +- ...baseLanguage.methodReferencesExt.types.mps | 10 +- .../jetbrains.mps.baseLanguage.sequence.mpl | 4 +- .../jetbrains.mps.baseLanguage.tuplesExt.mpl | 4 +- ...rains.mps.baseLanguage.tuplesExt.types.mps | 20 +- ...brains.mps.baseLanguage.varVariableExt.mpl | 4 +- .../jetbrains.mps.baseLanguageExt.mpl | 2 +- .../jetbrains.mps.baseLanguageExt.scripts.mps | 6 +- .../jetbrains.mps.baseLanguageExt.types.mps | 1896 ++++++++++++++--- .../jetbrains.mps.baseLanguageInternalExt.mpl | 4 +- .../jetbrains.mps.lang.behaviorExt.mpl | 11 +- .../jetbrains.mps.lang.behaviorExt.types.mps | 12 +- .../jetbrains.mps.lang.coderulesExt.mpl | 4 +- .../jetbrains.mps.lang.coderulesExt.types.mps | 8 +- .../jetbrains.mps.lang.constraintsExt.mpl | 4 +- ...etbrains.mps.lang.constraintsExt.types.mps | 14 +- ...ps.lang.generator.generationContextExt.mpl | 4 +- ...g.generator.generationContextExt.types.mps | 6 +- .../jetbrains.mps.lang.generatorExt.mpl | 4 +- .../jetbrains.mps.lang.generatorExt.types.mps | 28 +- .../jetbrains.mps.lang.patternExt.mpl | 4 +- .../jetbrains.mps.lang.patternExt.types.mps | 10 +- .../jetbrains.mps.lang.quotationExt.mpl | 4 +- .../jetbrains.mps.lang.quotationExt.types.mps | 20 +- .../jetbrains.mps.lang.scopesExt.mpl | 4 +- .../jetbrains.mps.lang.scriptExt.mpl | 4 +- .../jetbrains.mps.lang.smodel.queryExt.mpl | 4 +- .../jetbrains.mps.lang.smodelExt.mpl | 4 +- .../jetbrains.mps.lang.smodelExt.types.mps | 156 +- .../jetbrains.mps.lang.testExt.mpl | 4 +- .../jetbrains.mps.lang.typecheckingExt.mpl | 4 +- ...tbrains.mps.lang.typecheckingExt.types.mps | 8 +- .../jetbrains.mps.lang.typesystemExt.mpl | 4 +- ...jetbrains.mps.lang.typesystemExt.types.mps | 12 +- .../jetbrains.mps.logicExt.mpl | 4 +- ....collectionsExt.test.incremental@tests.mps | 14 +- .../jetbrains.mps.baseLanguageExt.test.msd | 2 +- ....mps.baseLanguageExt.test.code.thinlet.mps | 1139 ++++++---- ...baseLanguageExt.test.incremental@tests.mps | 24 +- ...mps.baseLanguageExt.test.thinlet@tests.mps | 2 +- ...s.mps.baseLanguageExt.test.types@tests.mps | 20 +- .../jetbrains.mps.lang.smodelExt.test.msd | 2 +- ...jetbrains.mps.lang.smodelExt.test.code.mps | 8 +- .../typechecking.samples.baseLanguage.msd | 2 +- 122 files changed, 10080 insertions(+), 2533 deletions(-) diff --git a/.mps/migration.xml b/.mps/migration.xml index ef8763de..e054adb9 100644 --- a/.mps/migration.xml +++ b/.mps/migration.xml @@ -24,6 +24,7 @@ + @@ -32,6 +33,6 @@ - + \ No newline at end of file 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 8691eef8..9bad79df 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 @@ -46,6 +46,9 @@ + + + @@ -294,16 +297,16 @@ - + - + - + @@ -350,7 +353,7 @@ - + @@ -375,7 +378,7 @@ - + @@ -417,23 +420,23 @@ - + - - + + - + - + @@ -559,7 +562,6 @@ - @@ -5059,7 +5061,7 @@ - + @@ -6167,7 +6169,7 @@ - + @@ -6204,7 +6206,7 @@ - + @@ -6402,7 +6404,7 @@ - + @@ -6609,7 +6611,7 @@ - + @@ -7311,7 +7313,7 @@ - + @@ -7476,7 +7478,7 @@ - + @@ -7940,7 +7942,7 @@ - + @@ -8097,7 +8099,7 @@ - + @@ -8806,7 +8808,7 @@ - + @@ -9952,7 +9954,7 @@ - + @@ -10073,7 +10075,7 @@ - + @@ -10219,7 +10221,7 @@ - + @@ -10258,7 +10260,7 @@ - + @@ -10410,7 +10412,7 @@ - + @@ -10825,7 +10827,7 @@ - + @@ -11553,7 +11555,7 @@ - + @@ -12918,7 +12920,7 @@ - + @@ -12931,7 +12933,7 @@ - + @@ -13132,7 +13134,7 @@ - + @@ -13145,7 +13147,7 @@ - + @@ -13165,7 +13167,7 @@ - + @@ -13191,7 +13193,7 @@ - + @@ -13550,7 +13552,7 @@ - + @@ -13916,7 +13918,7 @@ - + @@ -13951,7 +13953,7 @@ - + @@ -14364,7 +14366,7 @@ - + @@ -14418,7 +14420,7 @@ - + @@ -14575,7 +14577,7 @@ - + @@ -15268,7 +15270,7 @@ - + @@ -15436,7 +15438,7 @@ - + @@ -16184,7 +16186,7 @@ - + @@ -16341,7 +16343,7 @@ - + @@ -16589,7 +16591,7 @@ - + @@ -16625,7 +16627,7 @@ - + @@ -16767,7 +16769,7 @@ - + @@ -16873,7 +16875,7 @@ - + @@ -16899,7 +16901,7 @@ - + @@ -16968,7 +16970,7 @@ - + @@ -17056,7 +17058,7 @@ - + @@ -17100,7 +17102,7 @@ - + @@ -17136,7 +17138,7 @@ - + @@ -17250,7 +17252,7 @@ - + @@ -17371,7 +17373,7 @@ - + @@ -17404,7 +17406,7 @@ - + @@ -17443,7 +17445,7 @@ - + @@ -17571,7 +17573,7 @@ - + @@ -17604,7 +17606,7 @@ - + @@ -17643,7 +17645,7 @@ - + @@ -19162,7 +19164,7 @@ - + @@ -19214,7 +19216,7 @@ - + @@ -19685,7 +19687,7 @@ - + @@ -20648,7 +20650,7 @@ - + @@ -20729,7 +20731,7 @@ - + @@ -20781,7 +20783,7 @@ - + @@ -20816,7 +20818,7 @@ - + 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 f5771b88..f7bdecd0 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 @@ -38,7 +38,7 @@ - + @@ -102,7 +102,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps index 4607f642..21eb69fc 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps @@ -4,7 +4,7 @@ - + @@ -39,6 +39,7 @@ + @@ -170,7 +171,6 @@ - @@ -475,9 +475,9 @@ - + - + @@ -538,7 +538,7 @@ - + @@ -695,7 +695,7 @@ - + @@ -707,7 +707,7 @@ - + @@ -743,7 +743,7 @@ - + @@ -873,7 +873,7 @@ - + @@ -1181,9 +1181,9 @@ - + - + @@ -1244,7 +1244,7 @@ - + @@ -1668,7 +1668,7 @@ - + @@ -1699,7 +1699,7 @@ - + @@ -1729,7 +1729,7 @@ - + @@ -2187,7 +2187,7 @@ - + @@ -2197,7 +2197,7 @@ - + @@ -2226,7 +2226,7 @@ - + @@ -2363,7 +2363,7 @@ - + @@ -2387,7 +2387,7 @@ - + @@ -2411,7 +2411,7 @@ - + @@ -2436,7 +2436,7 @@ - + @@ -2448,7 +2448,7 @@ - + @@ -2499,7 +2499,7 @@ - + @@ -2657,7 +2657,7 @@ - + @@ -2877,7 +2877,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps index a2d0e20a..06ff71f9 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps @@ -27,6 +27,9 @@ + + + @@ -211,7 +214,6 @@ - @@ -787,7 +789,7 @@ - + @@ -1770,7 +1772,7 @@ - + @@ -1901,7 +1903,7 @@ - + @@ -2187,7 +2189,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps index fd9fc9e0..94eff0c4 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps @@ -2,7 +2,7 @@ - + @@ -32,6 +32,9 @@ + + + @@ -526,7 +529,6 @@ - @@ -6113,7 +6115,7 @@ - + @@ -8713,7 +8715,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps index 9cfe10e1..f6c4d83e 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps @@ -20,6 +20,9 @@ + + + @@ -141,7 +144,6 @@ - @@ -997,7 +999,7 @@ - + @@ -1176,7 +1178,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps index 9473dfb0..c80f60cc 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps @@ -7,7 +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 770d654f..832a8627 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps @@ -24,6 +24,9 @@ + + + @@ -205,7 +208,6 @@ - @@ -1456,7 +1458,7 @@ - + @@ -1505,7 +1507,7 @@ - + @@ -1530,7 +1532,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps index 05c65f49..7ce2b2b9 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps @@ -2,7 +2,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 7e24a512..95850ae7 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 @@ -24,7 +24,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.aspect.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.aspect.mps index 6ffa755b..fe07b8a1 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.aspect.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.aspect.mps @@ -5,7 +5,7 @@ - + @@ -243,30 +243,24 @@ - - - - - - + + - - - - - - - - - - - - + + + + + + + + + + @@ -445,9 +439,45 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1271,19 +1301,79 @@ - - - + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1315,9 +1405,42 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3550,9 +3673,45 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3849,37 +4008,83 @@ - - - + + + - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3908,9 +4113,18 @@ - - - + + + + + + + + + + + + @@ -4061,14 +4275,68 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + @@ -4179,9 +4447,51 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4431,9 +4741,30 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + 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 52719f99..597cddfb 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 @@ -6,7 +6,7 @@ - + @@ -57,6 +57,9 @@ + + + @@ -356,10 +359,6 @@ - - - - @@ -367,8 +366,10 @@ + + + - @@ -376,28 +377,24 @@ - - - - - - - - - + - - - - - - + + + + + + + + + + @@ -425,7 +422,6 @@ - @@ -708,9 +704,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -1140,9 +1151,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -1479,19 +1508,125 @@ - - - - - - + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1610,13 +1745,75 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1978,9 +2175,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -2518,9 +2733,9 @@ - - - + + + @@ -3041,14 +3256,38 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + @@ -3438,9 +3677,57 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3891,11 +4178,28 @@ - - - + + + + + + + + + + + + + + + + + + + + + - @@ -4341,9 +4645,18 @@ - - - + + + + + + + + + + + + @@ -5303,9 +5616,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -6269,20 +6600,63 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + - - - + + + + + + + + + + + + + + + + + @@ -6337,9 +6711,18 @@ - - - + + + + + + + + + + + + @@ -8081,7 +8464,7 @@ - + @@ -8187,7 +8570,7 @@ - + @@ -9971,31 +10354,112 @@ - - - + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10091,42 +10555,118 @@ - - - + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - - - + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + - - - + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + @@ -10190,9 +10730,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -10575,39 +11130,219 @@ - - - + + + + + + + + + + + + + + + + + + - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12254,29 +12989,143 @@ - - - + + + + + + + + + + + + + + + + + + - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12368,24 +13217,114 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -16923,7 +17862,7 @@ - + @@ -17387,7 +18326,7 @@ - + @@ -17888,25 +18827,68 @@ - - - + + + - - - - + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + @@ -18725,7 +19707,7 @@ - + @@ -19570,28 +20552,80 @@ - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -19820,9 +20854,9 @@ - - - + + + @@ -19984,9 +21018,36 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -20350,14 +21411,50 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + @@ -21771,29 +22868,140 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + @@ -22419,9 +23627,15 @@ - - - + + + + + + + + + @@ -22679,25 +23893,62 @@ - - - + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - - + + + + + + + + - - + + + + + + + + + + + + + + + + + @@ -22835,9 +24086,30 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + @@ -22929,9 +24201,30 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.predicate.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.predicate.mps index c0ff8e90..a212b436 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.predicate.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.predicate.mps @@ -4,7 +4,7 @@ - + @@ -272,16 +272,10 @@ - - - - - - - - - + + + @@ -9994,9 +9988,45 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.result.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.result.mps index 3e8462fa..f74fa4af 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.result.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.result.mps @@ -4,7 +4,7 @@ - + @@ -142,17 +142,11 @@ - - - - - - - - - + + + @@ -355,9 +349,15 @@ - - - + + + + + + + + + @@ -374,9 +374,21 @@ - - - + + + + + + + + + + + + + + + @@ -1367,9 +1379,54 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.template.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.template.mps index c52546a3..b5de6e9d 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.template.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.template.mps @@ -3,7 +3,7 @@ - + @@ -317,31 +317,27 @@ - - - + + - - - - - - - + - - - - - - + + + + + + + + + @@ -1940,9 +1936,21 @@ - - - + + + + + + + + + + + + + + + @@ -2188,9 +2196,15 @@ - - - + + + + + + + + + @@ -2233,20 +2247,24 @@ - - - + + + - - - - + + + + + + + + - - + + @@ -2334,24 +2352,138 @@ - - - + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2377,14 +2509,80 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + @@ -2425,25 +2623,68 @@ - - - + + + - - - - + + + + + + + + + + + + + + - - + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2992,9 +3233,54 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3973,9 +4259,39 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3993,19 +4309,142 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4020,9 +4459,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -4035,9 +4489,39 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4345,9 +4829,48 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps index 76cb7630..df477a7b 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps @@ -30,6 +30,9 @@ + + + @@ -120,11 +123,11 @@ - - + + - + @@ -154,7 +157,7 @@ - + @@ -167,7 +170,7 @@ - + @@ -180,7 +183,7 @@ - + @@ -193,18 +196,18 @@ - + - - + + - + - + @@ -280,7 +283,6 @@ - @@ -680,7 +682,7 @@ - + @@ -822,7 +824,7 @@ - + @@ -983,7 +985,7 @@ - + @@ -1476,7 +1478,7 @@ - + @@ -2374,7 +2376,7 @@ - + @@ -2498,7 +2500,7 @@ - + @@ -2597,7 +2599,7 @@ - + @@ -2648,7 +2650,7 @@ - + @@ -3084,7 +3086,7 @@ - + @@ -3152,7 +3154,7 @@ - + @@ -3278,7 +3280,7 @@ - + @@ -3346,7 +3348,7 @@ - + @@ -3458,11 +3460,11 @@ - + - + @@ -3474,7 +3476,7 @@ - + @@ -3500,11 +3502,11 @@ - + - + @@ -3516,7 +3518,7 @@ - + @@ -3542,11 +3544,11 @@ - + - + @@ -3558,7 +3560,7 @@ - + @@ -3589,7 +3591,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl b/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl index acc39963..fe226a82 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl +++ b/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl @@ -36,7 +36,7 @@ - + @@ -114,7 +114,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/behavior.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/behavior.mps index 520b7c5f..2e91d8b1 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/behavior.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/behavior.mps @@ -4,7 +4,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps index 1eb7d37f..2356c568 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps @@ -16,6 +16,9 @@ + + + @@ -126,7 +129,6 @@ - @@ -228,11 +230,11 @@ - + - + @@ -260,7 +262,7 @@ - + @@ -269,7 +271,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps index 190e77ba..6a95cfcb 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps @@ -16,6 +16,9 @@ + + + @@ -81,7 +84,6 @@ - @@ -115,11 +117,11 @@ - + - + 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 66c263ba..5c8e8d18 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 @@ -124,7 +124,7 @@ - + @@ -140,10 +140,10 @@ - + - + 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 c7baacee..68f22372 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 @@ -37,7 +37,7 @@ - + @@ -108,7 +108,7 @@ - + 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 4c1d3dfd..08dc6f2d 100644 --- a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps @@ -22,6 +22,9 @@ + + + @@ -81,10 +84,10 @@ - + - + @@ -133,7 +136,7 @@ - + @@ -151,15 +154,15 @@ - + - - + + @@ -199,7 +202,6 @@ - @@ -1095,7 +1097,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl index 0126d9c3..f68b2da0 100644 --- a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl +++ b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl @@ -36,7 +36,7 @@ - + @@ -102,7 +102,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps index 9a74fb2b..9d5c693c 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps @@ -3,7 +3,7 @@ - + @@ -31,6 +31,7 @@ + @@ -96,7 +97,6 @@ - @@ -488,7 +488,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps index aa96c622..365f7fd9 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps @@ -18,6 +18,9 @@ + + + @@ -175,7 +178,6 @@ - @@ -561,7 +563,7 @@ - + @@ -695,7 +697,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps index b5e2557b..4acd4774 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps @@ -8,7 +8,7 @@ - + @@ -393,14 +393,8 @@ - - - - - - - - + + @@ -1295,9 +1289,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -1324,9 +1333,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -1384,9 +1408,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -1413,9 +1455,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -1459,9 +1519,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -1488,9 +1566,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -1548,9 +1641,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -1577,9 +1688,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -1637,9 +1763,30 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + @@ -1666,9 +1813,30 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + @@ -1740,9 +1908,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -1769,9 +1955,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -1829,9 +2033,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -1858,9 +2077,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -1888,9 +2122,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -1917,9 +2166,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -1977,9 +2241,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -2006,9 +2285,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -2066,9 +2360,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -2095,9 +2404,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -2155,9 +2479,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -2184,9 +2526,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -2243,9 +2600,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -2272,9 +2647,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -2332,9 +2725,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -2361,9 +2772,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + 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 7cba221a..00258c70 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 @@ -22,7 +22,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 8d5ac7d8..faa7412d 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 @@ -2,7 +2,7 @@ - + @@ -323,17 +323,11 @@ - - - - - - - - - + + + @@ -1477,9 +1471,42 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3584,19 +3611,121 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + @@ -3837,9 +3966,36 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3892,9 +4048,36 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3910,19 +4093,121 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -13445,14 +13730,50 @@ - - - + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -13584,9 +13905,45 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 74c0a7c6..1f766408 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 @@ -3,7 +3,7 @@ - + @@ -215,17 +215,11 @@ - - - - - - - - - + + + @@ -580,9 +574,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -1207,19 +1216,100 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1684,19 +1774,85 @@ - - - + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2042,9 +2198,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -2163,14 +2334,62 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2202,9 +2421,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -2247,9 +2484,30 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + @@ -2282,9 +2540,39 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2310,9 +2598,39 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2352,9 +2670,30 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + @@ -2394,9 +2733,30 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + @@ -2421,9 +2781,42 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2449,9 +2842,42 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2481,9 +2907,60 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2562,14 +3039,56 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + @@ -2797,9 +3316,33 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl b/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl index bcefac50..a4551695 100644 --- a/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl +++ b/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl @@ -20,7 +20,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 752f51b6..913a9b93 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 @@ -28,7 +28,7 @@ - + @@ -65,7 +65,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.ideaplugin/jetbrains.mps.coderules.ideaplugin.msd b/coderules/solutions/jetbrains.mps.coderules.ideaplugin/jetbrains.mps.coderules.ideaplugin.msd index a7dae711..c01059fb 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ideaplugin/jetbrains.mps.coderules.ideaplugin.msd +++ b/coderules/solutions/jetbrains.mps.coderules.ideaplugin/jetbrains.mps.coderules.ideaplugin.msd @@ -23,7 +23,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.ideaplugin/models/jetbrains.mps.coderules.ideaplugin.mps b/coderules/solutions/jetbrains.mps.coderules.ideaplugin/models/jetbrains.mps.coderules.ideaplugin.mps index 782db5e3..6c3509b3 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ideaplugin/models/jetbrains.mps.coderules.ideaplugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.ideaplugin/models/jetbrains.mps.coderules.ideaplugin.mps @@ -5,7 +5,7 @@ - + @@ -208,14 +208,8 @@ - - - - - - - - + + @@ -254,9 +248,30 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + 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 ded84cd4..710cb15b 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 @@ -26,7 +26,7 @@ - + @@ -38,6 +38,7 @@ + diff --git a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps index 5c5f4841..f590a4e2 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps @@ -8,7 +8,7 @@ - + @@ -192,16 +192,10 @@ - - - - - - - - - + + + @@ -374,9 +368,39 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1024,24 +1048,174 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 e5bbf307..016de1dd 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 @@ -26,7 +26,7 @@ - + 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 9fc40a80..ab06b605 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 @@ -7,7 +7,7 @@ - + @@ -40,6 +40,9 @@ + + + @@ -287,7 +290,6 @@ - @@ -3873,7 +3875,7 @@ - + @@ -5589,7 +5591,7 @@ - + @@ -5599,7 +5601,7 @@ - + @@ -8306,7 +8308,7 @@ - + @@ -8314,7 +8316,7 @@ - + @@ -8337,7 +8339,7 @@ - + @@ -8345,7 +8347,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 e43cb283..9af65974 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 @@ -38,7 +38,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps index d75e84e6..986e39a9 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps @@ -4,7 +4,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 7d64dee6..d164d7c9 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 @@ -7,7 +7,7 @@ - + @@ -72,6 +72,9 @@ + + + @@ -401,16 +404,14 @@ - - - - + + + - @@ -418,22 +419,22 @@ - - - - - - - - - + + + + + + + + + @@ -462,7 +463,6 @@ - @@ -639,19 +639,82 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -682,9 +745,24 @@ - - - + + + + + + + + + + + + + + + + + + @@ -3015,9 +3093,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -4141,9 +4237,15 @@ - - - + + + + + + + + + @@ -4194,9 +4296,15 @@ - - - + + + + + + + + + @@ -4247,9 +4355,18 @@ - - - + + + + + + + + + + + + @@ -4631,9 +4748,15 @@ - - - + + + + + + + + + @@ -4680,14 +4803,47 @@ - - - + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + @@ -4732,19 +4888,76 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + @@ -4789,14 +5002,47 @@ - - - + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + @@ -4849,19 +5095,82 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + @@ -4920,19 +5229,85 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + @@ -4991,19 +5366,91 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + @@ -5248,9 +5695,36 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5493,7 +5967,7 @@ - + @@ -5629,9 +6103,18 @@ - - - + + + + + + + + + + + + @@ -5797,8 +6280,10 @@ - - + + + + @@ -5880,9 +6365,15 @@ - - - + + + + + + + + + @@ -6203,9 +6694,18 @@ - - - + + + + + + + + + + + + @@ -6518,9 +7018,15 @@ - - - + + + + + + + + + @@ -6841,9 +7347,21 @@ - - - + + + + + + + + + + + + + + + @@ -6869,9 +7387,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -6903,9 +7439,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -7689,7 +8243,7 @@ - + @@ -7806,7 +8360,7 @@ - + @@ -7921,7 +8475,7 @@ - + @@ -8031,7 +8585,7 @@ - + @@ -8044,7 +8598,7 @@ - + @@ -8195,7 +8749,7 @@ - + @@ -8208,7 +8762,7 @@ - + @@ -8362,7 +8916,7 @@ - + @@ -8658,9 +9212,21 @@ - - - + + + + + + + + + + + + + + + @@ -9877,14 +10443,33 @@ - - - - + + + + + + + + + + + + + + + + + + + + + + + @@ -10586,9 +11171,15 @@ - - - + + + + + + + + + @@ -10864,46 +11455,123 @@ - - - + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -14672,24 +15340,93 @@ - - - + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + @@ -14756,14 +15493,95 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -14785,14 +15603,38 @@ - - - + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + @@ -14873,9 +15715,15 @@ - - - + + + + + + + + + @@ -14911,9 +15759,45 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15138,14 +16022,83 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -21358,25 +22311,74 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + @@ -22054,9 +23056,15 @@ - - - + + + + + + + + + @@ -22383,9 +23391,15 @@ - - - + + + + + + + + + @@ -22403,35 +23417,108 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - - + + + + + + + + - - + + - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -22459,9 +23546,18 @@ - - - + + + + + + + + + + + + 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 ab18c4fa..42c16c97 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 @@ -29,7 +29,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps index eed26398..aeee5814 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps @@ -9,7 +9,7 @@ - + @@ -511,28 +511,24 @@ - - - - - - + + - - - - - - - - - + + + + + + + + + @@ -3338,25 +3334,71 @@ - - - + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3841,61 +3883,150 @@ - - - + + + - - - - + + + - - - - - - - - - - - - - - - + + + + - - + + - - - + + + + + + + + + + + + + + + + + + - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -20377,9 +20508,57 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -20402,9 +20581,57 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -20430,14 +20657,74 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -20463,14 +20750,71 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + @@ -26727,9 +27071,18 @@ - - - + + + + + + + + + + + + @@ -26756,9 +27109,18 @@ - - - + + + + + + + + + + + + @@ -27628,14 +27990,23 @@ - - - + + + + + + + + + + + + - - - + + + diff --git a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd index 5ee28d74..3e70c1e6 100644 --- a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd +++ b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd @@ -27,7 +27,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps index dfb5a100..592b3c07 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps @@ -7,7 +7,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps index 96596cab..e9531dcf 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps @@ -10,7 +10,7 @@ - + @@ -306,31 +306,23 @@ - - - - - - + + - - - - - - - - - - - - - + + + + + + + + + @@ -367,6 +359,10 @@ + + + + @@ -698,30 +694,67 @@ - - - + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - + + + - - - + + + @@ -3409,9 +3442,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -4346,46 +4397,87 @@ - - - + + + + + + + + + + + + - - - + + + - - - + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + @@ -5350,29 +5442,218 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6287,35 +6568,92 @@ - - - + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - + + + - - - - - + + + + + + + + + + + + + + - - + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + 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 c5530ef8..5e86d1f8 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 @@ -20,11 +20,12 @@ - + + 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 48eea005..7c2cf63c 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 @@ -5,7 +5,7 @@ - + @@ -66,16 +66,10 @@ - - - - - - - - - + + + @@ -85,6 +79,14 @@ + + + + + + + + @@ -133,14 +135,59 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd b/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd index 9ef96053..c2a947bc 100644 --- a/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd +++ b/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd @@ -21,8 +21,9 @@ - + + 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 c40528d6..ef943e5b 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 @@ -25,7 +25,7 @@ - + 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 f7cad09c..6abe795b 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 @@ -7,7 +7,7 @@ - + @@ -217,16 +217,10 @@ - - - - - - - - - + + + @@ -6024,19 +6018,76 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + 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 9609e57e..8658e164 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl @@ -28,7 +28,7 @@ - + @@ -68,7 +68,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps index f05bdce4..a72605e5 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps @@ -14,6 +14,9 @@ + + + @@ -62,7 +65,6 @@ - @@ -178,9 +180,9 @@ - + - + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps index 666bcf00..898175ff 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps @@ -4,7 +4,7 @@ - + @@ -18,6 +18,9 @@ + + + @@ -136,15 +139,9 @@ - - - - - - - - + + @@ -170,7 +167,6 @@ - @@ -1020,7 +1016,7 @@ - + @@ -3332,9 +3328,48 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 97ef89d7..f6d8f651 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl @@ -28,7 +28,7 @@ - + @@ -68,7 +68,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps index 668cb776..e7f4779f 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps @@ -18,6 +18,9 @@ + + + @@ -66,7 +69,6 @@ - @@ -149,9 +151,9 @@ - + - + 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 dbb978df..beede3cd 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl @@ -28,7 +28,7 @@ - + @@ -66,7 +66,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/behavior.mps b/samples/fitch/languages/samples.fitch/models/behavior.mps index 402b98ac..0b34ac72 100644 --- a/samples/fitch/languages/samples.fitch/models/behavior.mps +++ b/samples/fitch/languages/samples.fitch/models/behavior.mps @@ -21,6 +21,7 @@ + @@ -75,7 +76,6 @@ - @@ -162,7 +162,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/constraints.mps b/samples/fitch/languages/samples.fitch/models/constraints.mps index d8b65510..c1ba0847 100644 --- a/samples/fitch/languages/samples.fitch/models/constraints.mps +++ b/samples/fitch/languages/samples.fitch/models/constraints.mps @@ -13,6 +13,9 @@ + + + @@ -133,7 +136,6 @@ - @@ -404,7 +406,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/editor.mps b/samples/fitch/languages/samples.fitch/models/editor.mps index 2eecaa80..4d5d2dab 100644 --- a/samples/fitch/languages/samples.fitch/models/editor.mps +++ b/samples/fitch/languages/samples.fitch/models/editor.mps @@ -14,6 +14,9 @@ + + + @@ -217,7 +220,6 @@ - @@ -1020,7 +1022,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/samples.fitch.mpl b/samples/fitch/languages/samples.fitch/samples.fitch.mpl index 351b9938..afc9eeaf 100644 --- a/samples/fitch/languages/samples.fitch/samples.fitch.mpl +++ b/samples/fitch/languages/samples.fitch/samples.fitch.mpl @@ -28,7 +28,7 @@ - + @@ -65,7 +65,7 @@ - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps index 77e56353..1ea765e7 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps @@ -27,6 +27,7 @@ + @@ -142,7 +143,6 @@ - @@ -206,7 +206,7 @@ - + @@ -223,7 +223,7 @@ - + @@ -355,7 +355,7 @@ - + @@ -402,7 +402,7 @@ - + @@ -528,7 +528,7 @@ - + @@ -577,7 +577,7 @@ - + @@ -656,7 +656,7 @@ - + @@ -701,7 +701,7 @@ - + @@ -718,7 +718,7 @@ - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index 84dc2dfc..53c782a5 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -8,7 +8,7 @@ - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl index f17c8088..042829ae 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl +++ b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl @@ -26,7 +26,7 @@ - + diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps index 05910e79..87385e5b 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps @@ -7,7 +7,7 @@ - + diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd index c962e7d4..245e4fae 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd @@ -22,7 +22,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/jetbrains.mps.baseLanguage.blTypesExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/jetbrains.mps.baseLanguage.blTypesExt.mpl index faf9d51b..a127f1d5 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/jetbrains.mps.baseLanguage.blTypesExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/jetbrains.mps.baseLanguage.blTypesExt.mpl @@ -28,7 +28,7 @@ - + @@ -60,7 +60,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/jetbrains.mps.baseLanguage.classifiersExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/jetbrains.mps.baseLanguage.classifiersExt.mpl index 049810ef..eae9aa98 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/jetbrains.mps.baseLanguage.classifiersExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/jetbrains.mps.baseLanguage.classifiersExt.mpl @@ -28,7 +28,7 @@ - + @@ -69,7 +69,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.types.mps index 709a54f0..ea47496c 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.types.mps @@ -16,6 +16,9 @@ + + + @@ -136,7 +139,6 @@ - @@ -899,7 +901,7 @@ - + @@ -928,11 +930,11 @@ - + - + @@ -1002,7 +1004,7 @@ - + @@ -1031,11 +1033,11 @@ - + - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/jetbrains.mps.baseLanguage.closuresExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/jetbrains.mps.baseLanguage.closuresExt.mpl index 606d91d6..9d899c8f 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/jetbrains.mps.baseLanguage.closuresExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/jetbrains.mps.baseLanguage.closuresExt.mpl @@ -28,7 +28,7 @@ - + @@ -71,7 +71,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps index 1c10dc39..8716db9b 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps @@ -5,7 +5,7 @@ - + @@ -35,6 +35,9 @@ + + + @@ -201,7 +204,6 @@ - @@ -209,11 +211,8 @@ - - - - - + + @@ -268,7 +267,6 @@ - @@ -1333,7 +1331,7 @@ - + @@ -1410,7 +1408,7 @@ - + @@ -1509,7 +1507,7 @@ - + @@ -1553,7 +1551,7 @@ - + @@ -2340,7 +2338,7 @@ - + @@ -2683,7 +2681,7 @@ - + @@ -4177,7 +4175,7 @@ - + @@ -6060,19 +6058,107 @@ - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6121,19 +6207,89 @@ - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15393,7 +15549,7 @@ - + @@ -15423,7 +15579,7 @@ - + @@ -15545,13 +15701,69 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + @@ -15580,7 +15792,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl index 59876b67..15abd0c7 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl @@ -28,7 +28,7 @@ - + @@ -72,7 +72,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps index 5181afdd..301ecd10 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps @@ -23,6 +23,9 @@ + + + @@ -173,7 +176,6 @@ - @@ -456,7 +458,7 @@ - + @@ -9867,7 +9869,7 @@ - + @@ -9930,7 +9932,7 @@ - + @@ -9993,7 +9995,7 @@ - + @@ -10056,7 +10058,7 @@ - + @@ -10139,7 +10141,7 @@ - + @@ -10306,7 +10308,7 @@ - + @@ -10389,7 +10391,7 @@ - + @@ -10466,7 +10468,7 @@ - + @@ -10543,7 +10545,7 @@ - + @@ -10606,7 +10608,7 @@ - + @@ -10669,7 +10671,7 @@ - + @@ -10732,7 +10734,7 @@ - + @@ -10809,7 +10811,7 @@ - + @@ -10886,7 +10888,7 @@ - + @@ -10963,7 +10965,7 @@ - + @@ -11040,7 +11042,7 @@ - + @@ -11103,7 +11105,7 @@ - + @@ -11186,7 +11188,7 @@ - + @@ -11269,7 +11271,7 @@ - + @@ -11352,7 +11354,7 @@ - + @@ -11435,7 +11437,7 @@ - + @@ -11549,7 +11551,7 @@ - + @@ -11704,7 +11706,7 @@ - + @@ -11859,7 +11861,7 @@ - + @@ -12014,7 +12016,7 @@ - + @@ -12160,7 +12162,7 @@ - + @@ -12306,7 +12308,7 @@ - + @@ -12452,7 +12454,7 @@ - + @@ -12598,7 +12600,7 @@ - + @@ -12744,7 +12746,7 @@ - + @@ -12890,7 +12892,7 @@ - + @@ -13046,7 +13048,7 @@ - + @@ -13202,7 +13204,7 @@ - + @@ -13348,7 +13350,7 @@ - + @@ -13494,7 +13496,7 @@ - + @@ -13663,7 +13665,7 @@ - + @@ -13727,7 +13729,7 @@ - + @@ -13964,7 +13966,7 @@ - + @@ -14079,7 +14081,7 @@ - + @@ -14234,7 +14236,7 @@ - + @@ -14461,7 +14463,7 @@ - + @@ -14623,7 +14625,7 @@ - + @@ -14785,7 +14787,7 @@ - + @@ -14983,7 +14985,7 @@ - + @@ -15234,7 +15236,7 @@ - + @@ -15363,7 +15365,7 @@ - + @@ -15492,7 +15494,7 @@ - + @@ -15621,7 +15623,7 @@ - + @@ -15690,7 +15692,7 @@ - + @@ -15869,7 +15871,7 @@ - + @@ -15938,7 +15940,7 @@ - + @@ -16117,7 +16119,7 @@ - + @@ -16265,7 +16267,7 @@ - + @@ -16474,7 +16476,7 @@ - + @@ -16692,7 +16694,7 @@ - + @@ -16887,7 +16889,7 @@ - + @@ -16963,7 +16965,7 @@ - + @@ -17049,7 +17051,7 @@ - + @@ -17135,7 +17137,7 @@ - + @@ -17221,7 +17223,7 @@ - + @@ -17307,7 +17309,7 @@ - + @@ -17486,7 +17488,7 @@ - + @@ -17651,7 +17653,7 @@ - + @@ -17864,7 +17866,7 @@ - + @@ -18051,7 +18053,7 @@ - + @@ -18217,7 +18219,7 @@ - + @@ -18376,7 +18378,7 @@ - + @@ -18561,7 +18563,7 @@ - + @@ -18743,7 +18745,7 @@ - + @@ -18899,7 +18901,7 @@ - + @@ -19062,7 +19064,7 @@ - + @@ -19224,7 +19226,7 @@ - + @@ -19456,7 +19458,7 @@ - + @@ -19656,7 +19658,7 @@ - + @@ -19826,7 +19828,7 @@ - + @@ -19992,7 +19994,7 @@ - + @@ -20074,7 +20076,7 @@ - + @@ -20202,7 +20204,7 @@ - + @@ -20624,7 +20626,7 @@ - + @@ -20766,7 +20768,7 @@ - + @@ -20959,7 +20961,7 @@ - + @@ -21248,7 +21250,7 @@ - + @@ -21441,7 +21443,7 @@ - + @@ -21620,7 +21622,7 @@ - + @@ -21757,7 +21759,7 @@ - + @@ -21904,7 +21906,7 @@ - + @@ -22175,7 +22177,7 @@ - + @@ -22412,7 +22414,7 @@ - + @@ -22626,7 +22628,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/jetbrains.mps.baseLanguage.function.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/jetbrains.mps.baseLanguage.function.mpl index ad4a379d..b0a36386 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/jetbrains.mps.baseLanguage.function.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/jetbrains.mps.baseLanguage.function.mpl @@ -28,7 +28,7 @@ - + @@ -68,7 +68,7 @@ - + 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 c3fcb844..dd97ca41 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 @@ -16,7 +16,7 @@ - + @@ -77,6 +77,7 @@ + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.kotlinRefsExt/jetbrains.mps.baseLanguage.kotlinRefsExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.kotlinRefsExt/jetbrains.mps.baseLanguage.kotlinRefsExt.mpl index 4652cbf9..ca283a9d 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.kotlinRefsExt/jetbrains.mps.baseLanguage.kotlinRefsExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.kotlinRefsExt/jetbrains.mps.baseLanguage.kotlinRefsExt.mpl @@ -28,7 +28,7 @@ - + @@ -70,7 +70,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.kotlinRefsExt/models/jetbrains.mps.baseLanguage.kotlinRefsExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.kotlinRefsExt/models/jetbrains.mps.baseLanguage.kotlinRefsExt.types.mps index 5b994876..f1d28afe 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.kotlinRefsExt/models/jetbrains.mps.baseLanguage.kotlinRefsExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.kotlinRefsExt/models/jetbrains.mps.baseLanguage.kotlinRefsExt.types.mps @@ -22,6 +22,9 @@ + + + @@ -194,7 +197,6 @@ - @@ -828,7 +830,7 @@ - + @@ -960,7 +962,7 @@ - + @@ -991,7 +993,7 @@ - + @@ -1109,7 +1111,7 @@ - + @@ -1336,7 +1338,7 @@ - + @@ -1910,7 +1912,7 @@ - + @@ -2047,7 +2049,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.methodReferencesExt/jetbrains.mps.baseLanguage.methodReferencesExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.methodReferencesExt/jetbrains.mps.baseLanguage.methodReferencesExt.mpl index 1dd2a89f..ba244c1e 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.methodReferencesExt/jetbrains.mps.baseLanguage.methodReferencesExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.methodReferencesExt/jetbrains.mps.baseLanguage.methodReferencesExt.mpl @@ -28,7 +28,7 @@ - + @@ -72,7 +72,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.methodReferencesExt/models/jetbrains.mps.baseLanguage.methodReferencesExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.methodReferencesExt/models/jetbrains.mps.baseLanguage.methodReferencesExt.types.mps index 9e171e2a..36d960e4 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.methodReferencesExt/models/jetbrains.mps.baseLanguage.methodReferencesExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.methodReferencesExt/models/jetbrains.mps.baseLanguage.methodReferencesExt.types.mps @@ -14,6 +14,9 @@ + + + @@ -137,7 +140,6 @@ - @@ -389,9 +391,9 @@ - + - + @@ -420,7 +422,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/jetbrains.mps.baseLanguage.sequence.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/jetbrains.mps.baseLanguage.sequence.mpl index ccda4eac..76bc5a81 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/jetbrains.mps.baseLanguage.sequence.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/jetbrains.mps.baseLanguage.sequence.mpl @@ -28,7 +28,7 @@ - + @@ -67,7 +67,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl index e3f76fa6..6c8ab626 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl @@ -28,7 +28,7 @@ - + @@ -71,7 +71,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps index 32d0ba1b..4aef2d23 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps @@ -24,6 +24,9 @@ + + + @@ -191,7 +194,6 @@ - @@ -1049,7 +1051,7 @@ - + @@ -1071,18 +1073,18 @@ - + - - + + - - - + + + - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.varVariableExt/jetbrains.mps.baseLanguage.varVariableExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.varVariableExt/jetbrains.mps.baseLanguage.varVariableExt.mpl index 8ae64b96..77677038 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.varVariableExt/jetbrains.mps.baseLanguage.varVariableExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.varVariableExt/jetbrains.mps.baseLanguage.varVariableExt.mpl @@ -28,7 +28,7 @@ - + @@ -68,7 +68,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 5047b6ea..af0538f5 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl @@ -28,7 +28,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.scripts.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.scripts.mps index ea8299fd..3e8254c8 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.scripts.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.scripts.mps @@ -15,6 +15,9 @@ + + + @@ -140,7 +143,6 @@ - @@ -563,7 +565,7 @@ - + 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 7d0a7053..8f2e95fd 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 @@ -8,7 +8,7 @@ - + @@ -47,6 +47,9 @@ + + + @@ -324,33 +327,27 @@ - - - - - - + + - - - - - - - - - - - - + + + + + + + + + + @@ -432,7 +429,6 @@ - @@ -2887,7 +2883,7 @@ - + @@ -3367,7 +3363,7 @@ - + @@ -3785,7 +3781,7 @@ - + @@ -4128,7 +4124,7 @@ - + @@ -4935,7 +4931,7 @@ - + @@ -5091,7 +5087,7 @@ - + @@ -5958,7 +5954,7 @@ - + @@ -8671,7 +8667,7 @@ - + @@ -8852,7 +8848,7 @@ - + @@ -8903,7 +8899,7 @@ - + @@ -9061,7 +9057,7 @@ - + @@ -12410,7 +12406,7 @@ - + @@ -12487,7 +12483,7 @@ - + @@ -30919,9 +30915,36 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -35424,9 +35447,21 @@ - - - + + + + + + + + + + + + + + + @@ -38891,7 +38926,7 @@ - + @@ -39210,7 +39245,7 @@ - + @@ -41479,15 +41514,15 @@ - + - + - + - - + + @@ -41506,15 +41541,15 @@ - + - + - + - - + + @@ -42104,7 +42139,7 @@ - + @@ -44634,7 +44669,7 @@ - + @@ -45218,7 +45253,7 @@ - + @@ -47022,9 +47057,9 @@ - + - + @@ -47354,7 +47389,7 @@ - + @@ -47629,9 +47664,9 @@ - + - + @@ -47853,7 +47888,7 @@ - + @@ -48259,7 +48294,7 @@ - + @@ -49006,74 +49041,242 @@ - - - + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - + + + + + + - - - + + + @@ -49236,9 +49439,42 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -49271,19 +49507,94 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + @@ -49366,19 +49677,73 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + @@ -49591,9 +49956,33 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -49918,24 +50307,108 @@ - - - + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -50372,14 +50845,47 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + @@ -50493,24 +50999,144 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -50893,29 +51519,173 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -51286,19 +52056,157 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -51688,51 +52596,135 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - + + - - - - - + + + + + + + + + + + - - + + - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - - - + + + + + + + + + + + + + + + + + + + + - - + + @@ -52011,31 +53003,139 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - - - + + + + + + + + + + + - - + + + + + + + + + + + + + + @@ -52230,9 +53330,15 @@ - - - + + + + + + + + + @@ -52253,46 +53359,126 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + - - - + + + - - - + + + - - - - + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - + + + + - - + + + + + + + + + + + + + + + + + + + + @@ -52388,14 +53574,44 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + @@ -52656,9 +53872,39 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -53145,20 +54391,30 @@ - - - + + + - - - - + + + + + + + + - - + + + + + + + + @@ -53231,7 +54487,7 @@ - + @@ -53505,7 +54761,7 @@ - + @@ -53803,20 +55059,30 @@ - - - + + + - - - - + + + + + + + + + + + + + + - - + + @@ -57170,7 +58436,7 @@ - + @@ -57259,7 +58525,7 @@ - + @@ -57474,7 +58740,7 @@ - + @@ -59435,7 +60701,7 @@ - + @@ -59536,9 +60802,9 @@ - + - + @@ -59560,7 +60826,7 @@ - + @@ -59734,7 +61000,7 @@ - + @@ -59757,21 +61023,45 @@ - - - + + + - - - - - + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + 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 911becfc..3ec9b781 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/jetbrains.mps.baseLanguageInternalExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/jetbrains.mps.baseLanguageInternalExt.mpl @@ -28,7 +28,7 @@ - + @@ -69,7 +69,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/jetbrains.mps.lang.behaviorExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/jetbrains.mps.lang.behaviorExt.mpl index 76513d73..b952aa90 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/jetbrains.mps.lang.behaviorExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/jetbrains.mps.lang.behaviorExt.mpl @@ -28,7 +28,7 @@ - + @@ -48,13 +48,20 @@ + + + + + + + @@ -68,7 +75,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.types.mps index a110c139..55e1e738 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.types.mps @@ -17,6 +17,9 @@ + + + @@ -63,7 +66,6 @@ - @@ -182,7 +184,7 @@ - + @@ -229,7 +231,7 @@ - + @@ -251,7 +253,7 @@ - + @@ -281,7 +283,7 @@ - + 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 f948544e..17c80ea6 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 @@ -28,7 +28,7 @@ - + @@ -84,7 +84,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 abc8d0c6..ffd9680b 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 @@ -22,6 +22,9 @@ + + + @@ -147,7 +150,6 @@ - @@ -1079,11 +1081,11 @@ - + - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl index 210bd9a6..25fa474b 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl @@ -28,7 +28,7 @@ - + @@ -72,7 +72,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.types.mps index 2162fe6e..4cd5755d 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.types.mps @@ -17,6 +17,9 @@ + + + @@ -92,7 +95,6 @@ - @@ -314,7 +316,7 @@ - + @@ -780,7 +782,7 @@ - + @@ -1089,7 +1091,7 @@ - + @@ -1112,7 +1114,7 @@ - + @@ -1366,7 +1368,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/jetbrains.mps.lang.generator.generationContextExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/jetbrains.mps.lang.generator.generationContextExt.mpl index 1f2ddbb2..030545d6 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/jetbrains.mps.lang.generator.generationContextExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/jetbrains.mps.lang.generator.generationContextExt.mpl @@ -28,7 +28,7 @@ - + @@ -72,7 +72,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps index d3006eb4..555b625b 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps @@ -21,6 +21,9 @@ + + + @@ -120,7 +123,6 @@ - @@ -322,7 +324,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.generatorExt/jetbrains.mps.lang.generatorExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.generatorExt/jetbrains.mps.lang.generatorExt.mpl index b4f02ac5..a17ee20f 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.generatorExt/jetbrains.mps.lang.generatorExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.generatorExt/jetbrains.mps.lang.generatorExt.mpl @@ -28,7 +28,7 @@ - + @@ -72,7 +72,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.generatorExt/models/jetbrains.mps.lang.generatorExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.generatorExt/models/jetbrains.mps.lang.generatorExt.types.mps index e3d83044..47cf6086 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.generatorExt/models/jetbrains.mps.lang.generatorExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.generatorExt/models/jetbrains.mps.lang.generatorExt.types.mps @@ -24,6 +24,9 @@ + + + @@ -153,7 +156,6 @@ - @@ -1824,7 +1826,7 @@ - + @@ -1891,9 +1893,9 @@ - + - + @@ -1969,7 +1971,7 @@ - + @@ -2089,18 +2091,18 @@ - + - - - + + + - + - + @@ -2319,7 +2321,7 @@ - + @@ -2407,7 +2409,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.patternExt/jetbrains.mps.lang.patternExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/jetbrains.mps.lang.patternExt.mpl index 9587dfaa..233ca206 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.patternExt/jetbrains.mps.lang.patternExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/jetbrains.mps.lang.patternExt.mpl @@ -28,7 +28,7 @@ - + @@ -75,7 +75,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.types.mps index b023a32f..7e75b0f3 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.types.mps @@ -23,6 +23,9 @@ + + + @@ -94,7 +97,6 @@ - @@ -472,7 +474,7 @@ - + @@ -808,7 +810,7 @@ - + @@ -1265,7 +1267,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.quotationExt/jetbrains.mps.lang.quotationExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.quotationExt/jetbrains.mps.lang.quotationExt.mpl index eb0f2541..8d99bab1 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.quotationExt/jetbrains.mps.lang.quotationExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.quotationExt/jetbrains.mps.lang.quotationExt.mpl @@ -28,7 +28,7 @@ - + @@ -74,7 +74,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.quotationExt/models/jetbrains.mps.lang.quotationExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.quotationExt/models/jetbrains.mps.lang.quotationExt.types.mps index db2da6bf..482b37f9 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.quotationExt/models/jetbrains.mps.lang.quotationExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.quotationExt/models/jetbrains.mps.lang.quotationExt.types.mps @@ -23,6 +23,9 @@ + + + @@ -108,7 +111,6 @@ - @@ -460,7 +462,7 @@ - + @@ -493,7 +495,7 @@ - + @@ -632,7 +634,7 @@ - + @@ -1108,7 +1110,7 @@ - + @@ -1147,7 +1149,7 @@ - + @@ -1298,7 +1300,7 @@ - + @@ -1385,7 +1387,7 @@ - + @@ -1400,7 +1402,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/jetbrains.mps.lang.scopesExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/jetbrains.mps.lang.scopesExt.mpl index 39111f74..3023e8d7 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/jetbrains.mps.lang.scopesExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/jetbrains.mps.lang.scopesExt.mpl @@ -28,7 +28,7 @@ - + @@ -66,7 +66,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.scriptExt/jetbrains.mps.lang.scriptExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.scriptExt/jetbrains.mps.lang.scriptExt.mpl index b86902ca..b8d1052e 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.scriptExt/jetbrains.mps.lang.scriptExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.scriptExt/jetbrains.mps.lang.scriptExt.mpl @@ -28,7 +28,7 @@ - + @@ -70,7 +70,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.smodel.queryExt/jetbrains.mps.lang.smodel.queryExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.smodel.queryExt/jetbrains.mps.lang.smodel.queryExt.mpl index f5f61387..1938c1ff 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.smodel.queryExt/jetbrains.mps.lang.smodel.queryExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.smodel.queryExt/jetbrains.mps.lang.smodel.queryExt.mpl @@ -28,7 +28,7 @@ - + @@ -74,7 +74,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 61039a6f..6b181dbc 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 @@ -28,7 +28,7 @@ - + @@ -82,7 +82,7 @@ - + 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 4c497d2c..3dc1c31b 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 @@ -38,6 +38,9 @@ + + + @@ -290,7 +293,6 @@ - @@ -620,7 +622,7 @@ - + @@ -867,18 +869,18 @@ - + - - - - + + + + - + - + @@ -1084,7 +1086,7 @@ - + @@ -1467,7 +1469,7 @@ - + @@ -1491,7 +1493,7 @@ - + @@ -1747,7 +1749,7 @@ - + @@ -1765,7 +1767,7 @@ - + @@ -2659,7 +2661,7 @@ - + @@ -3757,7 +3759,7 @@ - + @@ -5031,9 +5033,9 @@ - + - + @@ -5055,9 +5057,9 @@ - + - + @@ -5822,9 +5824,9 @@ - + - + @@ -6197,7 +6199,7 @@ - + @@ -7035,7 +7037,7 @@ - + @@ -7254,7 +7256,7 @@ - + @@ -7421,7 +7423,7 @@ - + @@ -8091,7 +8093,7 @@ - + @@ -8327,7 +8329,7 @@ - + @@ -8525,18 +8527,18 @@ - + - - + + - - - + + + - + @@ -8577,7 +8579,7 @@ - + @@ -8869,7 +8871,7 @@ - + @@ -8961,18 +8963,18 @@ - + - - + + - - - + + + - + @@ -10877,7 +10879,7 @@ - + @@ -10899,7 +10901,7 @@ - + @@ -10922,7 +10924,7 @@ - + @@ -10962,7 +10964,7 @@ - + @@ -10984,7 +10986,7 @@ - + @@ -11007,7 +11009,7 @@ - + @@ -11394,7 +11396,7 @@ - + @@ -11470,7 +11472,7 @@ - + @@ -11828,7 +11830,7 @@ - + @@ -11918,7 +11920,7 @@ - + @@ -12060,7 +12062,7 @@ - + @@ -12272,7 +12274,7 @@ - + @@ -12486,7 +12488,7 @@ - + @@ -12716,7 +12718,7 @@ - + @@ -13373,7 +13375,7 @@ - + @@ -13439,7 +13441,7 @@ - + @@ -13599,7 +13601,7 @@ - + @@ -13767,7 +13769,7 @@ - + @@ -13880,7 +13882,7 @@ - + @@ -14016,7 +14018,7 @@ - + @@ -14164,7 +14166,7 @@ - + @@ -14506,7 +14508,7 @@ - + @@ -15259,7 +15261,7 @@ - + @@ -15351,7 +15353,7 @@ - + @@ -15360,7 +15362,7 @@ - + @@ -15384,7 +15386,7 @@ - + @@ -15555,7 +15557,7 @@ - + @@ -15951,7 +15953,7 @@ - + @@ -16038,7 +16040,7 @@ - + @@ -16095,7 +16097,7 @@ - + @@ -16156,7 +16158,7 @@ - + @@ -20572,7 +20574,7 @@ - + @@ -20602,7 +20604,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.testExt/jetbrains.mps.lang.testExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.testExt/jetbrains.mps.lang.testExt.mpl index dd261baa..e53c7d5e 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.testExt/jetbrains.mps.lang.testExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.testExt/jetbrains.mps.lang.testExt.mpl @@ -28,7 +28,7 @@ - + @@ -73,7 +73,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.typecheckingExt/jetbrains.mps.lang.typecheckingExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.typecheckingExt/jetbrains.mps.lang.typecheckingExt.mpl index 7d0d3a13..92eab43f 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.typecheckingExt/jetbrains.mps.lang.typecheckingExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.typecheckingExt/jetbrains.mps.lang.typecheckingExt.mpl @@ -28,7 +28,7 @@ - + @@ -84,7 +84,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.typecheckingExt/models/jetbrains.mps.lang.typecheckingExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.typecheckingExt/models/jetbrains.mps.lang.typecheckingExt.types.mps index 5728f114..3c52e79b 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.typecheckingExt/models/jetbrains.mps.lang.typecheckingExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.typecheckingExt/models/jetbrains.mps.lang.typecheckingExt.types.mps @@ -15,6 +15,9 @@ + + + @@ -44,7 +47,6 @@ - @@ -179,11 +181,11 @@ - + - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/jetbrains.mps.lang.typesystemExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/jetbrains.mps.lang.typesystemExt.mpl index fa01c0f9..2a122fc8 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/jetbrains.mps.lang.typesystemExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/jetbrains.mps.lang.typesystemExt.mpl @@ -28,7 +28,7 @@ - + @@ -81,7 +81,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.types.mps index 9923e272..a729e9bf 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.types.mps @@ -25,6 +25,9 @@ + + + @@ -129,7 +132,6 @@ - @@ -1238,7 +1240,7 @@ - + @@ -1415,9 +1417,9 @@ - + - + @@ -4017,7 +4019,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 328914e9..0119225d 100644 --- a/samples/mpscore/languages/jetbrains.mps.logicExt/jetbrains.mps.logicExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.logicExt/jetbrains.mps.logicExt.mpl @@ -28,7 +28,7 @@ - + @@ -72,7 +72,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.incremental@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.incremental@tests.mps index 7e13c8fc..c247fb3c 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.incremental@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.incremental@tests.mps @@ -39,6 +39,9 @@ + + + @@ -212,7 +215,6 @@ - @@ -294,7 +296,7 @@ - + @@ -306,7 +308,7 @@ - + @@ -957,7 +959,7 @@ - + @@ -1042,7 +1044,7 @@ - + @@ -1130,7 +1132,7 @@ - + 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 8919fc7b..0810a445 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 @@ -32,7 +32,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.thinlet.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.thinlet.mps index b81c4fd2..4131afdd 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.thinlet.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.thinlet.mps @@ -4,7 +4,7 @@ - + @@ -261,17 +261,11 @@ - - - - - - - - - + + + @@ -306,9 +300,9 @@ - - - + + + @@ -1573,9 +1567,9 @@ - - - + + + @@ -1668,9 +1662,9 @@ - - - + + + @@ -6944,9 +6938,9 @@ - - - + + + @@ -7728,9 +7722,9 @@ - - - + + + @@ -8081,9 +8075,9 @@ - - - + + + @@ -8153,9 +8147,9 @@ - - - + + + @@ -8244,9 +8238,9 @@ - - - + + + @@ -8613,9 +8607,9 @@ - - - + + + @@ -8714,9 +8708,9 @@ - - - + + + @@ -9214,9 +9208,9 @@ - - - + + + @@ -9704,9 +9698,9 @@ - - - + + + @@ -9968,9 +9962,9 @@ - - - + + + @@ -9994,9 +9988,9 @@ - - - + + + @@ -12451,9 +12445,9 @@ - - - + + + @@ -14904,9 +14898,9 @@ - - - + + + @@ -15051,9 +15045,9 @@ - - - + + + @@ -15208,9 +15202,9 @@ - - - + + + @@ -15473,9 +15467,9 @@ - - - + + + @@ -15504,9 +15498,9 @@ - - - + + + @@ -15601,9 +15595,9 @@ - - - + + + @@ -15802,9 +15796,9 @@ - - - + + + @@ -27843,9 +27837,9 @@ - - - + + + @@ -28084,9 +28078,9 @@ - - - + + + @@ -29012,9 +29006,9 @@ - - - + + + @@ -30931,9 +30925,9 @@ - - - + + + @@ -31066,9 +31060,9 @@ - - - + + + @@ -31971,9 +31965,9 @@ - - - + + + @@ -32230,9 +32224,9 @@ - - - + + + @@ -32677,9 +32671,9 @@ - - - + + + @@ -33720,9 +33714,9 @@ - - - + + + @@ -34012,9 +34006,9 @@ - - - + + + @@ -34210,9 +34204,9 @@ - - - + + + @@ -34231,9 +34225,9 @@ - - - + + + @@ -36849,9 +36843,9 @@ - - - + + + @@ -41368,9 +41362,9 @@ - - - + + + @@ -41645,9 +41639,9 @@ - - - + + + @@ -41905,9 +41899,9 @@ - - - + + + @@ -43754,9 +43748,9 @@ - - - + + + @@ -44130,9 +44124,9 @@ - - - + + + @@ -44684,9 +44678,9 @@ - - - + + + @@ -45427,9 +45421,9 @@ - - - + + + @@ -45593,9 +45587,9 @@ - - - + + + @@ -45768,9 +45762,9 @@ - - - + + + @@ -46104,9 +46098,9 @@ - - - + + + @@ -46208,9 +46202,9 @@ - - - + + + @@ -50376,9 +50370,9 @@ - - - + + + @@ -50498,9 +50492,9 @@ - - - + + + @@ -50897,9 +50891,9 @@ - - - + + + @@ -51058,9 +51052,9 @@ - - - + + + @@ -51927,9 +51921,9 @@ - - - + + + @@ -52230,9 +52224,9 @@ - - - + + + @@ -53205,9 +53199,9 @@ - - - + + + @@ -53980,9 +53974,9 @@ - - - + + + @@ -54186,9 +54180,9 @@ - - - + + + @@ -54316,9 +54310,9 @@ - - - + + + @@ -55911,9 +55905,9 @@ - - - + + + @@ -56607,9 +56601,9 @@ - - - + + + @@ -57837,9 +57831,9 @@ - - - + + + @@ -57917,9 +57911,9 @@ - - - + + + @@ -58008,9 +58002,9 @@ - - - + + + @@ -58136,9 +58130,9 @@ - - - + + + @@ -58190,9 +58184,9 @@ - - - + + + @@ -58336,9 +58330,9 @@ - - - + + + @@ -58768,9 +58762,42 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -58907,9 +58934,42 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -59337,34 +59397,223 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + @@ -59726,9 +59975,9 @@ - - - + + + @@ -59835,9 +60084,9 @@ - - - + + + @@ -59876,9 +60125,12 @@ - - - + + + + + + @@ -59899,9 +60151,9 @@ - - - + + + @@ -59940,9 +60192,9 @@ - - - + + + @@ -60257,9 +60509,9 @@ - - - + + + @@ -60368,9 +60620,9 @@ - - - + + + @@ -60400,9 +60652,9 @@ - - - + + + @@ -60447,9 +60699,9 @@ - - - + + + @@ -60483,9 +60735,9 @@ - - - + + + @@ -60595,9 +60847,27 @@ - - - + + + + + + + + + + + + + + + + + + + + + @@ -60627,9 +60897,9 @@ - - - + + + @@ -60714,9 +60984,9 @@ - - - + + + @@ -60868,9 +61138,9 @@ - - - + + + @@ -60910,9 +61180,9 @@ - - - + + + @@ -60946,9 +61216,9 @@ - - - + + + @@ -61003,9 +61273,9 @@ - - - + + + @@ -61162,9 +61432,9 @@ - - - + + + @@ -61276,9 +61546,9 @@ - - - + + + @@ -61394,9 +61664,9 @@ - - - + + + @@ -61431,9 +61701,9 @@ - - - + + + @@ -61477,9 +61747,9 @@ - - - + + + @@ -61560,9 +61830,9 @@ - - - + + + @@ -61616,9 +61886,9 @@ - - - + + + @@ -61815,9 +62085,9 @@ - - - + + + @@ -62296,9 +62566,9 @@ - - - + + + @@ -62446,9 +62716,9 @@ - - - + + + @@ -62840,9 +63110,9 @@ - - - + + + @@ -62876,9 +63146,9 @@ - - - + + + @@ -63335,9 +63605,9 @@ - - - + + + @@ -63550,9 +63820,9 @@ - - - + + + @@ -63589,9 +63859,9 @@ - - - + + + @@ -63626,9 +63896,9 @@ - - - + + + @@ -63655,9 +63925,9 @@ - - - + + + @@ -63677,9 +63947,9 @@ - - - + + + @@ -63692,9 +63962,9 @@ - - - + + + @@ -65992,9 +66262,9 @@ - - - + + + @@ -66020,9 +66290,12 @@ - - - + + + + + + @@ -66723,9 +66996,9 @@ - - - + + + @@ -66813,9 +67086,9 @@ - - - + + + @@ -67467,9 +67740,9 @@ - - - + + + @@ -67806,9 +68079,9 @@ - - - + + + @@ -67921,9 +68194,9 @@ - - - + + + @@ -68010,9 +68283,9 @@ - - - + + + @@ -68149,9 +68422,9 @@ - - - + + + @@ -68247,9 +68520,9 @@ - - - + + + @@ -68363,9 +68636,9 @@ - - - + + + @@ -68453,9 +68726,9 @@ - - - + + + @@ -68573,9 +68846,9 @@ - - - + + + @@ -68667,9 +68940,9 @@ - - - + + + @@ -68769,9 +69042,9 @@ - - - + + + @@ -68858,9 +69131,9 @@ - - - + + + @@ -69001,9 +69274,9 @@ - - - + + + @@ -69146,9 +69419,9 @@ - - - + + + @@ -69810,9 +70083,9 @@ - - - + + + @@ -70160,9 +70433,9 @@ - - - + + + @@ -70240,9 +70513,9 @@ - - - + + + @@ -70409,9 +70682,9 @@ - - - + + + @@ -70483,9 +70756,9 @@ - - - + + + @@ -70563,9 +70836,9 @@ - - - + + + @@ -70642,9 +70915,9 @@ - - - + + + @@ -70725,9 +70998,9 @@ - - - + + + @@ -70797,9 +71070,9 @@ - - - + + + @@ -70880,9 +71153,9 @@ - - - + + + @@ -71094,9 +71367,9 @@ - - - + + + @@ -71168,9 +71441,9 @@ - - - + + + @@ -71204,9 +71477,9 @@ - - - + + + @@ -71728,9 +72001,9 @@ - - - + + + @@ -71749,9 +72022,9 @@ - - - + + + 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 7973d38f..0a0a33ba 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 @@ -46,6 +46,9 @@ + + + @@ -290,7 +293,6 @@ - @@ -3058,19 +3060,19 @@ - + - + - - - - - + + + + + - + @@ -7850,7 +7852,7 @@ - + @@ -8667,7 +8669,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.thinlet@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.thinlet@tests.mps index 1c60c405..ad743742 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.thinlet@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.thinlet@tests.mps @@ -5,7 +5,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 ad60c695..d6ec4dcf 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 @@ -52,6 +52,9 @@ + + + @@ -271,7 +274,6 @@ - @@ -511,7 +513,7 @@ - + @@ -668,7 +670,7 @@ - + @@ -812,7 +814,7 @@ - + @@ -1203,7 +1205,7 @@ - + @@ -5288,7 +5290,7 @@ - + @@ -5314,7 +5316,7 @@ - + @@ -5390,7 +5392,7 @@ - + @@ -5544,7 +5546,7 @@ - + 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 11b999ba..ef054cb3 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 @@ -29,7 +29,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.code.mps b/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.code.mps index bcd8e4e5..a91f1a38 100644 --- a/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.code.mps +++ b/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.code.mps @@ -30,6 +30,9 @@ + + + @@ -147,7 +150,6 @@ - @@ -3301,7 +3303,7 @@ - + @@ -3330,7 +3332,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd b/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd index 41e8c432..491d4654 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd @@ -22,7 +22,7 @@ - +