From 17ed4642ae6953b4946f7cd1eb7cb4642a16d0bf Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 22 May 2019 15:01:16 +0200 Subject: [PATCH] Apply all available automatic migrations. --- .mps/migration.xml | 2 + .../generator/template/main@generator.mps | 82 +- .../jetbrains.mps.lang.coderules.mpl | 12 +- .../languageModels/constraints.mps | 4 +- .../languageModels/intentions.mps | 2 +- .../languageModels/structure.mps | 2 +- .../languageModels/typesystem.mps | 20 +- .../languageModels/util.mps | 18 +- .../jetbrains.mps.lang.coderules.runtime.msd | 2 +- .../jetbrains.mps.lang.coderules.eval.mps | 104 +- .../jetbrains.mps.lang.coderules.program.mps | 116 +- .../jetbrains.mps.lang.controlflow.mpl | 10 +- .../jetbrains.mps.lang.smodel.types.mpl | 12 +- .../generator/template/main@generator.mps | 4 +- .../jetbrains.mps.lang.typechecking.mpl | 10 +- .../models/plugin.mps | 2 +- .../models/typesystem.mps | 4 +- .../generator/template/main@generator.mps | 10 +- .../jetbrains.mps.logic.mpl | 15 +- .../languageModels/behavior.mps | 2 +- .../languageModels/constraints.mps | 2 +- .../languageModels/editor.mps | 8 +- .../languageModels/intentions.mps | 8 +- .../languageModels/typesystem.mps | 4 +- .../runtime/jetbrains.mps.logic.runtime.msd | 5 +- .../models/jetbrains.mps.logic.dataform.mps | 332 ++--- .../models/jetbrains.mps.logic.predicate.mps | 488 +++---- .../jetbrains.mps.logic.unification.mps | 78 +- .../jetbrains.mps.typechecking.annotation.mpl | 4 +- .../languageModels/intentions.mps | 2 +- .../jetbrains.mps.typechecking.testlang.mpl | 12 +- .../models/editor.mps | 6 +- .../models/types.mps | 6 +- .../jetbrains.mps.coderules.test.msd | 40 +- .../models/modelcheck@tests.mps | 32 +- ...brains.mps.coderules.typechecking.test.msd | 4 +- ...tbrains.mps.coderules.scheduling@tests.mps | 50 +- ...rains.mps.coderules.typechecking@tests.mps | 70 +- ...etbrains.mps.coderules.typechecking.ui.msd | 2 +- ...s.mps.coderules.typechecking.ui.plugin.mps | 152 +-- .../jetbrains.mps.coderules.typechecking.msd | 5 +- .../jetbrains.mps.coderules.typechecking.mps | 2 +- ...ains.mps.coderules.typechecking.plugin.mps | 2 +- ...ins.mps.coderules.typechecking.service.mps | 88 +- .../jetbrains.mps.coderules.ui.msd | 2 +- .../models/plugin.mps | 1022 +++++++-------- .../jetbrains.mps.coderules.msd | 2 +- .../jetbrains.mps.coderules/models/plugin.mps | 2 +- .../models/service.mps | 122 +- .../jetbrains.mps.controlflow.ui.msd | 2 +- .../models/plugin.mps | 46 +- .../jetbrains.mps.controlflow.msd | 2 +- .../models/service.mps | 14 +- .../jetbrains.mps.lang.coderules.template.msd | 2 +- .../jetbrains.mps.lang.coderules.aspect.mps | 34 +- .../jetbrains.mps.lang.coderules.macro.mps | 8 +- .../jetbrains.mps.lang.coderules.template.mps | 106 +- ...jetbrains.mps.lang.controlflow.runtime.msd | 2 +- .../jetbrains.mps.lang.controlflow.aspect.mps | 2 +- ...etbrains.mps.lang.typechecking.runtime.msd | 2 +- ...jetbrains.mps.lang.typechecking.aspect.mps | 2 +- .../jetbrains.mps.logic.test.msd | 6 +- .../mps/logic/test/logical@tests.mps | 228 ++-- .../jetbrains/mps/logic/test/unification.mps | 4 +- .../mps/logic/test/unification@tests.mps | 164 +-- .../jetbrains.mps.reporting.runtime.msd | 2 +- ...tbrains.mps.lang.typesystem2.reporting.mps | 2 +- .../models/editor.mps | 2 +- .../samples.fitch.firstOrderLogic.mpl | 12 +- .../samples.fitch.herbrandLogic.mpl | 12 +- .../models/constraints.mps | 2 +- .../models/editor.mps | 2 +- .../models/types.mps | 2 +- .../samples.fitch.propositionalLogic.mpl | 12 +- .../samples.fitch/models/constraints.mps | 2 +- .../languages/samples.fitch/models/editor.mps | 12 +- .../languages/samples.fitch/samples.fitch.mpl | 12 +- .../models/firstOrderLogic@tests.mps | 6 +- .../models/herbrandLogic@tests.mps | 6 +- .../models/propositionalLogic@tests.mps | 6 +- .../samples.fitch.demo/samples.fitch.demo.msd | 2 +- .../samples.lambdacalc/models/behavior.mps | 30 +- .../samples.lambdacalc/models/constraints.mps | 4 +- .../samples.lambdacalc/models/types.mps | 12 +- .../samples.lambdacalc/samples.lambdacalc.mpl | 6 +- .../models/samples.lambdacalc.demo@tests.mps | 6 +- .../samples.lambdacalc.demo.msd | 2 +- .../jetbrains.mps.baseLanguageExt.mpl | 4 +- .../models/controlflow.mps | 4 +- .../jetbrains.mps.baseLanguageExt.types.mps | 146 +-- .../jetbrains.mps.baseLanguageExt.test.msd | 2 +- ...s.mps.baseLanguageExt.test.types@tests.mps | 6 +- .../models/bounds.bad@tests.mps | 6 +- .../models/bounds@tests.mps | 6 +- .../models/codeAnal@tests.mps | 6 +- .../models/features.mps | 70 +- .../models/features@tests.mps | 6 +- .../models/helloWorld@tests.mps | 6 +- .../models/simpleGenerics@tests.mps | 6 +- .../models/slice@tests.mps | 6 +- ...checking.samples.baseLanguage.codeAnal.mps | 1148 ++++++++--------- ...ecking.samples.baseLanguage.helloWorld.mps | 10 +- ...ypechecking.samples.baseLanguage.slice.mps | 4 +- .../typechecking.samples.baseLanguage.msd | 2 +- 104 files changed, 2622 insertions(+), 2579 deletions(-) diff --git a/.mps/migration.xml b/.mps/migration.xml index 26e6596a..25045b7d 100644 --- a/.mps/migration.xml +++ b/.mps/migration.xml @@ -8,6 +8,8 @@ + + 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 b87cab25..e6a17f1d 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 @@ -3,12 +3,12 @@ - + - + @@ -16,7 +16,7 @@ - + @@ -908,7 +908,7 @@ - + @@ -3759,7 +3759,7 @@ - + @@ -3768,7 +3768,7 @@ - + @@ -3805,7 +3805,7 @@ - + @@ -4622,7 +4622,7 @@ - + @@ -6137,11 +6137,11 @@ - + - + @@ -6253,11 +6253,11 @@ - + - + @@ -6268,17 +6268,17 @@ - + - + - + @@ -6540,7 +6540,7 @@ - + @@ -6606,12 +6606,12 @@ - + - + @@ -6827,7 +6827,7 @@ - + @@ -6892,7 +6892,7 @@ - + @@ -6904,7 +6904,7 @@ - + @@ -6969,12 +6969,12 @@ - + - + @@ -7590,7 +7590,7 @@ - + @@ -8523,7 +8523,7 @@ - + @@ -11552,11 +11552,11 @@ - + - + @@ -11568,10 +11568,10 @@ - + - + @@ -11582,7 +11582,7 @@ - + @@ -13199,7 +13199,7 @@ - + @@ -13220,11 +13220,11 @@ - + - + @@ -14262,7 +14262,7 @@ - + @@ -14379,7 +14379,7 @@ - + @@ -14699,7 +14699,7 @@ - + @@ -14719,11 +14719,11 @@ - + - + @@ -15526,7 +15526,7 @@ - + @@ -15537,11 +15537,11 @@ - + - + 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 cf3e2654..c32e1ea9 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 @@ -37,12 +37,12 @@ - + - + - + @@ -122,18 +122,18 @@ - + - + - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps index 6d19af36..f0537249 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps @@ -268,7 +268,7 @@ - + @@ -585,7 +585,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps index d5701f21..4b8d462e 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps @@ -9,7 +9,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps index 4540f10b..dc8fb26d 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps index d030a0f5..58a27d5e 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps @@ -389,7 +389,7 @@ - + @@ -533,7 +533,7 @@ - + @@ -698,11 +698,11 @@ - + - + @@ -758,11 +758,11 @@ - + - + @@ -802,11 +802,11 @@ - + - + @@ -846,11 +846,11 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps index a0c2ba1d..152cd4d0 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps @@ -6,7 +6,7 @@ - + @@ -256,7 +256,7 @@ - + @@ -490,7 +490,7 @@ - + @@ -606,11 +606,11 @@ - + - + @@ -681,7 +681,7 @@ - + @@ -692,7 +692,7 @@ - + @@ -707,7 +707,7 @@ - + @@ -720,7 +720,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 e60d8156..c96a0272 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 @@ -25,7 +25,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps index 53065d58..efcf2759 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 @@ -4,7 +4,7 @@ - + @@ -700,7 +700,7 @@ - + @@ -730,7 +730,7 @@ - + @@ -892,7 +892,7 @@ - + @@ -910,7 +910,7 @@ - + @@ -949,7 +949,7 @@ - + @@ -1685,7 +1685,7 @@ - + @@ -1713,7 +1713,7 @@ - + @@ -1737,7 +1737,7 @@ - + @@ -1758,7 +1758,7 @@ - + @@ -1796,7 +1796,7 @@ - + @@ -1853,7 +1853,7 @@ - + @@ -1873,7 +1873,7 @@ - + @@ -1934,7 +1934,7 @@ - + @@ -1953,7 +1953,7 @@ - + @@ -2183,7 +2183,7 @@ - + @@ -2268,7 +2268,7 @@ - + @@ -2279,7 +2279,7 @@ - + @@ -2310,7 +2310,7 @@ - + @@ -2338,7 +2338,7 @@ - + @@ -2527,7 +2527,7 @@ - + @@ -2583,7 +2583,7 @@ - + @@ -2684,7 +2684,7 @@ - + @@ -2695,7 +2695,7 @@ - + @@ -2765,7 +2765,7 @@ - + @@ -2790,7 +2790,7 @@ - + @@ -3006,16 +3006,16 @@ - + - + - + @@ -3094,7 +3094,7 @@ - + @@ -3149,7 +3149,7 @@ - + @@ -3202,7 +3202,7 @@ - + @@ -3292,7 +3292,7 @@ - + @@ -3332,7 +3332,7 @@ - + @@ -3361,7 +3361,7 @@ - + @@ -3483,7 +3483,7 @@ - + @@ -3981,10 +3981,10 @@ - + - + @@ -4872,11 +4872,11 @@ - + - + @@ -5058,7 +5058,7 @@ - + @@ -5069,7 +5069,7 @@ - + @@ -5087,7 +5087,7 @@ - + @@ -5113,13 +5113,13 @@ - + - + @@ -5132,7 +5132,7 @@ - + @@ -5169,7 +5169,7 @@ - + @@ -6007,7 +6007,7 @@ - + @@ -6752,11 +6752,11 @@ - + - + @@ -6807,11 +6807,11 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps index a79d35bd..9f6af967 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps @@ -4,7 +4,7 @@ - + @@ -597,7 +597,7 @@ - + @@ -626,10 +626,10 @@ - + - + @@ -708,14 +708,14 @@ - + - + @@ -736,14 +736,14 @@ - + - + @@ -772,7 +772,7 @@ - + @@ -816,11 +816,11 @@ - + - + @@ -829,11 +829,11 @@ - + - + @@ -850,13 +850,13 @@ - + - + @@ -902,13 +902,13 @@ - + - + @@ -922,7 +922,7 @@ - + @@ -935,13 +935,13 @@ - + - + @@ -958,23 +958,23 @@ - + - + - + - + @@ -990,13 +990,13 @@ - + - + @@ -1049,13 +1049,13 @@ - + - + @@ -1074,11 +1074,11 @@ - + - + @@ -1087,11 +1087,11 @@ - + - + @@ -1110,14 +1110,14 @@ - + - + @@ -1149,7 +1149,7 @@ - + @@ -1201,13 +1201,13 @@ - + - + @@ -1215,7 +1215,7 @@ - + @@ -1263,13 +1263,13 @@ - + - + @@ -1587,7 +1587,7 @@ - + @@ -2778,7 +2778,7 @@ - + @@ -3819,7 +3819,7 @@ - + @@ -3987,7 +3987,7 @@ - + @@ -4307,7 +4307,7 @@ - + @@ -4331,7 +4331,7 @@ - + @@ -4409,7 +4409,7 @@ - + @@ -4457,7 +4457,7 @@ - + @@ -4477,7 +4477,7 @@ - + @@ -5091,7 +5091,7 @@ - + @@ -5714,7 +5714,7 @@ - + @@ -5744,7 +5744,7 @@ - + @@ -5905,7 +5905,7 @@ - + @@ -6710,7 +6710,7 @@ - + @@ -6758,7 +6758,7 @@ - + @@ -7130,7 +7130,7 @@ - + @@ -7161,7 +7161,7 @@ - + @@ -7170,7 +7170,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl b/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl index 15939362..dbb91877 100644 --- a/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl +++ b/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl @@ -31,13 +31,13 @@ - + - + - + @@ -113,9 +113,9 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl b/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl index e1a5f8c3..8c4093f6 100644 --- a/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl +++ b/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl @@ -24,12 +24,12 @@ - + - + - + @@ -90,16 +90,16 @@ - + - + - + 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 fc7b2c5a..d7b42bb6 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 @@ -4,8 +4,8 @@ - - + + 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 32facca1..9063122c 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 @@ -39,13 +39,13 @@ - + - + - + @@ -124,9 +124,9 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps index 74816e2a..d47de6bd 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps @@ -6,7 +6,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps index a3ff3ca8..56af4f16 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps @@ -4,8 +4,8 @@ - - + + 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 76d280e9..46c381c3 100644 --- a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps @@ -3,11 +3,11 @@ - + - + @@ -428,7 +428,7 @@ - + @@ -449,7 +449,7 @@ - + @@ -1846,7 +1846,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl index 03e26c0c..908a8fbf 100644 --- a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl +++ b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl @@ -30,10 +30,11 @@ - + - - + + + @@ -46,8 +47,6 @@ - - @@ -110,18 +109,18 @@ - + - + - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps index 430e9749..c96a4840 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps @@ -5,7 +5,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps index 7dfe6c2a..e212c7eb 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps @@ -5,7 +5,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps index 79a40b86..99429a74 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps @@ -5,7 +5,7 @@ - + @@ -2944,7 +2944,7 @@ - + @@ -2971,11 +2971,11 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps index b0ae2f24..c7081cb4 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps @@ -3,7 +3,7 @@ - + @@ -211,7 +211,7 @@ - + @@ -250,7 +250,7 @@ - + @@ -475,7 +475,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps index e0ea8207..c2e68164 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps @@ -4,8 +4,8 @@ - - + + 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 1363ac34..802d7689 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 @@ -18,12 +18,13 @@ + - - + + 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 e237d847..189d2978 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 @@ -433,7 +433,7 @@ - + @@ -507,22 +507,22 @@ - + - + - + - + @@ -699,7 +699,7 @@ - + @@ -758,7 +758,7 @@ - + @@ -766,7 +766,7 @@ - + @@ -801,7 +801,7 @@ - + @@ -883,7 +883,7 @@ - + @@ -1219,11 +1219,11 @@ - + - + @@ -1404,10 +1404,10 @@ - + - + @@ -1415,21 +1415,21 @@ - + - + - + @@ -1442,7 +1442,7 @@ - + @@ -1548,11 +1548,11 @@ - + - + @@ -1658,23 +1658,23 @@ - + - + - + - + @@ -1874,7 +1874,7 @@ - + @@ -1882,7 +1882,7 @@ - + @@ -1909,7 +1909,7 @@ - + @@ -1963,7 +1963,7 @@ - + @@ -2047,7 +2047,7 @@ - + @@ -2103,7 +2103,7 @@ - + @@ -3045,7 +3045,7 @@ - + @@ -3106,10 +3106,10 @@ - + - + @@ -3249,7 +3249,7 @@ - + @@ -3277,26 +3277,26 @@ - + - + - + - + - + @@ -3310,13 +3310,13 @@ - + - + @@ -3325,22 +3325,22 @@ - + - + - + - + - + @@ -3581,7 +3581,7 @@ - + @@ -3625,7 +3625,7 @@ - + @@ -3713,7 +3713,7 @@ - + @@ -3753,7 +3753,7 @@ - + @@ -3790,7 +3790,7 @@ - + @@ -3819,7 +3819,7 @@ - + @@ -3843,9 +3843,9 @@ - + - + @@ -3863,7 +3863,7 @@ - + @@ -4622,17 +4622,17 @@ - + - + - + @@ -4656,7 +4656,7 @@ - + @@ -4669,7 +4669,7 @@ - + @@ -4692,7 +4692,7 @@ - + @@ -4704,7 +4704,7 @@ - + @@ -4721,7 +4721,7 @@ - + @@ -4747,7 +4747,7 @@ - + @@ -4782,7 +4782,7 @@ - + @@ -4793,7 +4793,7 @@ - + @@ -4823,7 +4823,7 @@ - + @@ -4881,7 +4881,7 @@ - + @@ -4892,7 +4892,7 @@ - + @@ -4922,7 +4922,7 @@ - + @@ -4980,7 +4980,7 @@ - + @@ -4991,7 +4991,7 @@ - + @@ -5021,7 +5021,7 @@ - + @@ -5103,7 +5103,7 @@ - + @@ -5114,7 +5114,7 @@ - + @@ -5211,7 +5211,7 @@ - + @@ -5222,7 +5222,7 @@ - + @@ -5252,7 +5252,7 @@ - + @@ -5326,7 +5326,7 @@ - + @@ -5402,7 +5402,7 @@ - + @@ -5459,7 +5459,7 @@ - + @@ -6081,7 +6081,7 @@ - + @@ -6187,7 +6187,7 @@ - + @@ -6207,7 +6207,7 @@ - + @@ -6223,7 +6223,7 @@ - + @@ -6247,7 +6247,7 @@ - + @@ -6291,7 +6291,7 @@ - + @@ -6310,11 +6310,11 @@ - + - + @@ -6332,7 +6332,7 @@ - + @@ -6346,7 +6346,7 @@ - + @@ -6430,7 +6430,7 @@ - + @@ -6478,13 +6478,13 @@ - + - + @@ -6565,7 +6565,7 @@ - + @@ -6671,7 +6671,7 @@ - + @@ -6691,7 +6691,7 @@ - + @@ -6707,7 +6707,7 @@ - + @@ -6731,7 +6731,7 @@ - + @@ -6817,7 +6817,7 @@ - + @@ -6843,11 +6843,11 @@ - + - + @@ -6879,7 +6879,7 @@ - + @@ -6931,14 +6931,14 @@ - + - + @@ -7055,23 +7055,23 @@ - + - + - + - + @@ -7719,7 +7719,7 @@ - + @@ -7820,10 +7820,10 @@ - + - + @@ -7831,7 +7831,7 @@ - + @@ -7854,20 +7854,20 @@ - + - + - + @@ -7901,14 +7901,14 @@ - + - + @@ -8198,7 +8198,7 @@ - + @@ -8206,7 +8206,7 @@ - + @@ -8246,7 +8246,7 @@ - + @@ -8601,11 +8601,11 @@ - + - + @@ -8619,7 +8619,7 @@ - + @@ -8865,7 +8865,7 @@ - + @@ -8900,7 +8900,7 @@ - + @@ -9124,7 +9124,7 @@ - + @@ -9139,7 +9139,7 @@ - + @@ -9192,7 +9192,7 @@ - + @@ -9201,7 +9201,7 @@ - + @@ -9245,7 +9245,7 @@ - + @@ -9305,7 +9305,7 @@ - + @@ -9343,7 +9343,7 @@ - + @@ -9393,7 +9393,7 @@ - + @@ -9490,7 +9490,7 @@ - + @@ -9525,7 +9525,7 @@ - + @@ -9568,7 +9568,7 @@ - + @@ -9606,7 +9606,7 @@ - + @@ -9632,7 +9632,7 @@ - + @@ -9730,9 +9730,9 @@ - + - + @@ -9787,7 +9787,7 @@ - + @@ -10215,7 +10215,7 @@ - + @@ -10486,7 +10486,7 @@ - + @@ -10521,14 +10521,14 @@ - + - + @@ -10541,7 +10541,7 @@ - + @@ -10563,14 +10563,14 @@ - + - + @@ -10598,7 +10598,7 @@ - + @@ -10951,7 +10951,7 @@ - + @@ -11016,7 +11016,7 @@ - + @@ -11404,10 +11404,10 @@ - + - + @@ -11415,14 +11415,14 @@ - + - + @@ -11435,7 +11435,7 @@ - + @@ -11632,7 +11632,7 @@ - + @@ -11655,7 +11655,7 @@ - + @@ -11689,7 +11689,7 @@ - + @@ -12039,10 +12039,10 @@ - + - + @@ -12050,21 +12050,21 @@ - + - + - + @@ -12077,7 +12077,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps index 7a358cf4..dbf4a8d2 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps +++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps @@ -9,7 +9,7 @@ - + @@ -316,10 +316,10 @@ - + - + @@ -347,10 +347,10 @@ - + - + @@ -399,7 +399,7 @@ - + @@ -407,7 +407,7 @@ - + @@ -442,13 +442,13 @@ - + - + @@ -458,7 +458,7 @@ - + @@ -467,7 +467,7 @@ - + @@ -477,7 +477,7 @@ - + @@ -537,19 +537,19 @@ - + - + - + - + @@ -798,11 +798,11 @@ - + - + @@ -814,11 +814,11 @@ - + - + @@ -1078,11 +1078,11 @@ - + - + @@ -1094,11 +1094,11 @@ - + - + @@ -1373,7 +1373,7 @@ - + @@ -1445,7 +1445,7 @@ - + @@ -1464,7 +1464,7 @@ - + @@ -1518,7 +1518,7 @@ - + @@ -1533,11 +1533,11 @@ - + - + @@ -1551,11 +1551,11 @@ - + - + @@ -1578,7 +1578,7 @@ - + @@ -1627,7 +1627,7 @@ - + @@ -1646,7 +1646,7 @@ - + @@ -1668,7 +1668,7 @@ - + @@ -1698,7 +1698,7 @@ - + @@ -1723,7 +1723,7 @@ - + @@ -1735,7 +1735,7 @@ - + @@ -1746,7 +1746,7 @@ - + @@ -1765,7 +1765,7 @@ - + @@ -1784,7 +1784,7 @@ - + @@ -1808,7 +1808,7 @@ - + @@ -1817,7 +1817,7 @@ - + @@ -1842,7 +1842,7 @@ - + @@ -1855,7 +1855,7 @@ - + @@ -1872,7 +1872,7 @@ - + @@ -1885,7 +1885,7 @@ - + @@ -1893,7 +1893,7 @@ - + @@ -1905,7 +1905,7 @@ - + @@ -1947,7 +1947,7 @@ - + @@ -2093,7 +2093,7 @@ - + @@ -2127,7 +2127,7 @@ - + @@ -2149,7 +2149,7 @@ - + @@ -2163,7 +2163,7 @@ - + @@ -2218,7 +2218,7 @@ - + @@ -2237,7 +2237,7 @@ - + @@ -2266,7 +2266,7 @@ - + @@ -2274,7 +2274,7 @@ - + @@ -2287,7 +2287,7 @@ - + @@ -2295,7 +2295,7 @@ - + @@ -2314,7 +2314,7 @@ - + @@ -2326,7 +2326,7 @@ - + @@ -2335,7 +2335,7 @@ - + @@ -2350,7 +2350,7 @@ - + @@ -2364,7 +2364,7 @@ - + @@ -2407,7 +2407,7 @@ - + @@ -2425,11 +2425,11 @@ - + - + @@ -2475,7 +2475,7 @@ - + @@ -2543,7 +2543,7 @@ - + @@ -2562,7 +2562,7 @@ - + @@ -2611,7 +2611,7 @@ - + @@ -2646,7 +2646,7 @@ - + @@ -2676,7 +2676,7 @@ - + @@ -2686,7 +2686,7 @@ - + @@ -2703,7 +2703,7 @@ - + @@ -2728,14 +2728,14 @@ - + - + @@ -2759,13 +2759,13 @@ - + - + @@ -2788,7 +2788,7 @@ - + @@ -2800,7 +2800,7 @@ - + @@ -2808,7 +2808,7 @@ - + @@ -2822,7 +2822,7 @@ - + @@ -2836,7 +2836,7 @@ - + @@ -2855,7 +2855,7 @@ - + @@ -2869,7 +2869,7 @@ - + @@ -2878,7 +2878,7 @@ - + @@ -2899,7 +2899,7 @@ - + @@ -2917,7 +2917,7 @@ - + @@ -3052,17 +3052,17 @@ - + - + - + @@ -3085,7 +3085,7 @@ - + @@ -3115,7 +3115,7 @@ - + @@ -3148,7 +3148,7 @@ - + @@ -3166,7 +3166,7 @@ - + @@ -3175,7 +3175,7 @@ - + @@ -3204,7 +3204,7 @@ - + @@ -3214,7 +3214,7 @@ - + @@ -3231,7 +3231,7 @@ - + @@ -3256,14 +3256,14 @@ - + - + @@ -3287,13 +3287,13 @@ - + - + @@ -3316,7 +3316,7 @@ - + @@ -3328,7 +3328,7 @@ - + @@ -3336,7 +3336,7 @@ - + @@ -3350,7 +3350,7 @@ - + @@ -3364,7 +3364,7 @@ - + @@ -3383,7 +3383,7 @@ - + @@ -3397,7 +3397,7 @@ - + @@ -3406,7 +3406,7 @@ - + @@ -3427,7 +3427,7 @@ - + @@ -3445,7 +3445,7 @@ - + @@ -3462,7 +3462,7 @@ - + @@ -3487,12 +3487,12 @@ - + - + @@ -3508,12 +3508,12 @@ - + - + @@ -3574,7 +3574,7 @@ - + @@ -3593,7 +3593,7 @@ - + @@ -3626,7 +3626,7 @@ - + @@ -3634,7 +3634,7 @@ - + @@ -3646,7 +3646,7 @@ - + @@ -3654,7 +3654,7 @@ - + @@ -3669,7 +3669,7 @@ - + @@ -3683,7 +3683,7 @@ - + @@ -3700,7 +3700,7 @@ - + @@ -3711,7 +3711,7 @@ - + @@ -3764,7 +3764,7 @@ - + @@ -3804,7 +3804,7 @@ - + @@ -3845,7 +3845,7 @@ - + @@ -3909,11 +3909,11 @@ - + - + @@ -3924,7 +3924,7 @@ - + @@ -3933,7 +3933,7 @@ - + @@ -3954,7 +3954,7 @@ - + @@ -3965,7 +3965,7 @@ - + @@ -4411,11 +4411,11 @@ - + - + @@ -4532,11 +4532,11 @@ - + - + @@ -4699,7 +4699,7 @@ - + @@ -4724,7 +4724,7 @@ - + @@ -4733,7 +4733,7 @@ - + @@ -4750,7 +4750,7 @@ - + @@ -4763,7 +4763,7 @@ - + @@ -4831,7 +4831,7 @@ - + @@ -4850,7 +4850,7 @@ - + @@ -4862,7 +4862,7 @@ - + @@ -5086,11 +5086,11 @@ - + - + @@ -5102,11 +5102,11 @@ - + - + @@ -5379,11 +5379,11 @@ - + - + @@ -5395,11 +5395,11 @@ - + - + @@ -5658,7 +5658,7 @@ - + @@ -5730,7 +5730,7 @@ - + @@ -5758,7 +5758,7 @@ - + @@ -5783,7 +5783,7 @@ - + @@ -5805,7 +5805,7 @@ - + @@ -5813,7 +5813,7 @@ - + @@ -5827,7 +5827,7 @@ - + @@ -5838,7 +5838,7 @@ - + @@ -5852,7 +5852,7 @@ - + @@ -5863,7 +5863,7 @@ - + @@ -5883,7 +5883,7 @@ - + @@ -5903,7 +5903,7 @@ - + @@ -5924,7 +5924,7 @@ - + @@ -5932,7 +5932,7 @@ - + @@ -5983,7 +5983,7 @@ - + @@ -6128,7 +6128,7 @@ - + @@ -6145,7 +6145,7 @@ - + @@ -6264,7 +6264,7 @@ - + @@ -6283,7 +6283,7 @@ - + @@ -6318,7 +6318,7 @@ - + @@ -6326,7 +6326,7 @@ - + @@ -6339,7 +6339,7 @@ - + @@ -6347,7 +6347,7 @@ - + @@ -6420,7 +6420,7 @@ - + @@ -6455,7 +6455,7 @@ - + @@ -6483,7 +6483,7 @@ - + @@ -6508,7 +6508,7 @@ - + @@ -6530,7 +6530,7 @@ - + @@ -6538,7 +6538,7 @@ - + @@ -6552,7 +6552,7 @@ - + @@ -6563,7 +6563,7 @@ - + @@ -6577,7 +6577,7 @@ - + @@ -6588,7 +6588,7 @@ - + @@ -6608,7 +6608,7 @@ - + @@ -6628,7 +6628,7 @@ - + @@ -6649,7 +6649,7 @@ - + @@ -6657,7 +6657,7 @@ - + @@ -6680,7 +6680,7 @@ - + @@ -6804,7 +6804,7 @@ - + @@ -6821,7 +6821,7 @@ - + @@ -6900,7 +6900,7 @@ - + @@ -6919,7 +6919,7 @@ - + @@ -6958,7 +6958,7 @@ - + @@ -6966,7 +6966,7 @@ - + @@ -6978,7 +6978,7 @@ - + @@ -6986,7 +6986,7 @@ - + @@ -7001,7 +7001,7 @@ - + @@ -7015,7 +7015,7 @@ - + @@ -7032,7 +7032,7 @@ - + @@ -7043,7 +7043,7 @@ - + @@ -7083,11 +7083,11 @@ - + - + @@ -7098,7 +7098,7 @@ - + @@ -7107,7 +7107,7 @@ - + @@ -7128,7 +7128,7 @@ - + @@ -7139,7 +7139,7 @@ - + @@ -7663,11 +7663,11 @@ - + - + @@ -7719,11 +7719,11 @@ - + - + @@ -7774,7 +7774,7 @@ - + @@ -7814,7 +7814,7 @@ - + @@ -8007,7 +8007,7 @@ - + @@ -8031,11 +8031,11 @@ - + - + @@ -8127,11 +8127,11 @@ - + - + @@ -8407,11 +8407,11 @@ - + - + @@ -8459,7 +8459,7 @@ - + @@ -8474,18 +8474,18 @@ - + - + - + @@ -8504,18 +8504,18 @@ - + - + - + @@ -8532,11 +8532,11 @@ - + - + @@ -8823,11 +8823,11 @@ - + - + @@ -8875,7 +8875,7 @@ - + @@ -8890,18 +8890,18 @@ - + - + - + 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 667e77b2..aa6466d1 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 @@ -311,7 +311,7 @@ - + @@ -345,11 +345,11 @@ - + - + @@ -446,7 +446,7 @@ - + @@ -474,7 +474,7 @@ - + @@ -530,7 +530,7 @@ - + @@ -645,7 +645,7 @@ - + @@ -680,7 +680,7 @@ - + @@ -693,15 +693,15 @@ - + - + - + @@ -744,11 +744,11 @@ - + - + @@ -759,7 +759,7 @@ - + @@ -808,7 +808,7 @@ - + @@ -851,7 +851,7 @@ - + @@ -895,7 +895,7 @@ - + @@ -923,7 +923,7 @@ - + @@ -979,7 +979,7 @@ - + @@ -1078,7 +1078,7 @@ - + @@ -1089,11 +1089,11 @@ - + - + @@ -1127,7 +1127,7 @@ - + @@ -1160,7 +1160,7 @@ - + @@ -1227,7 +1227,7 @@ - + @@ -1270,7 +1270,7 @@ - + @@ -1314,7 +1314,7 @@ - + @@ -1342,7 +1342,7 @@ - + @@ -1398,7 +1398,7 @@ - + @@ -1517,7 +1517,7 @@ - + @@ -1550,7 +1550,7 @@ - + @@ -1647,7 +1647,7 @@ - + @@ -1675,7 +1675,7 @@ - + @@ -1731,7 +1731,7 @@ - + @@ -1806,7 +1806,7 @@ - + @@ -1836,7 +1836,7 @@ - + @@ -1862,7 +1862,7 @@ - + @@ -2172,7 +2172,7 @@ - + @@ -2204,7 +2204,7 @@ - + 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 2308f25d..4364b19c 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 @@ -31,9 +31,9 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps index 68626c5f..ea34b182 100644 --- a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps +++ b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps @@ -200,7 +200,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 f1ad4b62..d7b7e3ac 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 @@ -23,12 +23,12 @@ - + - + - + @@ -73,16 +73,16 @@ - + - + - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps index 126c6d91..22e5d055 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps @@ -456,7 +456,7 @@ - + @@ -657,7 +657,7 @@ - + @@ -675,7 +675,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps index c058d595..af48e7a1 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps @@ -5,7 +5,7 @@ - + @@ -509,7 +509,7 @@ - + @@ -520,7 +520,7 @@ - + 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 1a84b15f..acc919e8 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd +++ b/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd @@ -13,9 +13,47 @@ 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) 707c4fde-f79a-44b5-b3d7-b5cef8844ccf(jetbrains.mps.lang.test.runtime) - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 df89e112..8fe00822 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps @@ -280,7 +280,7 @@ - + @@ -384,7 +384,7 @@ - + @@ -502,7 +502,7 @@ - + @@ -516,7 +516,7 @@ - + @@ -528,7 +528,7 @@ - + @@ -546,7 +546,7 @@ - + @@ -558,7 +558,7 @@ - + @@ -576,7 +576,7 @@ - + @@ -674,7 +674,7 @@ - + @@ -741,7 +741,7 @@ - + @@ -770,7 +770,7 @@ - + @@ -794,7 +794,7 @@ - + @@ -808,7 +808,7 @@ - + @@ -837,7 +837,7 @@ - + @@ -855,7 +855,7 @@ - + @@ -863,7 +863,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd index a4909590..1427dad8 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd @@ -31,8 +31,8 @@ - - + + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps index 532afcbe..d3f56691 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps @@ -233,14 +233,14 @@ - + - + @@ -291,7 +291,7 @@ - + @@ -359,14 +359,14 @@ - + - + @@ -417,7 +417,7 @@ - + @@ -478,16 +478,16 @@ - + - + - + @@ -548,7 +548,7 @@ - + @@ -586,7 +586,7 @@ - + @@ -597,7 +597,7 @@ - + @@ -668,7 +668,7 @@ - + @@ -708,16 +708,16 @@ - + - + - + @@ -779,7 +779,7 @@ - + @@ -817,7 +817,7 @@ - + @@ -828,7 +828,7 @@ - + @@ -868,7 +868,7 @@ - + @@ -890,7 +890,7 @@ - + @@ -901,7 +901,7 @@ - + @@ -917,7 +917,7 @@ - + @@ -929,7 +929,7 @@ - + @@ -941,7 +941,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps index 1b032319..83026a99 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps @@ -5,9 +5,9 @@ - + - + @@ -425,7 +425,7 @@ - + @@ -463,7 +463,7 @@ - + @@ -484,7 +484,7 @@ - + @@ -524,7 +524,7 @@ - + @@ -558,7 +558,7 @@ - + @@ -628,7 +628,7 @@ - + @@ -676,7 +676,7 @@ - + @@ -716,7 +716,7 @@ - + @@ -755,7 +755,7 @@ - + @@ -783,7 +783,7 @@ - + @@ -1216,7 +1216,7 @@ - + @@ -1245,7 +1245,7 @@ - + @@ -1268,7 +1268,7 @@ - + @@ -1293,7 +1293,7 @@ - + @@ -1399,7 +1399,7 @@ - + @@ -1428,7 +1428,7 @@ - + @@ -1451,7 +1451,7 @@ - + @@ -1476,7 +1476,7 @@ - + @@ -1578,7 +1578,7 @@ - + @@ -1607,7 +1607,7 @@ - + @@ -1630,7 +1630,7 @@ - + @@ -1799,7 +1799,7 @@ - + @@ -1839,7 +1839,7 @@ - + @@ -1854,7 +1854,7 @@ - + @@ -1960,7 +1960,7 @@ - + @@ -2015,15 +2015,15 @@ - + - + - + @@ -2043,7 +2043,7 @@ - + @@ -3319,7 +3319,7 @@ - + @@ -3399,7 +3399,7 @@ - + @@ -3757,7 +3757,7 @@ - + @@ -4017,7 +4017,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/jetbrains.mps.coderules.typechecking.ui.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/jetbrains.mps.coderules.typechecking.ui.msd index e3bcfdfc..de192d7f 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/jetbrains.mps.coderules.typechecking.ui.msd +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/jetbrains.mps.coderules.typechecking.ui.msd @@ -37,7 +37,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps index 57c3d64a..fc9b7afd 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps @@ -9,7 +9,7 @@ - + @@ -584,11 +584,11 @@ - + - + @@ -645,13 +645,13 @@ - + - + @@ -734,13 +734,13 @@ - + - + @@ -792,7 +792,7 @@ - + @@ -865,7 +865,7 @@ - + @@ -883,7 +883,7 @@ - + @@ -918,7 +918,7 @@ - + @@ -1006,7 +1006,7 @@ - + @@ -1028,7 +1028,7 @@ - + @@ -1048,26 +1048,26 @@ - + - + - + - + @@ -1078,7 +1078,7 @@ - + @@ -1086,7 +1086,7 @@ - + @@ -1116,7 +1116,7 @@ - + @@ -1158,7 +1158,7 @@ - + @@ -1173,7 +1173,7 @@ - + @@ -1211,7 +1211,7 @@ - + @@ -1345,7 +1345,7 @@ - + @@ -1372,7 +1372,7 @@ - + @@ -1471,9 +1471,9 @@ - + - + @@ -1548,7 +1548,7 @@ - + @@ -1581,7 +1581,7 @@ - + @@ -1649,15 +1649,15 @@ - + - + - + @@ -1725,7 +1725,7 @@ - + @@ -1841,7 +1841,7 @@ - + @@ -1920,7 +1920,7 @@ - + @@ -2011,7 +2011,7 @@ - + @@ -2041,7 +2041,7 @@ - + @@ -2071,7 +2071,7 @@ - + @@ -2555,7 +2555,7 @@ - + @@ -2641,7 +2641,7 @@ - + @@ -2690,13 +2690,13 @@ - + - + @@ -2717,7 +2717,7 @@ - + @@ -2740,13 +2740,13 @@ - + - + @@ -2767,7 +2767,7 @@ - + @@ -2888,7 +2888,7 @@ - + @@ -3026,13 +3026,13 @@ - + - + @@ -3053,7 +3053,7 @@ - + @@ -3076,13 +3076,13 @@ - + - + @@ -3103,7 +3103,7 @@ - + @@ -3410,15 +3410,15 @@ - + - + - + @@ -3473,7 +3473,7 @@ - + @@ -3492,11 +3492,11 @@ - + - + @@ -3517,19 +3517,19 @@ - + - + - + - + @@ -3548,7 +3548,7 @@ - + @@ -3561,7 +3561,7 @@ - + @@ -3578,7 +3578,7 @@ - + @@ -3597,7 +3597,7 @@ - + @@ -3625,7 +3625,7 @@ - + @@ -3638,7 +3638,7 @@ - + @@ -3649,7 +3649,7 @@ - + @@ -3685,11 +3685,11 @@ - + - + @@ -3704,14 +3704,14 @@ - + - + @@ -3719,7 +3719,7 @@ - + @@ -3734,7 +3734,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 2c1b46e7..c48b5039 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 @@ -34,14 +34,15 @@ - - + + + 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 9c47cd09..1202d465 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 @@ -3,7 +3,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps index 0bdb622e..8768b798 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps @@ -6,7 +6,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 6858b5cd..72a89615 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 @@ -5,7 +5,7 @@ - + @@ -705,7 +705,7 @@ - + @@ -929,7 +929,7 @@ - + @@ -972,7 +972,7 @@ - + @@ -1045,7 +1045,7 @@ - + @@ -1083,7 +1083,7 @@ - + @@ -1095,7 +1095,7 @@ - + @@ -1220,7 +1220,7 @@ - + @@ -1307,7 +1307,7 @@ - + @@ -1698,14 +1698,14 @@ - + - + @@ -1716,7 +1716,7 @@ - + @@ -1750,7 +1750,7 @@ - + @@ -1761,13 +1761,13 @@ - + - + @@ -1783,7 +1783,7 @@ - + @@ -1802,7 +1802,7 @@ - + @@ -1814,7 +1814,7 @@ - + @@ -1843,7 +1843,7 @@ - + @@ -3451,7 +3451,7 @@ - + @@ -3468,11 +3468,11 @@ - + - + @@ -3491,7 +3491,7 @@ - + @@ -3614,7 +3614,7 @@ - + @@ -3684,7 +3684,7 @@ - + @@ -4197,11 +4197,11 @@ - + - + @@ -4353,11 +4353,11 @@ - + - + @@ -4418,7 +4418,7 @@ - + @@ -4502,11 +4502,11 @@ - + - + @@ -4865,7 +4865,7 @@ - + @@ -4916,7 +4916,7 @@ - + @@ -5068,7 +5068,7 @@ - + @@ -5253,7 +5253,7 @@ - + @@ -5560,7 +5560,7 @@ - + @@ -5580,7 +5580,7 @@ - + @@ -5682,7 +5682,7 @@ - + @@ -5707,7 +5707,7 @@ - + @@ -5777,14 +5777,14 @@ - + - + - + @@ -5919,7 +5919,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd b/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd index 0f504f96..5c078361 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd +++ b/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd @@ -30,7 +30,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps index 5ed81732..e37c0490 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps @@ -5,7 +5,7 @@ - + @@ -965,7 +965,7 @@ - + @@ -1038,7 +1038,7 @@ - + @@ -1049,7 +1049,7 @@ - + @@ -1115,7 +1115,7 @@ - + @@ -1203,7 +1203,7 @@ - + @@ -1211,9 +1211,9 @@ - + - + @@ -1272,7 +1272,7 @@ - + @@ -1280,7 +1280,7 @@ - + @@ -1371,11 +1371,11 @@ - + - + @@ -1383,7 +1383,7 @@ - + @@ -1461,7 +1461,7 @@ - + @@ -1483,15 +1483,15 @@ - + - + - + @@ -1505,7 +1505,7 @@ - + @@ -1516,7 +1516,7 @@ - + @@ -1529,7 +1529,7 @@ - + @@ -1538,7 +1538,7 @@ - + @@ -1581,7 +1581,7 @@ - + @@ -1639,7 +1639,7 @@ - + @@ -1650,7 +1650,7 @@ - + @@ -1742,7 +1742,7 @@ - + @@ -1753,7 +1753,7 @@ - + @@ -1764,7 +1764,7 @@ - + @@ -2147,7 +2147,7 @@ - + @@ -2197,7 +2197,7 @@ - + @@ -2216,11 +2216,11 @@ - + - + @@ -2241,19 +2241,19 @@ - + - + - + - + @@ -2272,7 +2272,7 @@ - + @@ -2285,7 +2285,7 @@ - + @@ -2375,7 +2375,7 @@ - + @@ -2386,7 +2386,7 @@ - + @@ -2443,14 +2443,14 @@ - + - + @@ -2497,7 +2497,7 @@ - + @@ -2524,7 +2524,7 @@ - + @@ -2609,13 +2609,13 @@ - + - + @@ -2675,7 +2675,7 @@ - + @@ -2722,7 +2722,7 @@ - + @@ -2821,7 +2821,7 @@ - + @@ -2888,7 +2888,7 @@ - + @@ -3077,14 +3077,14 @@ - + - + @@ -3106,21 +3106,21 @@ - + - + - + @@ -3137,7 +3137,7 @@ - + @@ -3148,7 +3148,7 @@ - + @@ -3160,7 +3160,7 @@ - + @@ -3190,7 +3190,7 @@ - + @@ -3211,7 +3211,7 @@ - + @@ -3281,7 +3281,7 @@ - + @@ -3296,7 +3296,7 @@ - + @@ -3392,7 +3392,7 @@ - + @@ -3415,7 +3415,7 @@ - + @@ -3435,7 +3435,7 @@ - + @@ -3454,7 +3454,7 @@ - + @@ -3473,7 +3473,7 @@ - + @@ -3494,7 +3494,7 @@ - + @@ -3515,7 +3515,7 @@ - + @@ -3536,7 +3536,7 @@ - + @@ -3557,7 +3557,7 @@ - + @@ -3742,7 +3742,7 @@ - + @@ -4025,7 +4025,7 @@ - + @@ -4048,7 +4048,7 @@ - + @@ -4089,7 +4089,7 @@ - + @@ -4198,11 +4198,11 @@ - + - + @@ -4215,11 +4215,11 @@ - + - + @@ -4230,7 +4230,7 @@ - + @@ -4349,7 +4349,7 @@ - + @@ -4365,7 +4365,7 @@ - + @@ -4375,7 +4375,7 @@ - + @@ -4387,7 +4387,7 @@ - + @@ -4431,7 +4431,7 @@ - + @@ -4486,10 +4486,10 @@ - + - + @@ -4503,7 +4503,7 @@ - + @@ -4602,7 +4602,7 @@ - + @@ -4623,7 +4623,7 @@ - + @@ -4642,7 +4642,7 @@ - + @@ -4650,7 +4650,7 @@ - + @@ -4663,14 +4663,14 @@ - + - + @@ -4687,10 +4687,10 @@ - + - + @@ -4704,7 +4704,7 @@ - + @@ -4715,7 +4715,7 @@ - + @@ -4723,7 +4723,7 @@ - + @@ -4742,9 +4742,9 @@ - + - + @@ -4762,7 +4762,7 @@ - + @@ -4806,7 +4806,7 @@ - + @@ -4820,7 +4820,7 @@ - + @@ -4830,9 +4830,9 @@ - + - + @@ -4868,7 +4868,7 @@ - + @@ -4887,7 +4887,7 @@ - + @@ -4932,9 +4932,9 @@ - + - + @@ -4971,7 +4971,7 @@ - + @@ -4981,7 +4981,7 @@ - + @@ -4993,7 +4993,7 @@ - + @@ -5037,7 +5037,7 @@ - + @@ -5088,7 +5088,7 @@ - + @@ -5109,7 +5109,7 @@ - + @@ -5128,7 +5128,7 @@ - + @@ -5136,7 +5136,7 @@ - + @@ -5149,14 +5149,14 @@ - + - + @@ -5173,10 +5173,10 @@ - + - + @@ -5190,7 +5190,7 @@ - + @@ -5201,7 +5201,7 @@ - + @@ -5209,7 +5209,7 @@ - + @@ -5228,9 +5228,9 @@ - + - + @@ -5256,7 +5256,7 @@ - + @@ -5264,7 +5264,7 @@ - + @@ -5272,7 +5272,7 @@ - + @@ -5296,7 +5296,7 @@ - + @@ -5304,7 +5304,7 @@ - + @@ -5312,7 +5312,7 @@ - + @@ -5320,7 +5320,7 @@ - + @@ -5328,7 +5328,7 @@ - + @@ -5371,7 +5371,7 @@ - + @@ -5406,7 +5406,7 @@ - + @@ -5678,7 +5678,7 @@ - + @@ -5688,7 +5688,7 @@ - + @@ -6573,7 +6573,7 @@ - + @@ -7002,7 +7002,7 @@ - + @@ -7349,7 +7349,7 @@ - + @@ -7384,7 +7384,7 @@ - + @@ -7394,7 +7394,7 @@ - + @@ -7405,7 +7405,7 @@ - + @@ -7445,7 +7445,7 @@ - + @@ -7490,7 +7490,7 @@ - + @@ -7501,7 +7501,7 @@ - + @@ -8352,7 +8352,7 @@ - + @@ -8518,7 +8518,7 @@ - + @@ -8688,7 +8688,7 @@ - + @@ -8707,7 +8707,7 @@ - + @@ -8783,7 +8783,7 @@ - + @@ -8820,7 +8820,7 @@ - + @@ -8920,7 +8920,7 @@ - + @@ -9068,7 +9068,7 @@ - + @@ -9117,7 +9117,7 @@ - + @@ -9242,7 +9242,7 @@ - + @@ -9289,7 +9289,7 @@ - + @@ -9411,7 +9411,7 @@ - + @@ -9645,7 +9645,7 @@ - + @@ -9653,7 +9653,7 @@ - + @@ -9678,7 +9678,7 @@ - + @@ -9691,7 +9691,7 @@ - + @@ -9721,7 +9721,7 @@ - + @@ -9739,7 +9739,7 @@ - + @@ -9768,7 +9768,7 @@ - + @@ -9814,13 +9814,13 @@ - + - + @@ -9852,7 +9852,7 @@ - + @@ -9882,7 +9882,7 @@ - + @@ -9938,7 +9938,7 @@ - + @@ -10011,9 +10011,9 @@ - + - + @@ -10060,9 +10060,9 @@ - + - + @@ -10085,10 +10085,10 @@ - + - + @@ -10125,9 +10125,9 @@ - + - + @@ -10164,7 +10164,7 @@ - + @@ -10278,7 +10278,7 @@ - + @@ -10350,7 +10350,7 @@ - + @@ -10365,7 +10365,7 @@ - + @@ -10449,7 +10449,7 @@ - + @@ -10472,7 +10472,7 @@ - + @@ -10492,7 +10492,7 @@ - + @@ -10511,7 +10511,7 @@ - + @@ -10530,7 +10530,7 @@ - + @@ -10551,7 +10551,7 @@ - + @@ -10572,7 +10572,7 @@ - + @@ -10593,7 +10593,7 @@ - + @@ -10645,7 +10645,7 @@ - + @@ -10726,7 +10726,7 @@ - + @@ -10749,7 +10749,7 @@ - + @@ -10774,11 +10774,11 @@ - + - + @@ -10960,7 +10960,7 @@ - + @@ -11327,7 +11327,7 @@ - + @@ -11499,7 +11499,7 @@ - + @@ -11542,13 +11542,13 @@ - + - + @@ -11585,7 +11585,7 @@ - + @@ -11631,11 +11631,11 @@ - + - + @@ -11663,7 +11663,7 @@ - + @@ -11730,7 +11730,7 @@ - + @@ -11760,19 +11760,19 @@ - + - + - + - + @@ -11791,7 +11791,7 @@ - + @@ -11804,7 +11804,7 @@ - + @@ -11824,7 +11824,7 @@ - + @@ -11841,7 +11841,7 @@ - + @@ -11873,21 +11873,21 @@ - + - + - + @@ -11903,7 +11903,7 @@ - + @@ -11911,7 +11911,7 @@ - + @@ -11923,7 +11923,7 @@ - + @@ -11944,13 +11944,13 @@ - + - + @@ -11976,20 +11976,20 @@ - + - + - + @@ -12014,7 +12014,7 @@ - + @@ -12108,11 +12108,11 @@ - + - + @@ -12219,11 +12219,11 @@ - + - + @@ -12973,7 +12973,7 @@ - + @@ -13091,7 +13091,7 @@ - + @@ -13163,7 +13163,7 @@ - + @@ -13171,7 +13171,7 @@ - + @@ -13295,11 +13295,11 @@ - + - + @@ -13311,7 +13311,7 @@ - + @@ -13412,7 +13412,7 @@ - + @@ -13490,7 +13490,7 @@ - + @@ -13968,7 +13968,7 @@ - + @@ -14993,7 +14993,7 @@ - + @@ -15028,7 +15028,7 @@ - + @@ -15061,7 +15061,7 @@ - + @@ -15197,7 +15197,7 @@ - + @@ -15234,7 +15234,7 @@ - + @@ -15312,7 +15312,7 @@ - + @@ -15346,7 +15346,7 @@ - + @@ -15512,7 +15512,7 @@ - + @@ -15609,7 +15609,7 @@ - + @@ -15706,7 +15706,7 @@ - + @@ -15720,7 +15720,7 @@ - + @@ -15738,7 +15738,7 @@ - + @@ -16021,7 +16021,7 @@ - + @@ -16030,7 +16030,7 @@ - + @@ -16111,7 +16111,7 @@ - + @@ -16119,7 +16119,7 @@ - + @@ -16132,7 +16132,7 @@ - + @@ -16147,7 +16147,7 @@ - + @@ -16156,7 +16156,7 @@ - + @@ -16165,7 +16165,7 @@ - + @@ -16175,7 +16175,7 @@ - + @@ -16187,7 +16187,7 @@ - + @@ -16204,7 +16204,7 @@ - + @@ -16229,7 +16229,7 @@ - + @@ -16425,13 +16425,13 @@ - + - + @@ -16457,7 +16457,7 @@ - + @@ -16474,13 +16474,13 @@ - + - + @@ -16516,11 +16516,11 @@ - + - + @@ -16549,13 +16549,13 @@ - + - + @@ -16589,7 +16589,7 @@ - + @@ -16627,7 +16627,7 @@ - + @@ -16649,7 +16649,7 @@ - + @@ -16663,7 +16663,7 @@ - + @@ -16812,7 +16812,7 @@ - + @@ -16879,7 +16879,7 @@ - + @@ -16946,7 +16946,7 @@ - + @@ -17009,7 +17009,7 @@ - + @@ -17059,9 +17059,9 @@ - + - + @@ -17074,7 +17074,7 @@ - + @@ -17201,7 +17201,7 @@ - + @@ -17282,7 +17282,7 @@ - + @@ -17297,7 +17297,7 @@ - + @@ -17309,7 +17309,7 @@ - + @@ -17327,7 +17327,7 @@ - + @@ -17428,7 +17428,7 @@ - + @@ -17443,7 +17443,7 @@ - + @@ -17456,14 +17456,14 @@ - + - + @@ -17482,7 +17482,7 @@ - + @@ -17540,11 +17540,11 @@ - + - + @@ -17554,7 +17554,7 @@ - + @@ -17582,7 +17582,7 @@ - + @@ -17600,7 +17600,7 @@ - + @@ -17615,7 +17615,7 @@ - + @@ -17630,7 +17630,7 @@ - + @@ -17645,7 +17645,7 @@ - + @@ -17701,7 +17701,7 @@ - + @@ -17716,7 +17716,7 @@ - + @@ -17731,7 +17731,7 @@ - + @@ -17757,7 +17757,7 @@ - + @@ -17775,7 +17775,7 @@ - + @@ -17826,7 +17826,7 @@ - + @@ -17842,21 +17842,21 @@ - + - + - + @@ -17896,7 +17896,7 @@ - + @@ -17910,7 +17910,7 @@ - + @@ -17947,7 +17947,7 @@ - + @@ -18018,14 +18018,14 @@ - + - + @@ -18051,7 +18051,7 @@ - + @@ -18164,28 +18164,28 @@ - + - + - + - + @@ -18195,7 +18195,7 @@ - + @@ -18301,7 +18301,7 @@ - + @@ -18317,7 +18317,7 @@ - + @@ -18336,7 +18336,7 @@ - + @@ -18353,7 +18353,7 @@ - + @@ -18371,7 +18371,7 @@ - + @@ -18380,7 +18380,7 @@ - + @@ -18391,7 +18391,7 @@ - + @@ -18437,7 +18437,7 @@ - + @@ -18447,7 +18447,7 @@ - + @@ -18474,7 +18474,7 @@ - + @@ -18522,7 +18522,7 @@ - + @@ -18550,7 +18550,7 @@ - + @@ -18615,7 +18615,7 @@ - + @@ -18650,7 +18650,7 @@ - + @@ -18694,7 +18694,7 @@ - + @@ -19134,7 +19134,7 @@ - + @@ -19143,7 +19143,7 @@ - + @@ -19159,7 +19159,7 @@ - + @@ -19168,7 +19168,7 @@ - + @@ -19184,7 +19184,7 @@ - + @@ -19252,7 +19252,7 @@ - + @@ -19265,7 +19265,7 @@ - + @@ -19279,7 +19279,7 @@ - + @@ -19525,7 +19525,7 @@ - + @@ -19538,7 +19538,7 @@ - + @@ -19551,7 +19551,7 @@ - + @@ -19564,7 +19564,7 @@ - + @@ -19577,7 +19577,7 @@ - + @@ -19590,7 +19590,7 @@ - + @@ -19600,7 +19600,7 @@ - + @@ -19613,7 +19613,7 @@ - + @@ -19621,11 +19621,11 @@ - + - + @@ -19770,7 +19770,7 @@ - + @@ -19788,7 +19788,7 @@ - + @@ -19799,7 +19799,7 @@ - + @@ -19815,7 +19815,7 @@ - + @@ -19834,7 +19834,7 @@ - + @@ -19854,7 +19854,7 @@ - + @@ -19868,7 +19868,7 @@ - + @@ -19942,18 +19942,18 @@ - + - + - + @@ -19991,7 +19991,7 @@ - + @@ -20004,14 +20004,14 @@ - + - + - + @@ -20034,14 +20034,14 @@ - + - + - + @@ -20064,7 +20064,7 @@ - + @@ -20082,7 +20082,7 @@ - + @@ -20090,11 +20090,11 @@ - + - + @@ -20147,7 +20147,7 @@ - + @@ -20174,7 +20174,7 @@ - + @@ -20193,7 +20193,7 @@ - + @@ -20204,7 +20204,7 @@ - + @@ -20252,7 +20252,7 @@ - + @@ -20266,7 +20266,7 @@ - + @@ -20404,7 +20404,7 @@ - + @@ -20457,11 +20457,11 @@ - + - + @@ -20501,7 +20501,7 @@ - + @@ -20519,11 +20519,11 @@ - + - + @@ -20558,11 +20558,11 @@ - + - + @@ -20586,7 +20586,7 @@ - + @@ -20642,7 +20642,7 @@ - + @@ -20683,7 +20683,7 @@ - + @@ -20749,7 +20749,7 @@ - + @@ -20773,11 +20773,11 @@ - + - + @@ -20786,7 +20786,7 @@ - + @@ -20880,7 +20880,7 @@ - + @@ -20907,7 +20907,7 @@ - + @@ -20926,7 +20926,7 @@ - + @@ -20937,7 +20937,7 @@ - + @@ -20979,7 +20979,7 @@ - + @@ -20993,7 +20993,7 @@ - + @@ -21131,7 +21131,7 @@ - + @@ -21184,11 +21184,11 @@ - + - + @@ -21228,7 +21228,7 @@ - + @@ -21347,7 +21347,7 @@ - + @@ -21469,7 +21469,7 @@ - + @@ -21695,11 +21695,11 @@ - + - + @@ -21726,11 +21726,11 @@ - + - + @@ -21739,7 +21739,7 @@ - + @@ -21803,11 +21803,11 @@ - + - + @@ -21847,7 +21847,7 @@ - + @@ -23964,13 +23964,13 @@ - + - + @@ -24010,11 +24010,11 @@ - + - + @@ -24045,21 +24045,21 @@ - + - + - + @@ -24085,7 +24085,7 @@ - + @@ -24217,13 +24217,13 @@ - + - + @@ -24243,7 +24243,7 @@ - + @@ -24262,7 +24262,7 @@ - + @@ -24282,7 +24282,7 @@ - + @@ -24337,21 +24337,21 @@ - + - + - + @@ -24414,7 +24414,7 @@ - + @@ -24556,11 +24556,11 @@ - + - + @@ -24588,7 +24588,7 @@ - + @@ -24596,7 +24596,7 @@ - + @@ -24726,7 +24726,7 @@ - + @@ -24782,21 +24782,21 @@ - + - + - + @@ -24883,7 +24883,7 @@ - + @@ -24960,11 +24960,11 @@ - + - + @@ -25090,21 +25090,21 @@ - + - + - + @@ -25289,11 +25289,11 @@ - + - + @@ -25562,7 +25562,7 @@ - + @@ -26606,7 +26606,7 @@ - + @@ -26756,7 +26756,7 @@ - + @@ -27007,7 +27007,7 @@ - + @@ -27259,7 +27259,7 @@ - + @@ -27286,7 +27286,7 @@ - + @@ -27315,7 +27315,7 @@ - + @@ -27332,7 +27332,7 @@ - + @@ -27358,14 +27358,14 @@ - + - + @@ -27388,7 +27388,7 @@ - + @@ -27404,7 +27404,7 @@ - + @@ -27460,7 +27460,7 @@ - + @@ -27519,7 +27519,7 @@ - + @@ -27642,11 +27642,11 @@ - + - + @@ -27657,7 +27657,7 @@ - + @@ -27714,15 +27714,15 @@ - + - + - + @@ -27781,15 +27781,15 @@ - + - + - + @@ -28005,7 +28005,7 @@ - + @@ -28097,7 +28097,7 @@ - + @@ -28215,7 +28215,7 @@ - + @@ -28526,7 +28526,7 @@ - + @@ -28811,7 +28811,7 @@ - + @@ -28901,7 +28901,7 @@ - + @@ -30035,7 +30035,7 @@ - + @@ -30139,7 +30139,7 @@ - + @@ -30166,7 +30166,7 @@ - + @@ -30204,7 +30204,7 @@ - + @@ -30242,7 +30242,7 @@ - + @@ -30280,7 +30280,7 @@ - + @@ -30389,11 +30389,11 @@ - + - + @@ -30481,11 +30481,11 @@ - + - + @@ -30604,7 +30604,7 @@ - + @@ -30703,7 +30703,7 @@ - + @@ -30820,7 +30820,7 @@ - + @@ -31093,7 +31093,7 @@ - + @@ -31222,7 +31222,7 @@ - + @@ -31244,7 +31244,7 @@ - + @@ -31262,7 +31262,7 @@ - + @@ -31365,7 +31365,7 @@ - + @@ -31378,7 +31378,7 @@ - + @@ -31396,7 +31396,7 @@ - + @@ -31419,7 +31419,7 @@ - + @@ -31438,7 +31438,7 @@ - + @@ -31511,7 +31511,7 @@ - + @@ -31557,7 +31557,7 @@ - + @@ -31593,7 +31593,7 @@ - + @@ -31627,7 +31627,7 @@ - + @@ -31650,7 +31650,7 @@ - + @@ -31696,7 +31696,7 @@ - + @@ -31725,7 +31725,7 @@ - + @@ -31755,7 +31755,7 @@ - + @@ -31775,7 +31775,7 @@ - + @@ -31785,7 +31785,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd index 491c6584..faada935 100644 --- a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd +++ b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd @@ -38,7 +38,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps index 0fc8a933..bfc323e7 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps @@ -6,7 +6,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps index a903366e..d9b67dc1 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps @@ -3,7 +3,7 @@ - + @@ -621,7 +621,7 @@ - + @@ -705,7 +705,7 @@ - + @@ -713,7 +713,7 @@ - + @@ -1212,7 +1212,7 @@ - + @@ -1224,7 +1224,7 @@ - + @@ -1541,7 +1541,7 @@ - + @@ -1616,14 +1616,14 @@ - + - + @@ -1675,10 +1675,10 @@ - + - + @@ -1697,10 +1697,10 @@ - + - + @@ -1799,7 +1799,7 @@ - + @@ -1990,7 +1990,7 @@ - + @@ -2017,7 +2017,7 @@ - + @@ -2098,7 +2098,7 @@ - + @@ -2117,7 +2117,7 @@ - + @@ -2197,7 +2197,7 @@ - + @@ -2216,7 +2216,7 @@ - + @@ -2276,10 +2276,10 @@ - + - + @@ -2325,7 +2325,7 @@ - + @@ -2374,7 +2374,7 @@ - + @@ -2572,7 +2572,7 @@ - + @@ -2631,7 +2631,7 @@ - + @@ -2690,7 +2690,7 @@ - + @@ -2749,7 +2749,7 @@ - + @@ -2808,7 +2808,7 @@ - + @@ -2867,7 +2867,7 @@ - + @@ -2926,7 +2926,7 @@ - + @@ -2985,7 +2985,7 @@ - + @@ -3044,7 +3044,7 @@ - + @@ -3103,7 +3103,7 @@ - + @@ -3166,7 +3166,7 @@ - + @@ -3515,7 +3515,7 @@ - + @@ -3539,7 +3539,7 @@ - + @@ -3557,20 +3557,20 @@ - + - + - + @@ -3766,7 +3766,7 @@ - + @@ -3822,7 +3822,7 @@ - + @@ -3865,7 +3865,7 @@ - + @@ -3927,7 +3927,7 @@ - + @@ -4006,7 +4006,7 @@ - + @@ -4078,7 +4078,7 @@ - + @@ -4115,7 +4115,7 @@ - + @@ -4172,7 +4172,7 @@ - + @@ -4207,7 +4207,7 @@ - + @@ -4226,7 +4226,7 @@ - + @@ -4245,7 +4245,7 @@ - + @@ -4347,7 +4347,7 @@ - + @@ -4384,7 +4384,7 @@ - + @@ -4398,7 +4398,7 @@ - + @@ -4540,7 +4540,7 @@ - + @@ -4562,7 +4562,7 @@ - + @@ -4629,7 +4629,7 @@ - + @@ -4646,10 +4646,10 @@ - + - + @@ -4700,14 +4700,14 @@ - + - + diff --git a/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd b/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd index bc760059..c52da0d0 100644 --- a/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd +++ b/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd @@ -30,7 +30,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps index ea61cc53..33db5595 100644 --- a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps @@ -5,7 +5,7 @@ - + @@ -441,7 +441,7 @@ - + @@ -471,7 +471,7 @@ - + @@ -501,7 +501,7 @@ - + @@ -828,7 +828,7 @@ - + @@ -963,13 +963,13 @@ - + - + @@ -990,7 +990,7 @@ - + @@ -1012,14 +1012,14 @@ - + - + @@ -1040,7 +1040,7 @@ - + @@ -1193,7 +1193,7 @@ - + @@ -1220,7 +1220,7 @@ - + @@ -1296,10 +1296,10 @@ - + - + @@ -1373,7 +1373,7 @@ - + @@ -1406,7 +1406,7 @@ - + @@ -1481,15 +1481,15 @@ - + - + - + @@ -1551,7 +1551,7 @@ - + @@ -1674,7 +1674,7 @@ - + @@ -1753,7 +1753,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd index d908ee0f..b5be1e5e 100644 --- a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd +++ b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd @@ -18,7 +18,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps index fcdfd99e..9e266fce 100644 --- a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps +++ b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps @@ -3,7 +3,7 @@ - + @@ -232,7 +232,7 @@ - + @@ -302,14 +302,14 @@ - + - + - + @@ -396,7 +396,7 @@ - + @@ -686,7 +686,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd b/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd index a8cb3a8b..8a49c2de 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd @@ -23,7 +23,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps index 545d1675..16895f95 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps @@ -3,7 +3,7 @@ - + @@ -376,13 +376,13 @@ - + - + @@ -467,7 +467,7 @@ - + @@ -505,11 +505,11 @@ - + - + @@ -614,7 +614,7 @@ - + @@ -915,14 +915,14 @@ - + - + @@ -947,7 +947,7 @@ - + @@ -986,7 +986,7 @@ - + @@ -1084,7 +1084,7 @@ - + @@ -1612,7 +1612,7 @@ - + @@ -1664,7 +1664,7 @@ - + @@ -1793,7 +1793,7 @@ - + @@ -1883,7 +1883,7 @@ - + @@ -1910,7 +1910,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps index 60065e2b..4ac46fef 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps @@ -4,7 +4,7 @@ - + @@ -350,7 +350,7 @@ - + @@ -381,7 +381,7 @@ - + @@ -404,7 +404,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps index f9dda4f0..b4dde090 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps @@ -5,7 +5,7 @@ - + @@ -796,19 +796,19 @@ - + - + - + - + @@ -1409,9 +1409,9 @@ - + - + @@ -1475,7 +1475,7 @@ - + @@ -1488,7 +1488,7 @@ - + @@ -1525,7 +1525,7 @@ - + @@ -1543,13 +1543,13 @@ - + - + @@ -1653,7 +1653,7 @@ - + @@ -2674,7 +2674,7 @@ - + @@ -2718,7 +2718,7 @@ - + @@ -2739,7 +2739,7 @@ - + @@ -2758,7 +2758,7 @@ - + @@ -2768,7 +2768,7 @@ - + @@ -2784,7 +2784,7 @@ - + @@ -2850,7 +2850,7 @@ - + @@ -2908,7 +2908,7 @@ - + @@ -2974,7 +2974,7 @@ - + @@ -3039,7 +3039,7 @@ - + @@ -3047,7 +3047,7 @@ - + @@ -3069,7 +3069,7 @@ - + @@ -3089,7 +3089,7 @@ - + @@ -3210,7 +3210,7 @@ - + @@ -3220,7 +3220,7 @@ - + @@ -3246,7 +3246,7 @@ - + @@ -3258,7 +3258,7 @@ - + @@ -3321,7 +3321,7 @@ - + @@ -3329,7 +3329,7 @@ - + @@ -3343,7 +3343,7 @@ - + @@ -3357,7 +3357,7 @@ - + @@ -3371,7 +3371,7 @@ - + @@ -3411,7 +3411,7 @@ - + @@ -3423,7 +3423,7 @@ - + @@ -3431,7 +3431,7 @@ - + @@ -3439,7 +3439,7 @@ - + @@ -3447,7 +3447,7 @@ - + @@ -3507,7 +3507,7 @@ - + @@ -3525,7 +3525,7 @@ - + @@ -3543,7 +3543,7 @@ - + @@ -3593,7 +3593,7 @@ - + @@ -3622,7 +3622,7 @@ - + @@ -3635,7 +3635,7 @@ - + @@ -3647,13 +3647,13 @@ - + - + @@ -3676,7 +3676,7 @@ - + @@ -3950,7 +3950,7 @@ - + @@ -3963,7 +3963,7 @@ - + @@ -3976,7 +3976,7 @@ - + @@ -3991,7 +3991,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd b/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd index d6ee483f..82623697 100644 --- a/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd +++ b/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd @@ -19,7 +19,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps b/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps index c463314f..3324a227 100644 --- a/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps +++ b/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps @@ -2,7 +2,7 @@ - + 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 53ac75ae..d2e660fa 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 @@ -17,7 +17,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps index 74024b42..517473a9 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 @@ -3,7 +3,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd b/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd index ee7d52b0..05e1fc26 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 @@ -29,14 +29,16 @@ - - + + + + 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 f02cb457..3d6a85d6 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 @@ -234,7 +234,7 @@ - + @@ -264,7 +264,7 @@ - + @@ -288,7 +288,7 @@ - + @@ -309,7 +309,7 @@ - + @@ -330,7 +330,7 @@ - + @@ -351,7 +351,7 @@ - + @@ -375,7 +375,7 @@ - + @@ -398,7 +398,7 @@ - + @@ -431,7 +431,7 @@ - + @@ -458,7 +458,7 @@ - + @@ -494,7 +494,7 @@ - + @@ -530,7 +530,7 @@ - + @@ -569,7 +569,7 @@ - + @@ -580,7 +580,7 @@ - + @@ -595,7 +595,7 @@ - + @@ -627,7 +627,7 @@ - + @@ -639,7 +639,7 @@ - + @@ -660,7 +660,7 @@ - + @@ -732,7 +732,7 @@ - + @@ -743,7 +743,7 @@ - + @@ -758,7 +758,7 @@ - + @@ -769,7 +769,7 @@ - + @@ -784,7 +784,7 @@ - + @@ -815,7 +815,7 @@ - + @@ -835,7 +835,7 @@ - + @@ -860,7 +860,7 @@ - + @@ -880,7 +880,7 @@ - + @@ -1003,7 +1003,7 @@ - + @@ -1014,7 +1014,7 @@ - + @@ -1029,7 +1029,7 @@ - + @@ -1040,7 +1040,7 @@ - + @@ -1055,7 +1055,7 @@ - + @@ -1066,7 +1066,7 @@ - + @@ -1081,7 +1081,7 @@ - + @@ -1116,7 +1116,7 @@ - + @@ -1132,7 +1132,7 @@ - + @@ -1156,7 +1156,7 @@ - + @@ -1180,7 +1180,7 @@ - + @@ -1204,7 +1204,7 @@ - + @@ -1228,13 +1228,13 @@ - + - + @@ -1253,13 +1253,13 @@ - + - + @@ -1305,7 +1305,7 @@ - + @@ -1316,7 +1316,7 @@ - + @@ -1331,7 +1331,7 @@ - + @@ -1363,7 +1363,7 @@ - + @@ -1387,7 +1387,7 @@ - + @@ -1407,7 +1407,7 @@ - + @@ -1617,7 +1617,7 @@ - + @@ -1628,7 +1628,7 @@ - + @@ -1643,7 +1643,7 @@ - + @@ -1654,7 +1654,7 @@ - + @@ -1669,7 +1669,7 @@ - + @@ -1680,7 +1680,7 @@ - + @@ -1695,7 +1695,7 @@ - + @@ -1706,7 +1706,7 @@ - + @@ -1721,7 +1721,7 @@ - + @@ -1732,7 +1732,7 @@ - + @@ -1747,7 +1747,7 @@ - + @@ -1779,7 +1779,7 @@ - + @@ -1799,7 +1799,7 @@ - + @@ -1819,7 +1819,7 @@ - + @@ -1839,7 +1839,7 @@ - + @@ -1866,7 +1866,7 @@ - + @@ -1887,7 +1887,7 @@ - + @@ -2054,7 +2054,7 @@ - + @@ -2067,7 +2067,7 @@ - + @@ -2081,7 +2081,7 @@ - + @@ -2093,7 +2093,7 @@ - + @@ -2107,7 +2107,7 @@ - + @@ -2118,7 +2118,7 @@ - + @@ -2133,7 +2133,7 @@ - + @@ -2144,7 +2144,7 @@ - + @@ -2159,7 +2159,7 @@ - + @@ -2194,7 +2194,7 @@ - + @@ -2210,7 +2210,7 @@ - + @@ -2236,7 +2236,7 @@ - + @@ -2260,7 +2260,7 @@ - + @@ -2284,12 +2284,12 @@ - + - + @@ -2312,7 +2312,7 @@ - + @@ -2330,7 +2330,7 @@ - + @@ -2354,12 +2354,12 @@ - + - + @@ -2382,7 +2382,7 @@ - + @@ -2400,7 +2400,7 @@ - + @@ -2424,12 +2424,12 @@ - + - + @@ -2452,13 +2452,13 @@ - + - + @@ -2477,13 +2477,13 @@ - + - + @@ -3165,7 +3165,7 @@ - + @@ -3201,7 +3201,7 @@ - + @@ -3464,7 +3464,7 @@ - + @@ -3472,7 +3472,7 @@ - + @@ -3482,7 +3482,7 @@ - + @@ -3490,7 +3490,7 @@ - + @@ -3633,7 +3633,7 @@ - + @@ -3641,7 +3641,7 @@ - + @@ -3656,7 +3656,7 @@ - + @@ -3675,7 +3675,7 @@ - + @@ -3683,7 +3683,7 @@ - + @@ -3695,17 +3695,17 @@ - + - + - + @@ -3717,7 +3717,7 @@ - + @@ -3731,17 +3731,17 @@ - + - + - + @@ -3763,7 +3763,7 @@ - + @@ -4757,7 +4757,7 @@ - + @@ -4770,7 +4770,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps index 67223807..efd162c6 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps +++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps @@ -162,7 +162,7 @@ - + @@ -179,7 +179,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps index b4e78ca1..621f2e1f 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps +++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps @@ -334,7 +334,7 @@ - + @@ -364,7 +364,7 @@ - + @@ -394,7 +394,7 @@ - + @@ -1116,7 +1116,7 @@ - + @@ -2484,7 +2484,7 @@ - + @@ -2495,7 +2495,7 @@ - + @@ -3030,7 +3030,7 @@ - + @@ -3041,7 +3041,7 @@ - + @@ -3088,7 +3088,7 @@ - + @@ -3101,7 +3101,7 @@ - + @@ -3249,7 +3249,7 @@ - + @@ -3260,7 +3260,7 @@ - + @@ -3376,11 +3376,11 @@ - + - + @@ -3501,11 +3501,11 @@ - + - + @@ -3551,7 +3551,7 @@ - + @@ -3801,11 +3801,11 @@ - + - + @@ -4008,11 +4008,11 @@ - + - + @@ -4189,7 +4189,7 @@ - + @@ -4199,7 +4199,7 @@ - + @@ -4210,7 +4210,7 @@ - + @@ -4218,7 +4218,7 @@ - + @@ -4268,7 +4268,7 @@ - + @@ -4276,7 +4276,7 @@ - + @@ -4462,7 +4462,7 @@ - + @@ -4472,7 +4472,7 @@ - + @@ -4483,7 +4483,7 @@ - + @@ -4491,7 +4491,7 @@ - + @@ -4541,7 +4541,7 @@ - + @@ -4549,7 +4549,7 @@ - + @@ -4731,7 +4731,7 @@ - + @@ -4947,7 +4947,7 @@ - + @@ -4960,7 +4960,7 @@ - + @@ -5177,7 +5177,7 @@ - + @@ -5356,7 +5356,7 @@ - + @@ -5485,7 +5485,7 @@ - + @@ -5649,7 +5649,7 @@ - + @@ -5887,7 +5887,7 @@ - + @@ -5916,7 +5916,7 @@ - + @@ -6310,11 +6310,11 @@ - + - + @@ -6350,11 +6350,11 @@ - + - + @@ -6365,7 +6365,7 @@ - + @@ -6380,7 +6380,7 @@ - + @@ -6409,11 +6409,11 @@ - + - + @@ -6440,7 +6440,7 @@ - + @@ -6666,11 +6666,11 @@ - + - + @@ -6706,11 +6706,11 @@ - + - + @@ -6721,7 +6721,7 @@ - + @@ -6736,7 +6736,7 @@ - + @@ -6765,11 +6765,11 @@ - + - + @@ -6796,7 +6796,7 @@ - + @@ -7141,7 +7141,7 @@ - + @@ -7187,7 +7187,7 @@ - + @@ -7217,7 +7217,7 @@ - + @@ -7682,7 +7682,7 @@ - + @@ -7766,7 +7766,7 @@ - + @@ -8207,7 +8207,7 @@ - + @@ -8263,7 +8263,7 @@ - + @@ -8315,7 +8315,7 @@ - + @@ -8364,7 +8364,7 @@ - + @@ -8545,7 +8545,7 @@ - + @@ -8713,7 +8713,7 @@ - + @@ -9091,7 +9091,7 @@ - + @@ -9147,7 +9147,7 @@ - + @@ -9182,7 +9182,7 @@ - + @@ -9677,7 +9677,7 @@ - + @@ -9761,7 +9761,7 @@ - + @@ -10232,7 +10232,7 @@ - + @@ -10288,7 +10288,7 @@ - + @@ -10340,7 +10340,7 @@ - + @@ -10389,7 +10389,7 @@ - + @@ -10559,7 +10559,7 @@ - + @@ -10722,7 +10722,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd b/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd index 4114ad88..494d96c7 100644 --- a/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd +++ b/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd @@ -18,7 +18,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps b/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps index a6eb6f8a..916e4428 100644 --- a/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps +++ b/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps @@ -3,7 +3,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps index 57bce355..946ffa29 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps @@ -359,7 +359,7 @@ - + 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 5709d667..c5c99f1b 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl @@ -23,12 +23,12 @@ - + - + - + @@ -75,16 +75,16 @@ - + - + - + 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 ae4ee041..3c1d78c3 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl @@ -23,12 +23,12 @@ - + - + - + @@ -76,16 +76,16 @@ - + - + - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps index 266fc5b1..fe036468 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps @@ -5,7 +5,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps index 80d7f41b..46556f84 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps @@ -4,7 +4,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps index 4d209b39..20b0638a 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps @@ -4,7 +4,7 @@ - + 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 39065cd5..ab53b6e6 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl @@ -23,12 +23,12 @@ - + - + - + @@ -74,16 +74,16 @@ - + - + - + diff --git a/samples/fitch/languages/samples.fitch/models/constraints.mps b/samples/fitch/languages/samples.fitch/models/constraints.mps index c09d8733..d1934ce9 100644 --- a/samples/fitch/languages/samples.fitch/models/constraints.mps +++ b/samples/fitch/languages/samples.fitch/models/constraints.mps @@ -426,7 +426,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/editor.mps b/samples/fitch/languages/samples.fitch/models/editor.mps index fc9875ae..b05f2cc4 100644 --- a/samples/fitch/languages/samples.fitch/models/editor.mps +++ b/samples/fitch/languages/samples.fitch/models/editor.mps @@ -292,7 +292,7 @@ - + @@ -399,7 +399,7 @@ - + @@ -427,7 +427,7 @@ - + @@ -523,7 +523,7 @@ - + @@ -560,7 +560,7 @@ - + @@ -746,7 +746,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/samples.fitch.mpl b/samples/fitch/languages/samples.fitch/samples.fitch.mpl index 03edbde3..b3b87c88 100644 --- a/samples/fitch/languages/samples.fitch/samples.fitch.mpl +++ b/samples/fitch/languages/samples.fitch/samples.fitch.mpl @@ -23,12 +23,12 @@ - + - + - + @@ -75,18 +75,18 @@ - + - + - + diff --git a/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps index e72a79e2..675bdcb4 100644 --- a/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps +++ b/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps @@ -4,7 +4,7 @@ - + @@ -409,7 +409,7 @@ - + @@ -425,7 +425,7 @@ - + diff --git a/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps index cc0a3b76..910e17a4 100644 --- a/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps +++ b/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps @@ -4,7 +4,7 @@ - + @@ -202,7 +202,7 @@ - + @@ -218,7 +218,7 @@ - + diff --git a/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps index 67664183..03c0fb8b 100644 --- a/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps +++ b/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps @@ -4,7 +4,7 @@ - + @@ -576,7 +576,7 @@ - + @@ -592,7 +592,7 @@ - + diff --git a/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd b/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd index d6ceeab5..20f3dedd 100644 --- a/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd +++ b/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd @@ -22,7 +22,7 @@ - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps index 1c4e8ba0..023fc57c 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps @@ -349,7 +349,7 @@ - + @@ -384,7 +384,7 @@ - + @@ -397,7 +397,7 @@ - + @@ -429,7 +429,7 @@ - + @@ -491,7 +491,7 @@ - + @@ -505,7 +505,7 @@ - + @@ -523,7 +523,7 @@ - + @@ -545,7 +545,7 @@ - + @@ -559,7 +559,7 @@ - + @@ -572,7 +572,7 @@ - + @@ -590,7 +590,7 @@ - + @@ -603,7 +603,7 @@ - + @@ -621,7 +621,7 @@ - + @@ -648,7 +648,7 @@ - + @@ -669,7 +669,7 @@ - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps index 8ce04dce..27e34a31 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps @@ -336,7 +336,7 @@ - + @@ -1855,7 +1855,7 @@ - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index 0a0c1c92..7bd9d07c 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -3,7 +3,7 @@ - + @@ -3285,7 +3285,7 @@ - + @@ -4092,11 +4092,11 @@ - + - + @@ -4169,11 +4169,11 @@ - + - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl index ad9673ee..5c01a2f1 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl +++ b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl @@ -41,16 +41,16 @@ - + - + - + 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 953a73d4..a81f99b1 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 @@ -4,7 +4,7 @@ - + @@ -723,7 +723,7 @@ - + @@ -739,7 +739,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 be414c0e..b38bacad 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd @@ -19,7 +19,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 6a221bd5..e56023ee 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl @@ -36,9 +36,9 @@ - + - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps index 34e37253..9e85ae7a 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps @@ -1251,7 +1251,7 @@ - + @@ -6572,7 +6572,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 b0123141..231d127a 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 @@ -7,10 +7,10 @@ - + - + @@ -4366,7 +4366,7 @@ - + @@ -6960,7 +6960,7 @@ - + @@ -6977,7 +6977,7 @@ - + @@ -13289,7 +13289,7 @@ - + @@ -14296,7 +14296,7 @@ - + @@ -19425,7 +19425,7 @@ - + @@ -19565,7 +19565,7 @@ - + @@ -19648,7 +19648,7 @@ - + @@ -19778,7 +19778,7 @@ - + @@ -21528,7 +21528,7 @@ - + @@ -21740,7 +21740,7 @@ - + @@ -21752,11 +21752,11 @@ - + - + @@ -21829,7 +21829,7 @@ - + @@ -21857,7 +21857,7 @@ - + @@ -21872,13 +21872,13 @@ - + - + @@ -21890,7 +21890,7 @@ - + @@ -21910,7 +21910,7 @@ - + @@ -21919,7 +21919,7 @@ - + @@ -21928,7 +21928,7 @@ - + @@ -21961,7 +21961,7 @@ - + @@ -21969,7 +21969,7 @@ - + @@ -21981,7 +21981,7 @@ - + @@ -22087,7 +22087,7 @@ - + @@ -22113,7 +22113,7 @@ - + @@ -22147,7 +22147,7 @@ - + @@ -22462,7 +22462,7 @@ - + @@ -22707,7 +22707,7 @@ - + @@ -22720,11 +22720,11 @@ - + - + @@ -22735,11 +22735,11 @@ - + - + @@ -22803,7 +22803,7 @@ - + @@ -22920,7 +22920,7 @@ - + @@ -22941,7 +22941,7 @@ - + @@ -22968,7 +22968,7 @@ - + @@ -22984,7 +22984,7 @@ - + @@ -23015,7 +23015,7 @@ - + @@ -23078,7 +23078,7 @@ - + @@ -23086,7 +23086,7 @@ - + @@ -23100,7 +23100,7 @@ - + @@ -23293,7 +23293,7 @@ - + @@ -23323,7 +23323,7 @@ - + @@ -23339,7 +23339,7 @@ - + @@ -23355,7 +23355,7 @@ - + @@ -23368,7 +23368,7 @@ - + @@ -23378,7 +23378,7 @@ - + @@ -23404,7 +23404,7 @@ - + @@ -23444,7 +23444,7 @@ - + @@ -23475,7 +23475,7 @@ - + @@ -23484,7 +23484,7 @@ - + @@ -23886,7 +23886,7 @@ - + @@ -24027,7 +24027,7 @@ - + @@ -28066,7 +28066,7 @@ - + @@ -28240,7 +28240,7 @@ - + @@ -28293,7 +28293,7 @@ - + @@ -28577,7 +28577,7 @@ - + @@ -28690,7 +28690,7 @@ - + @@ -28725,7 +28725,7 @@ - + @@ -28806,7 +28806,7 @@ - + @@ -29484,14 +29484,14 @@ - + - + @@ -29623,7 +29623,7 @@ - + @@ -29747,14 +29747,14 @@ - + - + @@ -29767,7 +29767,7 @@ - + @@ -29794,7 +29794,7 @@ - + @@ -29805,7 +29805,7 @@ - + @@ -29898,7 +29898,7 @@ - + @@ -30000,7 +30000,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 571a2e12..1716c026 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 @@ -24,7 +24,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 fcb8c1f0..d3862cb5 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 @@ -7,7 +7,7 @@ - + @@ -828,7 +828,7 @@ - + @@ -5338,7 +5338,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps index 09d2ec4c..594b2242 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps @@ -5,7 +5,7 @@ - + @@ -176,7 +176,7 @@ - + @@ -192,7 +192,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps index acc3dd86..6c839326 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps @@ -5,7 +5,7 @@ - + @@ -179,7 +179,7 @@ - + @@ -195,7 +195,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps index d8d3a9e9..1069c9d2 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps @@ -8,7 +8,7 @@ - + @@ -207,7 +207,7 @@ - + @@ -223,7 +223,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps index e5218427..98b6441e 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps @@ -475,7 +475,7 @@ - + @@ -689,7 +689,7 @@ - + @@ -919,7 +919,7 @@ - + @@ -1047,7 +1047,7 @@ - + @@ -1177,7 +1177,7 @@ - + @@ -1493,7 +1493,7 @@ - + @@ -1531,7 +1531,7 @@ - + @@ -1583,7 +1583,7 @@ - + @@ -1631,7 +1631,7 @@ - + @@ -1685,7 +1685,7 @@ - + @@ -1729,7 +1729,7 @@ - + @@ -1786,7 +1786,7 @@ - + @@ -1839,7 +1839,7 @@ - + @@ -1888,7 +1888,7 @@ - + @@ -1926,7 +1926,7 @@ - + @@ -1978,7 +1978,7 @@ - + @@ -2026,7 +2026,7 @@ - + @@ -2080,7 +2080,7 @@ - + @@ -2123,7 +2123,7 @@ - + @@ -2180,7 +2180,7 @@ - + @@ -2233,7 +2233,7 @@ - + @@ -2276,7 +2276,7 @@ - + @@ -2312,7 +2312,7 @@ - + @@ -2348,7 +2348,7 @@ - + @@ -2409,7 +2409,7 @@ - + @@ -2467,7 +2467,7 @@ - + @@ -2521,7 +2521,7 @@ - + @@ -2583,7 +2583,7 @@ - + @@ -2657,7 +2657,7 @@ - + @@ -2709,7 +2709,7 @@ - + @@ -2767,7 +2767,7 @@ - + @@ -3821,7 +3821,7 @@ - + @@ -4031,7 +4031,7 @@ - + @@ -7371,7 +7371,7 @@ - + @@ -7823,7 +7823,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps index c9e42cf8..9f365271 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps @@ -4,7 +4,7 @@ - + @@ -179,7 +179,7 @@ - + @@ -195,7 +195,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps index be7a165c..4649b6fb 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps @@ -4,7 +4,7 @@ - + @@ -178,7 +178,7 @@ - + @@ -194,7 +194,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps index 18c7c92a..6830f991 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps @@ -4,7 +4,7 @@ - + @@ -178,7 +178,7 @@ - + @@ -194,7 +194,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps index 09459485..06892f2c 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps @@ -4,7 +4,7 @@ - + @@ -178,7 +178,7 @@ - + @@ -194,7 +194,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.codeAnal.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.codeAnal.mps index 22b1d20e..9d85393e 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.codeAnal.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.codeAnal.mps @@ -742,14 +742,14 @@ - + - + @@ -766,14 +766,14 @@ - + - + @@ -822,10 +822,10 @@ - + - + @@ -843,7 +843,7 @@ - + @@ -865,7 +865,7 @@ - + @@ -1132,7 +1132,7 @@ - + @@ -1147,7 +1147,7 @@ - + @@ -1162,7 +1162,7 @@ - + @@ -1177,7 +1177,7 @@ - + @@ -1192,7 +1192,7 @@ - + @@ -1207,7 +1207,7 @@ - + @@ -1440,7 +1440,7 @@ - + @@ -1499,13 +1499,13 @@ - + - + @@ -1517,7 +1517,7 @@ - + @@ -1795,7 +1795,7 @@ - + @@ -2067,7 +2067,7 @@ - + @@ -2129,7 +2129,7 @@ - + @@ -2285,7 +2285,7 @@ - + @@ -2387,7 +2387,7 @@ - + @@ -2708,7 +2708,7 @@ - + @@ -2951,7 +2951,7 @@ - + @@ -3053,7 +3053,7 @@ - + @@ -3548,7 +3548,7 @@ - + @@ -4041,7 +4041,7 @@ - + @@ -4073,7 +4073,7 @@ - + @@ -4105,7 +4105,7 @@ - + @@ -4125,7 +4125,7 @@ - + @@ -5030,7 +5030,7 @@ - + @@ -5128,7 +5128,7 @@ - + @@ -5492,7 +5492,7 @@ - + @@ -5976,7 +5976,7 @@ - + @@ -5999,7 +5999,7 @@ - + @@ -6039,7 +6039,7 @@ - + @@ -6062,7 +6062,7 @@ - + @@ -6101,9 +6101,9 @@ - + - + @@ -6183,7 +6183,7 @@ - + @@ -6234,7 +6234,7 @@ - + @@ -6248,7 +6248,7 @@ - + @@ -6269,7 +6269,7 @@ - + @@ -6278,7 +6278,7 @@ - + @@ -6349,13 +6349,13 @@ - + - + @@ -6400,7 +6400,7 @@ - + @@ -6431,7 +6431,7 @@ - + @@ -6469,7 +6469,7 @@ - + @@ -6477,7 +6477,7 @@ - + @@ -6681,7 +6681,7 @@ - + @@ -7581,7 +7581,7 @@ - + @@ -8187,9 +8187,9 @@ - + - + @@ -8205,7 +8205,7 @@ - + @@ -8229,7 +8229,7 @@ - + @@ -8237,7 +8237,7 @@ - + @@ -8302,7 +8302,7 @@ - + @@ -8393,7 +8393,7 @@ - + @@ -8549,7 +8549,7 @@ - + @@ -8572,7 +8572,7 @@ - + @@ -8612,7 +8612,7 @@ - + @@ -8635,7 +8635,7 @@ - + @@ -8683,9 +8683,9 @@ - + - + @@ -8706,7 +8706,7 @@ - + @@ -8722,13 +8722,13 @@ - + - + @@ -8823,13 +8823,13 @@ - + - + @@ -8847,7 +8847,7 @@ - + @@ -8858,7 +8858,7 @@ - + @@ -8868,7 +8868,7 @@ - + @@ -9294,13 +9294,13 @@ - + - + @@ -9339,13 +9339,13 @@ - + - + @@ -9375,7 +9375,7 @@ - + @@ -9390,7 +9390,7 @@ - + @@ -9491,7 +9491,7 @@ - + @@ -9517,7 +9517,7 @@ - + @@ -9540,7 +9540,7 @@ - + @@ -9566,7 +9566,7 @@ - + @@ -9941,7 +9941,7 @@ - + @@ -10123,7 +10123,7 @@ - + @@ -10141,7 +10141,7 @@ - + @@ -10156,7 +10156,7 @@ - + @@ -10288,9 +10288,9 @@ - + - + @@ -10329,7 +10329,7 @@ - + @@ -10380,7 +10380,7 @@ - + @@ -10389,7 +10389,7 @@ - + @@ -10577,7 +10577,7 @@ - + @@ -10686,7 +10686,7 @@ - + @@ -10708,7 +10708,7 @@ - + @@ -10947,7 +10947,7 @@ - + @@ -10979,7 +10979,7 @@ - + @@ -11677,7 +11677,7 @@ - + @@ -11714,7 +11714,7 @@ - + @@ -12025,7 +12025,7 @@ - + @@ -12088,7 +12088,7 @@ - + @@ -12598,7 +12598,7 @@ - + @@ -12841,7 +12841,7 @@ - + @@ -12914,7 +12914,7 @@ - + @@ -13209,7 +13209,7 @@ - + @@ -13256,7 +13256,7 @@ - + @@ -13427,7 +13427,7 @@ - + @@ -13474,7 +13474,7 @@ - + @@ -14725,9 +14725,9 @@ - + - + @@ -14759,7 +14759,7 @@ - + @@ -14783,7 +14783,7 @@ - + @@ -14791,7 +14791,7 @@ - + @@ -14904,9 +14904,9 @@ - + - + @@ -14921,7 +14921,7 @@ - + @@ -14940,7 +14940,7 @@ - + @@ -14948,7 +14948,7 @@ - + @@ -15013,7 +15013,7 @@ - + @@ -15029,7 +15029,7 @@ - + @@ -15057,7 +15057,7 @@ - + @@ -15174,7 +15174,7 @@ - + @@ -15252,7 +15252,7 @@ - + @@ -15304,7 +15304,7 @@ - + @@ -15453,7 +15453,7 @@ - + @@ -15724,7 +15724,7 @@ - + @@ -16006,7 +16006,7 @@ - + @@ -16051,7 +16051,7 @@ - + @@ -16064,7 +16064,7 @@ - + @@ -16479,7 +16479,7 @@ - + @@ -16515,7 +16515,7 @@ - + @@ -16545,7 +16545,7 @@ - + @@ -16585,7 +16585,7 @@ - + @@ -16624,7 +16624,7 @@ - + @@ -16654,7 +16654,7 @@ - + @@ -16691,7 +16691,7 @@ - + @@ -16731,7 +16731,7 @@ - + @@ -16758,7 +16758,7 @@ - + @@ -16790,7 +16790,7 @@ - + @@ -16826,7 +16826,7 @@ - + @@ -17023,7 +17023,7 @@ - + @@ -17036,7 +17036,7 @@ - + @@ -17545,7 +17545,7 @@ - + @@ -17566,7 +17566,7 @@ - + @@ -17682,7 +17682,7 @@ - + @@ -17709,7 +17709,7 @@ - + @@ -17821,7 +17821,7 @@ - + @@ -17948,7 +17948,7 @@ - + @@ -18202,7 +18202,7 @@ - + @@ -18385,7 +18385,7 @@ - + @@ -18412,7 +18412,7 @@ - + @@ -18762,7 +18762,7 @@ - + @@ -18775,7 +18775,7 @@ - + @@ -19110,7 +19110,7 @@ - + @@ -19131,7 +19131,7 @@ - + @@ -19170,7 +19170,7 @@ - + @@ -19782,7 +19782,7 @@ - + @@ -19842,7 +19842,7 @@ - + @@ -19869,7 +19869,7 @@ - + @@ -19942,7 +19942,7 @@ - + @@ -19967,7 +19967,7 @@ - + @@ -20450,7 +20450,7 @@ - + @@ -20463,7 +20463,7 @@ - + @@ -21388,7 +21388,7 @@ - + @@ -21401,7 +21401,7 @@ - + @@ -21434,11 +21434,11 @@ - + - + @@ -22246,7 +22246,7 @@ - + @@ -22259,7 +22259,7 @@ - + @@ -23166,7 +23166,7 @@ - + @@ -23183,7 +23183,7 @@ - + @@ -23224,7 +23224,7 @@ - + @@ -23244,7 +23244,7 @@ - + @@ -23259,7 +23259,7 @@ - + @@ -23325,7 +23325,7 @@ - + @@ -23352,7 +23352,7 @@ - + @@ -23403,7 +23403,7 @@ - + @@ -23503,7 +23503,7 @@ - + @@ -23566,7 +23566,7 @@ - + @@ -23610,13 +23610,13 @@ - + - + @@ -23821,7 +23821,7 @@ - + @@ -23835,7 +23835,7 @@ - + @@ -23975,13 +23975,13 @@ - + - + @@ -24059,13 +24059,13 @@ - + - + @@ -24095,7 +24095,7 @@ - + @@ -24108,7 +24108,7 @@ - + @@ -24142,7 +24142,7 @@ - + @@ -24163,7 +24163,7 @@ - + @@ -24246,13 +24246,13 @@ - + - + @@ -24281,7 +24281,7 @@ - + @@ -24294,7 +24294,7 @@ - + @@ -24481,7 +24481,7 @@ - + @@ -24494,7 +24494,7 @@ - + @@ -24637,7 +24637,7 @@ - + @@ -24664,7 +24664,7 @@ - + @@ -25267,7 +25267,7 @@ - + @@ -25280,7 +25280,7 @@ - + @@ -25364,7 +25364,7 @@ - + @@ -25450,7 +25450,7 @@ - + @@ -25473,7 +25473,7 @@ - + @@ -25718,7 +25718,7 @@ - + @@ -25746,7 +25746,7 @@ - + @@ -25788,7 +25788,7 @@ - + @@ -25801,7 +25801,7 @@ - + @@ -25906,7 +25906,7 @@ - + @@ -25928,7 +25928,7 @@ - + @@ -25973,7 +25973,7 @@ - + @@ -26056,7 +26056,7 @@ - + @@ -26086,7 +26086,7 @@ - + @@ -26128,7 +26128,7 @@ - + @@ -26173,7 +26173,7 @@ - + @@ -26205,7 +26205,7 @@ - + @@ -26247,7 +26247,7 @@ - + @@ -26469,7 +26469,7 @@ - + @@ -26482,7 +26482,7 @@ - + @@ -26665,7 +26665,7 @@ - + @@ -27129,7 +27129,7 @@ - + @@ -27217,7 +27217,7 @@ - + @@ -27296,7 +27296,7 @@ - + @@ -27312,13 +27312,13 @@ - + - + @@ -27368,7 +27368,7 @@ - + @@ -27384,13 +27384,13 @@ - + - + @@ -27420,7 +27420,7 @@ - + @@ -27433,7 +27433,7 @@ - + @@ -27450,7 +27450,7 @@ - + @@ -27464,7 +27464,7 @@ - + @@ -27500,7 +27500,7 @@ - + @@ -27513,7 +27513,7 @@ - + @@ -27557,7 +27557,7 @@ - + @@ -27609,7 +27609,7 @@ - + @@ -27618,7 +27618,7 @@ - + @@ -27651,7 +27651,7 @@ - + @@ -27687,7 +27687,7 @@ - + @@ -27705,7 +27705,7 @@ - + @@ -27729,7 +27729,7 @@ - + @@ -27772,7 +27772,7 @@ - + @@ -28003,7 +28003,7 @@ - + @@ -28062,13 +28062,13 @@ - + - + @@ -28349,7 +28349,7 @@ - + @@ -28377,7 +28377,7 @@ - + @@ -28470,7 +28470,7 @@ - + @@ -29099,7 +29099,7 @@ - + @@ -29127,7 +29127,7 @@ - + @@ -29220,7 +29220,7 @@ - + @@ -29497,7 +29497,7 @@ - + @@ -29559,7 +29559,7 @@ - + @@ -29684,7 +29684,7 @@ - + @@ -29740,7 +29740,7 @@ - + @@ -29866,7 +29866,7 @@ - + @@ -29884,7 +29884,7 @@ - + @@ -29950,7 +29950,7 @@ - + @@ -30016,7 +30016,7 @@ - + @@ -30095,7 +30095,7 @@ - + @@ -30185,7 +30185,7 @@ - + @@ -30198,7 +30198,7 @@ - + @@ -30233,7 +30233,7 @@ - + @@ -30246,7 +30246,7 @@ - + @@ -30301,7 +30301,7 @@ - + @@ -30349,7 +30349,7 @@ - + @@ -30379,7 +30379,7 @@ - + @@ -30394,7 +30394,7 @@ - + @@ -30691,7 +30691,7 @@ - + @@ -30895,7 +30895,7 @@ - + @@ -30970,7 +30970,7 @@ - + @@ -31045,7 +31045,7 @@ - + @@ -31110,7 +31110,7 @@ - + @@ -31399,7 +31399,7 @@ - + @@ -31419,7 +31419,7 @@ - + @@ -31437,7 +31437,7 @@ - + @@ -31458,7 +31458,7 @@ - + @@ -31483,7 +31483,7 @@ - + @@ -31530,7 +31530,7 @@ - + @@ -31546,7 +31546,7 @@ - + @@ -31697,7 +31697,7 @@ - + @@ -31729,7 +31729,7 @@ - + @@ -31833,7 +31833,7 @@ - + @@ -31906,7 +31906,7 @@ - + @@ -31927,13 +31927,13 @@ - + - + @@ -31968,7 +31968,7 @@ - + @@ -31989,13 +31989,13 @@ - + - + @@ -32032,7 +32032,7 @@ - + @@ -32073,7 +32073,7 @@ - + @@ -32107,7 +32107,7 @@ - + @@ -32253,7 +32253,7 @@ - + @@ -32271,7 +32271,7 @@ - + @@ -32348,7 +32348,7 @@ - + @@ -32383,7 +32383,7 @@ - + @@ -32397,7 +32397,7 @@ - + @@ -32410,7 +32410,7 @@ - + @@ -32445,7 +32445,7 @@ - + @@ -32526,7 +32526,7 @@ - + @@ -32679,7 +32679,7 @@ - + @@ -32743,7 +32743,7 @@ - + @@ -32889,7 +32889,7 @@ - + @@ -32953,7 +32953,7 @@ - + @@ -32991,7 +32991,7 @@ - + @@ -33025,7 +33025,7 @@ - + @@ -33033,7 +33033,7 @@ - + @@ -33041,7 +33041,7 @@ - + @@ -33066,7 +33066,7 @@ - + @@ -33104,7 +33104,7 @@ - + @@ -33112,7 +33112,7 @@ - + @@ -33228,7 +33228,7 @@ - + @@ -33273,7 +33273,7 @@ - + @@ -33301,10 +33301,10 @@ - + - + @@ -33312,7 +33312,7 @@ - + @@ -33325,7 +33325,7 @@ - + @@ -33339,7 +33339,7 @@ - + @@ -33505,11 +33505,11 @@ - + - + @@ -33533,7 +33533,7 @@ - + @@ -33546,7 +33546,7 @@ - + @@ -33711,7 +33711,7 @@ - + @@ -33726,7 +33726,7 @@ - + @@ -33741,7 +33741,7 @@ - + @@ -33756,7 +33756,7 @@ - + @@ -33771,7 +33771,7 @@ - + @@ -33786,7 +33786,7 @@ - + @@ -36535,7 +36535,7 @@ - + @@ -36557,7 +36557,7 @@ - + @@ -36834,7 +36834,7 @@ - + @@ -36863,7 +36863,7 @@ - + @@ -36954,7 +36954,7 @@ - + @@ -36985,7 +36985,7 @@ - + @@ -37643,7 +37643,7 @@ - + @@ -37695,7 +37695,7 @@ - + @@ -37755,13 +37755,13 @@ - + - + - + @@ -37799,7 +37799,7 @@ - + @@ -37853,7 +37853,7 @@ - + @@ -37876,7 +37876,7 @@ - + @@ -37915,7 +37915,7 @@ - + @@ -37983,7 +37983,7 @@ - + @@ -38070,13 +38070,13 @@ - + - + - + @@ -38164,7 +38164,7 @@ - + @@ -38200,7 +38200,7 @@ - + @@ -38254,7 +38254,7 @@ - + @@ -38287,7 +38287,7 @@ - + @@ -38335,7 +38335,7 @@ - + @@ -39398,7 +39398,7 @@ - + @@ -40273,19 +40273,19 @@ - + - + - + - + @@ -40325,7 +40325,7 @@ - + @@ -40350,7 +40350,7 @@ - + @@ -40370,7 +40370,7 @@ - + @@ -40455,7 +40455,7 @@ - + @@ -40473,7 +40473,7 @@ - + @@ -40481,7 +40481,7 @@ - + @@ -40496,7 +40496,7 @@ - + @@ -40526,10 +40526,10 @@ - + - + @@ -40539,7 +40539,7 @@ - + @@ -40622,14 +40622,14 @@ - + - + - + @@ -40691,7 +40691,7 @@ - + @@ -40730,7 +40730,7 @@ - + @@ -40832,7 +40832,7 @@ - + @@ -40851,13 +40851,13 @@ - + - + @@ -40986,13 +40986,13 @@ - + - + @@ -41095,7 +41095,7 @@ - + @@ -41187,7 +41187,7 @@ - + @@ -41330,13 +41330,13 @@ - + - + @@ -41345,7 +41345,7 @@ - + @@ -41359,13 +41359,13 @@ - + - + @@ -41374,7 +41374,7 @@ - + @@ -41396,7 +41396,7 @@ - + @@ -41422,7 +41422,7 @@ - + @@ -41440,10 +41440,10 @@ - + - + @@ -41474,7 +41474,7 @@ - + @@ -44080,7 +44080,7 @@ - + @@ -44100,7 +44100,7 @@ - + @@ -44120,7 +44120,7 @@ - + @@ -44137,7 +44137,7 @@ - + @@ -45727,10 +45727,10 @@ - + - + @@ -45766,10 +45766,10 @@ - + - + @@ -45890,20 +45890,20 @@ - + - + - + @@ -46264,13 +46264,13 @@ - + - + @@ -46851,10 +46851,10 @@ - + - + @@ -46867,10 +46867,10 @@ - + - + @@ -47525,7 +47525,7 @@ - + @@ -48578,10 +48578,10 @@ - + - + @@ -48594,10 +48594,10 @@ - + - + @@ -49047,13 +49047,13 @@ - + - + @@ -49072,7 +49072,7 @@ - + @@ -49113,7 +49113,7 @@ - + @@ -49132,13 +49132,13 @@ - + - + @@ -49152,7 +49152,7 @@ - + @@ -49312,9 +49312,9 @@ - + - + @@ -49362,7 +49362,7 @@ - + @@ -49396,7 +49396,7 @@ - + @@ -49424,7 +49424,7 @@ - + @@ -49464,7 +49464,7 @@ - + @@ -49477,7 +49477,7 @@ - + @@ -49541,7 +49541,7 @@ - + @@ -49936,13 +49936,13 @@ - + - + @@ -50076,13 +50076,13 @@ - + - + @@ -50877,7 +50877,7 @@ - + @@ -50894,7 +50894,7 @@ - + @@ -50956,7 +50956,7 @@ - + @@ -50973,7 +50973,7 @@ - + @@ -51371,11 +51371,11 @@ - + - + @@ -51435,7 +51435,7 @@ - + @@ -51568,11 +51568,11 @@ - + - + @@ -51593,7 +51593,7 @@ - + @@ -51613,7 +51613,7 @@ - + @@ -51759,7 +51759,7 @@ - + @@ -52706,7 +52706,7 @@ - + @@ -53031,7 +53031,7 @@ - + @@ -53375,7 +53375,7 @@ - + @@ -53518,13 +53518,13 @@ - + - + @@ -54902,7 +54902,7 @@ - + @@ -55119,7 +55119,7 @@ - + @@ -55225,7 +55225,7 @@ - + @@ -56639,7 +56639,7 @@ - + @@ -57002,7 +57002,7 @@ - + @@ -59403,7 +59403,7 @@ - + @@ -59445,7 +59445,7 @@ - + @@ -59474,7 +59474,7 @@ - + @@ -59498,7 +59498,7 @@ - + @@ -59527,7 +59527,7 @@ - + @@ -59633,7 +59633,7 @@ - + @@ -60121,10 +60121,10 @@ - + - + @@ -60440,7 +60440,7 @@ - + @@ -60473,7 +60473,7 @@ - + @@ -60493,7 +60493,7 @@ - + @@ -60515,7 +60515,7 @@ - + @@ -60530,14 +60530,14 @@ - + - + @@ -60559,7 +60559,7 @@ - + @@ -60580,7 +60580,7 @@ - + @@ -60600,7 +60600,7 @@ - + @@ -60660,7 +60660,7 @@ - + @@ -60696,7 +60696,7 @@ - + @@ -60709,7 +60709,7 @@ - + @@ -60733,7 +60733,7 @@ - + @@ -60752,7 +60752,7 @@ - + @@ -60773,7 +60773,7 @@ - + @@ -60788,7 +60788,7 @@ - + @@ -60807,7 +60807,7 @@ - + @@ -60826,7 +60826,7 @@ - + @@ -60864,7 +60864,7 @@ - + @@ -60953,7 +60953,7 @@ - + @@ -60987,7 +60987,7 @@ - + @@ -61076,7 +61076,7 @@ - + @@ -61105,7 +61105,7 @@ - + @@ -61128,7 +61128,7 @@ - + @@ -61198,7 +61198,7 @@ - + @@ -61217,7 +61217,7 @@ - + @@ -61237,7 +61237,7 @@ - + @@ -61256,7 +61256,7 @@ - + @@ -61267,7 +61267,7 @@ - + @@ -61281,7 +61281,7 @@ - + @@ -61304,7 +61304,7 @@ - + @@ -61337,7 +61337,7 @@ - + @@ -61347,7 +61347,7 @@ - + @@ -61424,7 +61424,7 @@ - + @@ -61446,7 +61446,7 @@ - + @@ -61486,7 +61486,7 @@ - + @@ -61499,7 +61499,7 @@ - + @@ -61523,7 +61523,7 @@ - + @@ -61534,7 +61534,7 @@ - + @@ -61546,7 +61546,7 @@ - + @@ -61558,7 +61558,7 @@ - + @@ -61570,7 +61570,7 @@ - + @@ -61582,7 +61582,7 @@ - + @@ -61594,7 +61594,7 @@ - + @@ -61622,17 +61622,17 @@ - + - + - + @@ -61653,7 +61653,7 @@ - + @@ -61669,7 +61669,7 @@ - + @@ -61685,7 +61685,7 @@ - + @@ -61701,7 +61701,7 @@ - + @@ -61717,7 +61717,7 @@ - + @@ -61771,7 +61771,7 @@ - + @@ -61780,7 +61780,7 @@ - + @@ -61803,7 +61803,7 @@ - + @@ -61818,7 +61818,7 @@ - + @@ -61835,7 +61835,7 @@ - + @@ -61855,7 +61855,7 @@ - + @@ -61889,7 +61889,7 @@ - + @@ -61929,7 +61929,7 @@ - + @@ -62010,7 +62010,7 @@ - + @@ -62068,7 +62068,7 @@ - + @@ -62139,7 +62139,7 @@ - + @@ -62164,7 +62164,7 @@ - + @@ -62179,14 +62179,14 @@ - + - + @@ -62206,14 +62206,14 @@ - + - + @@ -62240,7 +62240,7 @@ - + @@ -62268,7 +62268,7 @@ - + @@ -62322,7 +62322,7 @@ - + @@ -62349,7 +62349,7 @@ - + @@ -62359,7 +62359,7 @@ - + @@ -62388,7 +62388,7 @@ - + @@ -62398,7 +62398,7 @@ - + @@ -62453,7 +62453,7 @@ - + @@ -62491,7 +62491,7 @@ - + @@ -63502,7 +63502,7 @@ - + @@ -63515,7 +63515,7 @@ - + @@ -63542,13 +63542,13 @@ - + - + @@ -63572,7 +63572,7 @@ - + @@ -63585,7 +63585,7 @@ - + @@ -63615,10 +63615,10 @@ - + - + @@ -63678,7 +63678,7 @@ - + @@ -63694,7 +63694,7 @@ - + @@ -63706,7 +63706,7 @@ - + @@ -64073,7 +64073,7 @@ - + @@ -64131,7 +64131,7 @@ - + @@ -64963,7 +64963,7 @@ - + @@ -65075,7 +65075,7 @@ - + @@ -65746,7 +65746,7 @@ - + @@ -65797,7 +65797,7 @@ - + @@ -66094,7 +66094,7 @@ - + @@ -66473,7 +66473,7 @@ - + @@ -66844,7 +66844,7 @@ - + @@ -66999,7 +66999,7 @@ - + @@ -67323,7 +67323,7 @@ - + @@ -67393,16 +67393,16 @@ - + - + - + - + @@ -67448,10 +67448,10 @@ - + - + @@ -67487,7 +67487,7 @@ - + @@ -67502,7 +67502,7 @@ - + @@ -67525,10 +67525,10 @@ - + - + @@ -67542,7 +67542,7 @@ - + @@ -67613,7 +67613,7 @@ - + @@ -67641,7 +67641,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.helloWorld.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.helloWorld.mps index b580a5cb..710dfe9c 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.helloWorld.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.helloWorld.mps @@ -189,7 +189,7 @@ - + @@ -201,10 +201,10 @@ - + - + @@ -597,7 +597,7 @@ - + @@ -672,7 +672,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.slice.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.slice.mps index b658f8b3..0ff2644b 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.slice.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.slice.mps @@ -760,7 +760,7 @@ - + @@ -971,7 +971,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 21437479..627ff250 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd @@ -26,7 +26,7 @@ - +