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 92020813..986cd56b 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 @@ -2,13 +2,13 @@ - - + + - + - + @@ -16,7 +16,7 @@ - + @@ -528,6 +528,13 @@ + + + + + + + @@ -545,9 +552,6 @@ - - - @@ -596,9 +600,6 @@ - - - @@ -1483,7 +1484,7 @@ - + @@ -2250,10 +2251,13 @@ - - - - + + + + + + + @@ -2930,7 +2934,7 @@ - + @@ -7263,7 +7267,7 @@ - + @@ -7294,7 +7298,7 @@ - + @@ -7652,7 +7656,7 @@ - + @@ -7805,7 +7809,7 @@ - + @@ -7985,7 +7989,7 @@ - + @@ -8329,7 +8333,7 @@ - + @@ -8475,7 +8479,7 @@ - + @@ -8731,7 +8735,7 @@ - + @@ -8827,7 +8831,7 @@ - + @@ -8901,12 +8905,12 @@ - + - + @@ -8994,7 +8998,7 @@ - + @@ -9331,7 +9335,7 @@ - + @@ -9686,7 +9690,7 @@ - + @@ -9783,7 +9787,7 @@ - + @@ -9886,7 +9890,7 @@ - + @@ -11007,7 +11011,7 @@ - + @@ -11380,7 +11384,7 @@ - + @@ -11527,7 +11531,7 @@ - + @@ -12501,7 +12505,7 @@ - + @@ -15781,12 +15785,12 @@ - + - - - + + + @@ -15808,12 +15812,12 @@ - + - - - + + + @@ -15835,12 +15839,12 @@ - + - - - + + + @@ -15856,7 +15860,7 @@ - + @@ -15864,7 +15868,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl b/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl index e0a12992..cdc543b3 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 @@ -35,19 +35,19 @@ - - - + + + - + - + - + - + @@ -61,6 +61,7 @@ + @@ -70,6 +71,7 @@ + @@ -114,32 +116,32 @@ - - - + + + - + - - - - + + + + - + - + - + - + - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps index b5492e71..75a5de3a 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps @@ -2,10 +2,10 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps index b52636f0..761727e0 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps @@ -3,7 +3,7 @@ - + @@ -425,11 +425,10 @@ + - - @@ -455,14 +454,6 @@ - - - - - - - - @@ -478,6 +469,13 @@ + + + + + + + @@ -1023,13 +1021,13 @@ - + - + @@ -1038,13 +1036,13 @@ - + - + @@ -1053,13 +1051,13 @@ - + - + @@ -1082,10 +1080,10 @@ - + - + @@ -1151,10 +1149,10 @@ - + - + @@ -1272,7 +1270,7 @@ - + @@ -1453,7 +1451,7 @@ - + @@ -1522,7 +1520,7 @@ - + @@ -1662,7 +1660,7 @@ - + @@ -1769,7 +1767,7 @@ - + @@ -1788,7 +1786,7 @@ - + @@ -2295,7 +2293,7 @@ - + @@ -2400,7 +2398,7 @@ - + @@ -2464,10 +2462,10 @@ - + - + @@ -2502,7 +2500,7 @@ - + @@ -2581,7 +2579,7 @@ - + @@ -2608,7 +2606,7 @@ - + @@ -2659,10 +2657,10 @@ - + - + @@ -2670,7 +2668,7 @@ - + @@ -2718,7 +2716,7 @@ - + @@ -2741,10 +2739,10 @@ - + - + @@ -2752,7 +2750,7 @@ - + @@ -2800,7 +2798,7 @@ - + @@ -2819,10 +2817,10 @@ - + - + @@ -2830,7 +2828,7 @@ - + @@ -2878,7 +2876,7 @@ - + @@ -2952,7 +2950,7 @@ - + @@ -3138,7 +3136,7 @@ - + @@ -3190,7 +3188,7 @@ - + @@ -3474,7 +3472,7 @@ - + @@ -3526,7 +3524,7 @@ - + @@ -3634,7 +3632,7 @@ - + @@ -3891,7 +3889,7 @@ - + @@ -3943,7 +3941,7 @@ - + @@ -4053,7 +4051,7 @@ - + @@ -4250,7 +4248,7 @@ - + @@ -4329,14 +4327,14 @@ - + - + @@ -4387,7 +4385,7 @@ - + @@ -4410,7 +4408,7 @@ - + @@ -4443,7 +4441,7 @@ - + @@ -4580,7 +4578,7 @@ - + @@ -4659,7 +4657,7 @@ - + @@ -4880,7 +4878,7 @@ - + @@ -4943,15 +4941,15 @@ - + - + @@ -4998,18 +4996,17 @@ - + - - - - - - + + + + + + - @@ -5027,19 +5024,21 @@ - - - + + + + + - + + - @@ -5070,7 +5069,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps index 512ce561..2c2b7657 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps @@ -2,14 +2,14 @@ - + - + - + @@ -109,9 +109,7 @@ - - - + @@ -508,7 +506,7 @@ - + @@ -722,7 +720,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps index 54d8d8b8..57678297 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps @@ -2,9 +2,9 @@ - + - + @@ -227,7 +227,7 @@ - + @@ -286,7 +286,7 @@ - + @@ -345,7 +345,7 @@ - + @@ -404,7 +404,7 @@ - + @@ -463,7 +463,7 @@ - + @@ -522,7 +522,7 @@ - + @@ -581,7 +581,7 @@ - + @@ -641,7 +641,7 @@ - + @@ -701,7 +701,7 @@ - + @@ -760,7 +760,7 @@ - + @@ -821,7 +821,7 @@ - + @@ -881,7 +881,7 @@ - + @@ -941,7 +941,7 @@ - + @@ -1000,7 +1000,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps index dc8fb26d..edbaf777 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 @@ - + @@ -14,6 +14,18 @@ + + + + + + + + + + + + @@ -21,12 +33,20 @@ - + + + + - + + + + + + @@ -86,22 +106,21 @@ - - + - + - + - + @@ -122,17 +141,17 @@ - + - + - + - + @@ -165,9 +184,9 @@ - + - + @@ -186,16 +205,15 @@ - - + - + - + @@ -211,9 +229,9 @@ - + - + @@ -242,9 +260,8 @@ - - + @@ -256,16 +273,16 @@ - + - + - + - + @@ -304,16 +321,15 @@ - - + - + - + @@ -326,7 +342,7 @@ - + @@ -353,9 +369,9 @@ - + - + @@ -376,9 +392,9 @@ - + - + @@ -404,7 +420,7 @@ - + @@ -420,9 +436,9 @@ - + - + @@ -440,23 +456,22 @@ - + - + - + - + - + - @@ -494,9 +509,9 @@ - + - + @@ -508,17 +523,17 @@ - + - + - + - + @@ -537,15 +552,15 @@ - + - + - + @@ -568,14 +583,14 @@ - + - + - + @@ -596,9 +611,8 @@ - - + @@ -629,9 +643,9 @@ - + - + @@ -651,9 +665,8 @@ - - + @@ -668,24 +681,23 @@ - - + - + - + - + - + @@ -696,16 +708,15 @@ - - + - + - + @@ -721,9 +732,9 @@ - + - + @@ -735,21 +746,20 @@ - - + - + - + - + @@ -764,9 +774,9 @@ - + - + @@ -785,9 +795,9 @@ - + - + @@ -798,9 +808,9 @@ - + - + @@ -812,16 +822,16 @@ - + - + - + - + @@ -840,9 +850,9 @@ - + - + @@ -856,9 +866,9 @@ - + - + @@ -869,9 +879,9 @@ - + - + @@ -891,9 +901,8 @@ - - + @@ -905,9 +914,9 @@ - + - + @@ -921,9 +930,9 @@ - + - + @@ -938,23 +947,23 @@ - + - + - + - + - + - + @@ -970,22 +979,22 @@ - + - + - + - + @@ -1008,29 +1017,29 @@ - + - + - + - + - + - + - + - + @@ -1050,9 +1059,9 @@ - + - + @@ -1064,9 +1073,9 @@ - + - + @@ -1076,9 +1085,9 @@ - + - + @@ -1091,35 +1100,26 @@ - - + - + + + + + + + + + - + - + - - - - - - - - - - - - - - - - @@ -1129,16 +1129,16 @@ - + - + - + - + @@ -1150,9 +1150,9 @@ - + - + @@ -1184,24 +1184,24 @@ - + - + - + - + - + - + @@ -1224,9 +1224,9 @@ - + - + @@ -1237,9 +1237,8 @@ - - + @@ -1251,9 +1250,9 @@ - + - + @@ -1278,46 +1277,27 @@ - + - + - - + - + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1326,14 +1306,122 @@ - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps index 58a27d5e..f2984741 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps @@ -111,9 +111,7 @@ - - - + @@ -1397,7 +1395,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps index 152cd4d0..015b1bfa 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps @@ -5,8 +5,8 @@ - - + + 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 18cf6365..16253337 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 @@ -23,9 +23,9 @@ - + - + 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 c7caa032..12ab1109 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 @@ - + @@ -13,7 +13,7 @@ - + @@ -1154,7 +1154,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.analysis.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.analysis.mps index 1152c2f2..b78a4719 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.analysis.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.analysis.mps @@ -4,7 +4,7 @@ - + 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 1ed9cc5b..12dfe450 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,10 +4,10 @@ - + - + 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 d8a9e25b..14573c23 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 @@ -29,15 +29,15 @@ - - - + + + - + - + @@ -54,6 +54,7 @@ + @@ -67,6 +68,7 @@ + @@ -105,21 +107,21 @@ - - - + + + - + - + - + - - + + - + @@ -134,6 +136,7 @@ + @@ -141,6 +144,7 @@ + diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/models/constraints.mps b/coderules/languages/jetbrains.mps.lang.controlflow/models/constraints.mps index 4116ee75..983a9eaf 100644 --- a/coderules/languages/jetbrains.mps.lang.controlflow/models/constraints.mps +++ b/coderules/languages/jetbrains.mps.lang.controlflow/models/constraints.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/models/editor.mps b/coderules/languages/jetbrains.mps.lang.controlflow/models/editor.mps index 64313c52..b6d42d74 100644 --- a/coderules/languages/jetbrains.mps.lang.controlflow/models/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.controlflow/models/editor.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/models/structure.mps b/coderules/languages/jetbrains.mps.lang.controlflow/models/structure.mps index e12f6dd7..9204b975 100644 --- a/coderules/languages/jetbrains.mps.lang.controlflow/models/structure.mps +++ b/coderules/languages/jetbrains.mps.lang.controlflow/models/structure.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/models/typesystem.mps b/coderules/languages/jetbrains.mps.lang.controlflow/models/typesystem.mps index 610ddb49..336fcd1c 100644 --- a/coderules/languages/jetbrains.mps.lang.controlflow/models/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.controlflow/models/typesystem.mps @@ -2,7 +2,7 @@ - + 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 0c651b14..3414c444 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 @@ -22,14 +22,14 @@ - - - + + + - + - + @@ -44,11 +44,13 @@ + + @@ -82,29 +84,29 @@ - - - + + + - + - - - + + + - - + + - - + + - + @@ -116,11 +118,13 @@ + + diff --git a/coderules/languages/jetbrains.mps.lang.smodel.types/models/editor.mps b/coderules/languages/jetbrains.mps.lang.smodel.types/models/editor.mps index 80aa8564..a18f3385 100644 --- a/coderules/languages/jetbrains.mps.lang.smodel.types/models/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.smodel.types/models/editor.mps @@ -2,7 +2,7 @@ - + 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 6f8e66bb..6813f804 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 @@ -3,9 +3,9 @@ - - - + + + 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 38693a90..179b450b 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 @@ -37,15 +37,15 @@ - - - + + + - + - + @@ -64,6 +64,7 @@ + @@ -75,6 +76,7 @@ + @@ -116,21 +118,21 @@ - - - + + + - + - + - + - - + + - + @@ -145,12 +147,14 @@ + + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps index 8c33f23d..c5931615 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps index 1aef9977..d7e3daaa 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps index d47de6bd..926d681d 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/structure.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps index d998b795..0ba10764 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps @@ -2,7 +2,7 @@ - + @@ -40,9 +40,9 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps index c7814162..f99c19fc 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps @@ -2,10 +2,10 @@ - + - - + + 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 fb8c9223..b580079c 100644 --- a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps @@ -2,17 +2,17 @@ - - - - + + + + - + - + @@ -1751,7 +1751,7 @@ - + @@ -1965,7 +1965,7 @@ - + @@ -2527,7 +2527,7 @@ - + @@ -2537,7 +2537,7 @@ - + @@ -2965,7 +2965,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl index e108fbf9..1a200acc 100644 --- a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl +++ b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl @@ -28,17 +28,17 @@ - - - + + + - - - - + + + + - + @@ -101,32 +101,32 @@ - - - + + + - + - - - - + + + + - + - + - + - + - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps index e8638c71..8d126406 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 b2d8a589..bb730853 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps @@ -3,9 +3,9 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps index b6ff2473..bb0012ba 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps @@ -3,13 +3,13 @@ - + - + - + @@ -676,7 +676,7 @@ - + @@ -799,7 +799,7 @@ - + @@ -961,7 +961,7 @@ - + @@ -982,7 +982,7 @@ - + @@ -1033,7 +1033,7 @@ - + @@ -1050,7 +1050,7 @@ - + @@ -1139,7 +1139,7 @@ - + @@ -1159,7 +1159,7 @@ - + @@ -2429,10 +2429,10 @@ - + - + @@ -2440,7 +2440,7 @@ - + @@ -2472,7 +2472,7 @@ - + @@ -2505,10 +2505,10 @@ - + - + @@ -2516,7 +2516,7 @@ - + @@ -2538,10 +2538,10 @@ - + - + @@ -2549,7 +2549,7 @@ - + @@ -2572,10 +2572,10 @@ - + - + @@ -2583,7 +2583,7 @@ - + @@ -2631,7 +2631,7 @@ - + @@ -2651,10 +2651,10 @@ - + - + @@ -2662,7 +2662,7 @@ - + @@ -2710,7 +2710,7 @@ - + @@ -3141,7 +3141,7 @@ - + @@ -3181,7 +3181,7 @@ - + @@ -3232,7 +3232,7 @@ - + @@ -3410,7 +3410,7 @@ - + @@ -3697,7 +3697,7 @@ - + @@ -3756,7 +3756,7 @@ - + @@ -3769,7 +3769,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps index c7081cb4..c4849796 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps @@ -2,8 +2,8 @@ - - + + @@ -98,7 +98,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/jetbrains.mps.logic.enumMigration.mps b/coderules/languages/jetbrains.mps.logic/languageModels/jetbrains.mps.logic.enumMigration.mps new file mode 100644 index 00000000..1ea06194 --- /dev/null +++ b/coderules/languages/jetbrains.mps.logic/languageModels/jetbrains.mps.logic.enumMigration.mps @@ -0,0 +1,274 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps b/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps index 93d6ef86..8e94815f 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps @@ -2,9 +2,9 @@ - + - + @@ -124,7 +124,7 @@ - + @@ -183,7 +183,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps b/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps index a84fb52f..19d09836 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps @@ -2,7 +2,7 @@ - + @@ -11,6 +11,15 @@ + + + + + + + + + @@ -18,12 +27,19 @@ - - + + + + - + + + + + + @@ -80,9 +96,9 @@ - + - + @@ -95,9 +111,9 @@ - + - + @@ -121,9 +137,9 @@ - + - + @@ -136,9 +152,9 @@ - + - + @@ -156,27 +172,6 @@ - - - - - - - - - - - - - - - - - - - - - @@ -206,9 +201,9 @@ - + - + @@ -220,7 +215,7 @@ - + @@ -239,15 +234,14 @@ - - + - + @@ -259,7 +253,7 @@ - + @@ -272,9 +266,9 @@ - + - + @@ -296,9 +290,9 @@ - + - + @@ -308,14 +302,14 @@ - + - + - + @@ -335,9 +329,9 @@ - + - + @@ -350,9 +344,9 @@ - + - + @@ -366,9 +360,9 @@ - + - + @@ -380,9 +374,9 @@ - + - + @@ -395,9 +389,9 @@ - + - + @@ -408,7 +402,7 @@ - + @@ -445,7 +439,7 @@ - + @@ -457,16 +451,15 @@ - - + - + - + @@ -496,16 +489,15 @@ - - + - + - + @@ -516,9 +508,9 @@ - + - + @@ -526,7 +518,6 @@ - @@ -540,9 +531,9 @@ - + - + @@ -556,9 +547,9 @@ - + - + @@ -570,9 +561,9 @@ - + - + @@ -589,5 +580,59 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps index 2ac66145..0ff95758 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps @@ -2,10 +2,10 @@ - + - - + + @@ -98,9 +98,7 @@ - - - + @@ -694,7 +692,7 @@ - + @@ -724,7 +722,7 @@ - + @@ -1036,7 +1034,7 @@ - + @@ -1091,7 +1089,7 @@ - + @@ -1181,7 +1179,7 @@ - + @@ -1308,7 +1306,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd b/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd index 15361cf2..d0b71750 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 @@ -21,10 +21,10 @@ - + - - + + 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 d8072f1d..9a0e0274 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 @@ - + 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 af174ac1..8f811eac 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 @@ -23,21 +23,21 @@ - - - + + + - - + + - - + + - - + + - + diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps index 360303e4..4958b608 100644 --- a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps @@ -2,7 +2,7 @@ - + @@ -207,7 +207,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps index f30c5b84..fceaba32 100644 --- a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps +++ b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps @@ -2,8 +2,8 @@ - - + + 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 38c6561c..6414322e 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 @@ -15,20 +15,20 @@ - + - - - + + + - + - + @@ -52,7 +52,7 @@ 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) - + @@ -64,32 +64,32 @@ - + - - + + - + - - - + + + - - + + - + - + - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps index 1eac715d..9f09e8cb 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps index 22e5d055..a4b511b2 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps @@ -2,7 +2,7 @@ - + @@ -351,7 +351,7 @@ - + @@ -611,7 +611,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/structure.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/structure.mps index 682fb266..1fc9f3e7 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/structure.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/structure.mps @@ -2,7 +2,7 @@ - + @@ -52,9 +52,9 @@ - + - + @@ -67,9 +67,9 @@ - + - + @@ -93,14 +93,14 @@ - + - + - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps index dd72fdfc..e3ee27de 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps @@ -4,8 +4,8 @@ - - + + @@ -77,9 +77,7 @@ - - - + @@ -337,7 +335,7 @@ - + @@ -347,7 +345,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/typesystem.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/typesystem.mps index a6fa44f6..8f729c1f 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/typesystem.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/typesystem.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.build/jetbrains.mps.coderules.build.msd b/coderules/solutions/jetbrains.mps.coderules.build/jetbrains.mps.coderules.build.msd index fbc8948d..5c3388c8 100644 --- a/coderules/solutions/jetbrains.mps.coderules.build/jetbrains.mps.coderules.build.msd +++ b/coderules/solutions/jetbrains.mps.coderules.build/jetbrains.mps.coderules.build.msd @@ -18,7 +18,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps index e50f4247..b26cc049 100644 --- a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps +++ b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps @@ -559,7 +559,7 @@ - + @@ -1156,7 +1156,7 @@ - + @@ -1984,7 +1984,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 9b63e750..6ae4c4e4 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 @@ -24,11 +24,11 @@ - + - + - + 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 033b4a0d..52b1ca72 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps @@ -2,7 +2,7 @@ - + @@ -289,7 +289,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 93424eb9..16c9f0b0 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 @@ -30,13 +30,13 @@ - + - - + + - - + + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps index e95017df..b9462204 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps @@ -2,12 +2,12 @@ - + - + - + 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 99663deb..52c55377 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 @@ -2,7 +2,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps index 0ec2b503..57981b77 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps @@ -3,7 +3,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 48729040..4b30c4be 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 @@ -2,12 +2,12 @@ - + - + - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.testlang.sandbox/jetbrains.mps.coderules.typechecking.testlang.sandbox.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking.testlang.sandbox/jetbrains.mps.coderules.typechecking.testlang.sandbox.msd index c985dd2f..0d9fc536 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.testlang.sandbox/jetbrains.mps.coderules.typechecking.testlang.sandbox.msd +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.testlang.sandbox/jetbrains.mps.coderules.typechecking.testlang.sandbox.msd @@ -8,7 +8,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 991bc1a4..a76c23c2 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 @@ -32,12 +32,12 @@ - - + + - + 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 cdc5ffee..c201421f 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 @@ - + @@ -3312,27 +3312,27 @@ - + - + - + - + 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 9920f07e..afa8561b 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 @@ -29,12 +29,12 @@ - - + + - + 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 26688e65..c611f895 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 a07bcafe..0ccdde89 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 @@ - + @@ -271,7 +271,7 @@ - + @@ -348,7 +348,7 @@ - + @@ -681,7 +681,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 1157914c..016a0530 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,14 +5,14 @@ - + - + @@ -1854,7 +1854,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 46292639..dacb40fc 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 @@ -25,12 +25,12 @@ - - + + - + diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps index ef3c4864..dab9b28a 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 @@ - + @@ -13,7 +13,7 @@ - + @@ -12475,7 +12475,7 @@ - + @@ -25080,7 +25080,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd index 135b4743..70a9cbdb 100644 --- a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd +++ b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd @@ -33,12 +33,12 @@ - - + + - + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps index 76fc5a4d..6cb2ddad 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 3f8bec14..9599ec46 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps @@ -3,7 +3,7 @@ - + @@ -3757,7 +3757,7 @@ - + @@ -4229,7 +4229,7 @@ - + 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 5ee78fa4..bc34d9a9 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 @@ -25,12 +25,12 @@ - - + + - + diff --git a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps index 19880847..122717a1 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 @@ - + @@ -1946,7 +1946,6 @@ - @@ -1965,14 +1964,14 @@ - + - + @@ -1980,7 +1979,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd index 13c9b3ed..a1766fd5 100644 --- a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd +++ b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd @@ -16,9 +16,9 @@ - + - + diff --git a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps index 96a323bb..abc05154 100644 --- a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps +++ b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps @@ -3,7 +3,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 f6f93d03..a653fe61 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 @@ -21,9 +21,9 @@ - + - + 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 6781d442..fb41bdc5 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 @@ - + @@ -938,7 +938,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 8895c295..9b9550a9 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 @@ - + 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 27304f0d..daafb06a 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 @@ - + 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 c3033c46..45307b31 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 @@ -17,9 +17,9 @@ - + - + @@ -30,6 +30,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 3491d0a6..3fffd23d 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 fa4ba856..d00398b0 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 @@ -15,9 +15,9 @@ - + - + @@ -28,6 +28,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 e0cee6cf..d65f0366 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.reactor/jetbrains.mps.logic.reactor.msd b/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd index b61807ce..16626bfd 100644 --- a/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd +++ b/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd @@ -19,7 +19,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 afd73da3..d9c9b724 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 @@ -27,10 +27,10 @@ - + - - + + 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 9b292f0f..33777945 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 @@ -4,7 +4,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 77f1e30a..1c08103e 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 @@ -16,9 +16,9 @@ - + - + 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 372c7414..631d54e2 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/constraints.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/constraints.mps index 3ff82d38..786339b7 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/constraints.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/constraints.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps index 946ffa29..78b2725c 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/structure.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/structure.mps index a51ca44a..27cdbe49 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/structure.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/structure.mps @@ -2,7 +2,7 @@ - + @@ -100,16 +100,16 @@ - + - + - + - + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps index 55ad8c1f..65a118fc 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps @@ -1314,7 +1314,7 @@ - + @@ -2101,7 +2101,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/typesystem.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/typesystem.mps index 835f3844..7b348b1d 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/typesystem.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/typesystem.mps @@ -2,7 +2,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 7063e41e..68b6405e 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl @@ -21,14 +21,14 @@ - - - + + + - + - + @@ -66,31 +66,31 @@ - + - - + + - + - - - + + + - - + + - - + + - + @@ -105,6 +105,7 @@ + @@ -113,6 +114,7 @@ + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps index 72d0bebc..9ff50deb 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/editor.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/editor.mps index b83c4628..29048f0a 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/editor.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/editor.mps @@ -2,7 +2,7 @@ - + @@ -73,9 +73,7 @@ - - - + @@ -119,7 +117,6 @@ - @@ -203,9 +200,7 @@ - - - + @@ -278,7 +273,6 @@ - @@ -343,7 +337,6 @@ - @@ -428,7 +421,7 @@ - + @@ -588,7 +581,7 @@ - + @@ -598,7 +591,7 @@ - + @@ -671,7 +664,7 @@ - + @@ -756,7 +749,7 @@ - + @@ -808,7 +801,7 @@ - + @@ -1085,9 +1078,7 @@ - - - + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/structure.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/structure.mps index 89666bd8..b7d48c6b 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/structure.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/structure.mps @@ -2,7 +2,7 @@ - + @@ -83,9 +83,9 @@ - + - + @@ -104,16 +104,16 @@ - + - + - + - + @@ -129,16 +129,16 @@ - + - + - + - + @@ -154,9 +154,9 @@ - + - + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps index d4ad1511..7f60efcb 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps @@ -1398,7 +1398,7 @@ - + @@ -2116,7 +2116,7 @@ - + @@ -2751,7 +2751,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/typesystem.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/typesystem.mps index 1443dd1b..c4ab0fe4 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/typesystem.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/typesystem.mps @@ -2,7 +2,7 @@ - + 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 cb7e9ac7..94248626 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl @@ -21,14 +21,14 @@ - - - + + + - + - + @@ -67,31 +67,31 @@ - + - - + + - + - - - + + + - - + + - - + + - + @@ -107,6 +107,7 @@ + @@ -115,6 +116,7 @@ + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps index 846b07f3..fc9f3bcd 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps @@ -2,10 +2,10 @@ - + - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps index eda88f39..e704ffc3 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps @@ -2,9 +2,9 @@ - + - + @@ -307,7 +307,7 @@ - + @@ -480,7 +480,7 @@ - + @@ -550,7 +550,7 @@ - + @@ -628,7 +628,7 @@ - + @@ -694,7 +694,7 @@ - + @@ -1052,7 +1052,7 @@ - + @@ -1250,7 +1250,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/structure.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/structure.mps index 4677f43d..dffc9d61 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/structure.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/structure.mps @@ -2,7 +2,7 @@ - + @@ -53,9 +53,9 @@ - + - + @@ -82,16 +82,16 @@ - + - + - + - + @@ -106,16 +106,16 @@ - + - + - + - + @@ -130,9 +130,9 @@ - + - + @@ -147,9 +147,9 @@ - + - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps index 4c064782..8c56b742 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/models/typesystem.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/typesystem.mps index e4ea76e8..dd2f72e8 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/typesystem.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/typesystem.mps @@ -2,7 +2,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 9548403d..4397e017 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl @@ -21,14 +21,14 @@ - - - + + + - + - + @@ -65,31 +65,31 @@ - + - - + + - + - - - + + + - - + + - - + + - + @@ -105,6 +105,7 @@ + @@ -113,6 +114,7 @@ + diff --git a/samples/fitch/languages/samples.fitch/models/constraints.mps b/samples/fitch/languages/samples.fitch/models/constraints.mps index d1934ce9..23bbdaaf 100644 --- a/samples/fitch/languages/samples.fitch/models/constraints.mps +++ b/samples/fitch/languages/samples.fitch/models/constraints.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/editor.mps b/samples/fitch/languages/samples.fitch/models/editor.mps index b05f2cc4..af2ba776 100644 --- a/samples/fitch/languages/samples.fitch/models/editor.mps +++ b/samples/fitch/languages/samples.fitch/models/editor.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/migration.mps b/samples/fitch/languages/samples.fitch/models/migration.mps index bdf7a0c9..5a1da37b 100644 --- a/samples/fitch/languages/samples.fitch/models/migration.mps +++ b/samples/fitch/languages/samples.fitch/models/migration.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/structure.mps b/samples/fitch/languages/samples.fitch/models/structure.mps index 4995a78a..e4ece676 100644 --- a/samples/fitch/languages/samples.fitch/models/structure.mps +++ b/samples/fitch/languages/samples.fitch/models/structure.mps @@ -2,7 +2,7 @@ - + @@ -59,9 +59,9 @@ - + - + @@ -75,9 +75,8 @@ - - + @@ -87,9 +86,9 @@ - + - + @@ -115,9 +114,9 @@ - + - + @@ -173,9 +172,9 @@ - + - + @@ -213,15 +212,15 @@ - + - + - + diff --git a/samples/fitch/languages/samples.fitch/models/types.mps b/samples/fitch/languages/samples.fitch/models/types.mps index 33be87c7..d5709595 100644 --- a/samples/fitch/languages/samples.fitch/models/types.mps +++ b/samples/fitch/languages/samples.fitch/models/types.mps @@ -321,7 +321,7 @@ - + @@ -447,7 +447,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/typesystem.mps b/samples/fitch/languages/samples.fitch/models/typesystem.mps index 136df543..f9b92258 100644 --- a/samples/fitch/languages/samples.fitch/models/typesystem.mps +++ b/samples/fitch/languages/samples.fitch/models/typesystem.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/samples.fitch.mpl b/samples/fitch/languages/samples.fitch/samples.fitch.mpl index 4fd5c0d2..918e510e 100644 --- a/samples/fitch/languages/samples.fitch/samples.fitch.mpl +++ b/samples/fitch/languages/samples.fitch/samples.fitch.mpl @@ -21,14 +21,14 @@ - - - + + + - + - + @@ -65,36 +65,36 @@ - + - - + + - + - - - - + + + + - - + + - + - + - + @@ -109,6 +109,7 @@ + @@ -117,6 +118,7 @@ + diff --git a/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps b/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps index c8a89d2b..4694fd45 100644 --- a/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps +++ b/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps @@ -308,7 +308,7 @@ - + diff --git a/samples/fitch/solutions/samples.fitch.build/samples.fitch.build.msd b/samples/fitch/solutions/samples.fitch.build/samples.fitch.build.msd index 5a6c4580..2b81a4fe 100644 --- a/samples/fitch/solutions/samples.fitch.build/samples.fitch.build.msd +++ b/samples/fitch/solutions/samples.fitch.build/samples.fitch.build.msd @@ -19,7 +19,7 @@ - + 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 675bdcb4..530e9aa5 100644 --- a/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps +++ b/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps @@ -2,9 +2,9 @@ - + - + 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 910e17a4..cc7046f7 100644 --- a/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps +++ b/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps @@ -2,9 +2,9 @@ - + - + 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 03c0fb8b..d836c7a4 100644 --- a/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps +++ b/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps @@ -2,9 +2,9 @@ - + - + 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 a832380b..0fc326d5 100644 --- a/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd +++ b/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd @@ -20,10 +20,10 @@ - + - - + + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps index 3605c6ee..dc8e8261 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps index 36362c91..fab183ae 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps @@ -2,7 +2,7 @@ - + @@ -111,7 +111,6 @@ - @@ -564,7 +563,7 @@ - + @@ -667,7 +666,7 @@ - + @@ -920,7 +919,6 @@ - diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps index 6e28bf6c..0fce40d7 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps @@ -80,16 +80,16 @@ - + - + - + - + @@ -108,16 +108,16 @@ - + - + - + - + @@ -128,9 +128,9 @@ - + - + @@ -142,16 +142,15 @@ - + - - + - + @@ -162,16 +161,16 @@ - + - + - + - + @@ -190,9 +189,9 @@ - + - + @@ -207,9 +206,9 @@ - + - + @@ -224,9 +223,9 @@ - + - + @@ -245,16 +244,16 @@ - + - + - + - + @@ -294,9 +293,8 @@ - - + @@ -312,23 +310,23 @@ - + - + - + - + - + - + @@ -347,23 +345,23 @@ - + - + - + - + - + - + @@ -378,9 +376,9 @@ - + - + @@ -395,9 +393,9 @@ - + - + @@ -410,9 +408,9 @@ - + - + @@ -423,9 +421,8 @@ - - + @@ -437,16 +434,16 @@ - + - + - + - + @@ -458,16 +455,16 @@ - + - + - + - + @@ -482,16 +479,16 @@ - + - + - + - + @@ -504,9 +501,9 @@ - + - + @@ -521,23 +518,22 @@ - + - + - + - + - - + @@ -550,16 +546,15 @@ - - + - + - + @@ -571,16 +566,14 @@ - - + - - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index ebf1f186..6822d8d4 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -3,7 +3,7 @@ - + @@ -190,6 +190,9 @@ + + + @@ -3612,7 +3615,7 @@ - + @@ -3818,7 +3821,7 @@ - + @@ -5488,6 +5491,7 @@ + @@ -5618,6 +5622,7 @@ + @@ -6709,6 +6714,7 @@ + @@ -6720,6 +6726,7 @@ + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl index 14a21357..745a4bc7 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl +++ b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl @@ -32,32 +32,32 @@ - + - - + + - + - - - + + + - - + + - + - + - + diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps b/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps index 7afbf4dd..e2c62f77 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps +++ b/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps @@ -175,7 +175,7 @@ - + diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.build/samples.lambdacalc.build.msd b/samples/lambdacalc/solutions/samples.lambdacalc.build/samples.lambdacalc.build.msd index 32d0b038..4873e4ec 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.build/samples.lambdacalc.build.msd +++ b/samples/lambdacalc/solutions/samples.lambdacalc.build/samples.lambdacalc.build.msd @@ -19,7 +19,7 @@ - + diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps index cc1d50b9..d727d33a 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 @@ -2,9 +2,9 @@ - + - + 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 807faea1..20301771 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd @@ -17,10 +17,10 @@ - + - - + + 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 788b36b0..5aca8fa0 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl @@ -29,22 +29,22 @@ - + - + - + - - + + - + - + - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps index 9e85ae7a..bf24aa8c 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps @@ -627,7 +627,7 @@ - + @@ -750,7 +750,7 @@ - + @@ -822,7 +822,7 @@ - + @@ -974,7 +974,7 @@ - + @@ -1112,7 +1112,7 @@ - + @@ -1231,7 +1231,7 @@ - + @@ -1283,7 +1283,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.editor.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.editor.mps index 4e1d2b98..055a85f9 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.editor.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.editor.mps @@ -2,7 +2,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 6604cd5a..b3aa3c60 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,14 +7,14 @@ - + - - + + - + @@ -342,6 +342,9 @@ + + + @@ -2610,7 +2613,7 @@ - + @@ -5540,7 +5543,7 @@ - + @@ -6024,7 +6027,7 @@ - + @@ -9171,7 +9174,7 @@ - + @@ -9412,7 +9415,7 @@ - + @@ -16070,7 +16073,7 @@ - + @@ -19498,7 +19501,7 @@ - + @@ -19560,7 +19563,7 @@ - + @@ -19622,7 +19625,7 @@ - + @@ -19684,7 +19687,7 @@ - + @@ -21693,6 +21696,7 @@ + @@ -21748,6 +21752,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 b4d10125..e6dba203 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 @@ -22,10 +22,10 @@ - + - - + + 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 1629a8f5..0d316e78 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 @@ -2,12 +2,12 @@ - + - + diff --git a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps index 24b11dc6..8ea4c062 100644 --- a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps +++ b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps @@ -258,7 +258,7 @@ - + @@ -310,7 +310,7 @@ - + diff --git a/samples/mpscore/solutions/samples.mpscore.build/samples.mpscore.build.msd b/samples/mpscore/solutions/samples.mpscore.build/samples.mpscore.build.msd index 74af164b..f694015e 100644 --- a/samples/mpscore/solutions/samples.mpscore.build/samples.mpscore.build.msd +++ b/samples/mpscore/solutions/samples.mpscore.build/samples.mpscore.build.msd @@ -19,7 +19,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 b167a216..458ed22a 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 @@ -2,10 +2,10 @@ - + - + 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 909a10ba..de68049b 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps @@ -2,10 +2,10 @@ - + - + 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 2f6cbd81..342ec56b 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps @@ -2,13 +2,13 @@ - + - + @@ -279,7 +279,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 4b9154d8..6c59ed97 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps @@ -2,9 +2,9 @@ - + - + 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 4649b6fb..b572ba93 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps @@ -2,9 +2,9 @@ - + - + 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 6830f991..5585a50f 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps @@ -2,9 +2,9 @@ - + - + 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 06892f2c..b80157b6 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps @@ -2,9 +2,9 @@ - + - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.incrementalBL@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.incrementalBL@tests.mps index 972965fc..f7ac9bd5 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.incrementalBL@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.incrementalBL@tests.mps @@ -2,14 +2,14 @@ - + - + - + 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 18cb0f88..7a1fde2e 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd @@ -16,7 +16,7 @@ bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) - + @@ -25,13 +25,13 @@ - - + + - - - + + +