From 391c9053b5dc7b0641d0ef8a6a3dfb5193da3292 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 3 Feb 2020 11:24:22 +0100 Subject: [PATCH] Apply migrations after switch to MPS 193. Regenerate project. --- .mps/migration.xml | 1 + build.xml | 1112 ++++++++++++----- .../generator/template/main@generator.mps | 4 +- .../jetbrains.mps.lang.coderules.mpl | 23 +- .../languageModels/constraints.mps | 2 +- .../languageModels/typesystem.mps | 22 +- .../jetbrains.mps.lang.coderules.runtime.msd | 5 + .../jetbrains.mps.lang.controlflow.mpl | 21 +- .../models/constraints.mps | 2 +- .../models/typesystem.mps | 2 +- .../jetbrains.mps.lang.typechecking.mpl | 21 +- .../models/constraints.mps | 2 +- .../models/typesystem.mps | 4 +- .../generator/template/main@generator.mps | 2 +- .../jetbrains.mps.logic.mpl | 21 +- .../languageModels/constraints.mps | 2 +- .../languageModels/typesystem.mps | 4 +- .../runtime/jetbrains.mps.logic.runtime.msd | 7 +- .../jetbrains.mps.typechecking.annotation.mpl | 13 +- .../languageModels/intentions.mps | 2 +- .../jetbrains.mps.typechecking.testlang.mpl | 19 +- .../models/constraints.mps | 2 +- .../models/typesystem.mps | 2 +- .../jetbrains.mps.coderules.build.msd | 5 + .../jetbrains.mps.coderules.test.msd | 3 + ...brains.mps.coderules.typechecking.test.msd | 6 +- ...rains.mps.coderules.typechecking@tests.mps | 2 +- ...oderules.typechecking.testlang.sandbox.msd | 5 + ...etbrains.mps.coderules.typechecking.ui.msd | 5 + .../jetbrains.mps.coderules.typechecking.msd | 6 + .../jetbrains.mps.coderules.ui.msd | 5 + .../jetbrains.mps.coderules.msd | 5 + .../jetbrains.mps.controlflow.ui.msd | 5 + .../jetbrains.mps.controlflow.msd | 5 + .../jetbrains.mps.lang.coderules.template.msd | 5 + ...jetbrains.mps.lang.controlflow.runtime.msd | 5 + ...etbrains.mps.lang.typechecking.runtime.msd | 5 + .../jetbrains.mps.logic.reactor.msd | 6 + .../jetbrains.mps.logic.test.msd | 5 +- samples/fitch/build.xml | 429 +++++-- .../models/constraints.mps | 2 +- .../models/typesystem.mps | 2 +- .../samples.fitch.firstOrderLogic.mpl | 20 +- .../models/constraints.mps | 2 +- .../models/typesystem.mps | 2 +- .../samples.fitch.herbrandLogic.mpl | 20 +- .../models/constraints.mps | 2 +- .../models/typesystem.mps | 2 +- .../samples.fitch.propositionalLogic.mpl | 20 +- .../samples.fitch/models/constraints.mps | 2 +- .../samples.fitch/models/typesystem.mps | 2 +- .../languages/samples.fitch/samples.fitch.mpl | 20 +- .../samples.fitch.build.msd | 5 + .../samples.fitch.demo/samples.fitch.demo.msd | 3 + samples/lambdacalc/build.xml | 134 +- .../samples.lambdacalc/samples.lambdacalc.mpl | 12 +- .../samples.lambdacalc.build.msd | 5 + .../samples.lambdacalc.demo.msd | 3 + samples/mpscore/build.xml | 216 +++- .../jetbrains.mps.baseLanguage.javadocExt.mpl | 13 +- ...ps.baseLanguage.javadocExt.constraints.mps | 2 +- ...mps.baseLanguage.javadocExt.typesystem.mps | 2 +- .../jetbrains.mps.baseLanguageExt.mpl | 13 +- .../jetbrains.mps.baseLanguageExt.types.mps | 4 +- .../jetbrains.mps.baseLanguageExt.test.msd | 6 +- ...baseLanguageExt.test.incremental@tests.mps | 2 +- ...s.mps.baseLanguageExt.test.types@tests.mps | 2 +- .../samples.mpscore.build.msd | 5 + .../typechecking.samples.baseLanguage.msd | 6 +- 69 files changed, 1681 insertions(+), 650 deletions(-) diff --git a/.mps/migration.xml b/.mps/migration.xml index 25045b7d..0d85883b 100644 --- a/.mps/migration.xml +++ b/.mps/migration.xml @@ -15,6 +15,7 @@ + diff --git a/build.xml b/build.xml index 6f350e3a..705761d4 100644 --- a/build.xml +++ b/build.xml @@ -60,7 +60,7 @@ - + @@ -84,6 +84,7 @@ + @@ -93,6 +94,11 @@ + + + + + @@ -113,9 +119,12 @@ + + + @@ -124,22 +133,37 @@ + + + + + + + + + + + + + + + @@ -207,13 +231,14 @@ + - - - - + + + + @@ -229,8 +254,8 @@ - + @@ -245,15 +270,13 @@ - + - - - + @@ -302,7 +325,7 @@ - + @@ -366,7 +389,7 @@ - + @@ -390,6 +413,7 @@ + @@ -399,6 +423,11 @@ + + + + + @@ -427,6 +456,7 @@ + @@ -440,22 +470,37 @@ + + + + + + + + + + + + + + + @@ -531,13 +576,14 @@ + - - - - + + + + @@ -553,8 +599,8 @@ - + @@ -609,7 +655,7 @@ - + @@ -670,7 +716,7 @@ - + @@ -737,7 +783,7 @@ - + @@ -803,7 +849,7 @@ - + @@ -871,7 +917,7 @@ - + @@ -892,15 +938,24 @@ + + + + + + + + + @@ -915,21 +970,42 @@ + + + + + + + + + + + + + + + + + + + + + @@ -1003,13 +1079,14 @@ + - - - - + + + + @@ -1025,8 +1102,8 @@ - + @@ -1063,7 +1140,7 @@ - + @@ -1136,7 +1213,7 @@ - + @@ -1210,7 +1287,7 @@ - + @@ -1231,8 +1308,10 @@ + + @@ -1243,6 +1322,13 @@ + + + + + + + @@ -1255,9 +1341,12 @@ + + + @@ -1266,20 +1355,35 @@ + + + + + + + + + + + + + + + @@ -1340,13 +1444,14 @@ + - - - - + + + + @@ -1362,8 +1467,8 @@ - + @@ -1385,7 +1490,7 @@ - + @@ -1468,7 +1573,7 @@ - + @@ -1489,17 +1594,27 @@ + + + + + + + + + + @@ -1509,23 +1624,44 @@ + + + + + + + + + + + + + + + + + + + + + @@ -1545,7 +1681,7 @@ - + @@ -1597,7 +1733,7 @@ - + @@ -1659,7 +1795,7 @@ - + @@ -1680,15 +1816,24 @@ + + + + + + + + + @@ -1699,21 +1844,42 @@ + + + + + + + + + + + + + + + + + + + + + @@ -1781,13 +1947,14 @@ + - - - - + + + + @@ -1803,8 +1970,8 @@ - + @@ -1843,7 +2010,7 @@ - + @@ -1864,17 +2031,27 @@ + + + + + + + + + + @@ -1884,23 +2061,44 @@ + + + + + + + + + + + + + + + + + + + + + @@ -1920,7 +2118,7 @@ - + @@ -1988,7 +2186,7 @@ - + @@ -2012,6 +2210,7 @@ + @@ -2021,6 +2220,11 @@ + + + + + @@ -2041,9 +2245,12 @@ + + + @@ -2052,22 +2259,37 @@ + + + + + + + + + + + + + + + @@ -2135,13 +2357,14 @@ + - - - - + + + + @@ -2157,8 +2380,8 @@ - + @@ -2173,15 +2396,13 @@ - + - - - + @@ -2230,7 +2451,7 @@ - + @@ -2254,6 +2475,7 @@ + @@ -2263,6 +2485,11 @@ + + + + + @@ -2291,6 +2518,7 @@ + @@ -2304,22 +2532,37 @@ + + + + + + + + + + + + + + + @@ -2395,13 +2638,14 @@ + - - - - + + + + @@ -2417,8 +2661,8 @@ - + @@ -2473,7 +2717,7 @@ - + @@ -2534,7 +2778,7 @@ - + @@ -2601,7 +2845,7 @@ - + @@ -2667,7 +2911,7 @@ - + @@ -2688,15 +2932,24 @@ + + + + + + + + + @@ -2711,21 +2964,42 @@ + + + + + + + + + + + + + + + + + + + + + @@ -2799,13 +3073,14 @@ + - - - - + + + + @@ -2821,8 +3096,8 @@ - + @@ -2859,7 +3134,7 @@ - + @@ -2932,7 +3207,7 @@ - + @@ -3006,7 +3281,7 @@ - + @@ -3027,15 +3302,24 @@ + + + + + + + + + @@ -3050,21 +3334,42 @@ + + + + + + + + + + + + + + + + + + + + + @@ -3138,13 +3443,14 @@ + - - - - + + + + @@ -3160,8 +3466,8 @@ - + @@ -3198,7 +3504,7 @@ - + @@ -3219,17 +3525,27 @@ + + + + + + + + + + @@ -3239,23 +3555,44 @@ + + + + + + + + + + + + + + + + + + + + + @@ -3275,7 +3612,7 @@ - + @@ -3327,7 +3664,7 @@ - + @@ -3389,7 +3726,7 @@ - + @@ -3410,15 +3747,24 @@ + + + + + + + + + @@ -3429,21 +3775,42 @@ + + + + + + + + + + + + + + + + + + + + + @@ -3511,13 +3878,14 @@ + - - - - + + + + @@ -3533,8 +3901,8 @@ - + @@ -3573,7 +3941,7 @@ - + @@ -3645,6 +4013,8 @@ + + @@ -3663,17 +4033,29 @@ + + + + + + + + + + + + @@ -3682,6 +4064,8 @@ + + @@ -3704,13 +4088,18 @@ - + + + + + + @@ -3812,21 +4201,19 @@ - - - - - - + + + + + + + - - - @@ -3855,27 +4242,29 @@ - - - - - - + + + + + + + - - - + + + + @@ -3889,6 +4278,7 @@ + @@ -3914,26 +4304,28 @@ - - - - - - + + + + + + + - - - + + + + @@ -3971,21 +4363,19 @@ - - - - - - + + + + + + + - - - @@ -4018,21 +4408,19 @@ - - - - - - + + + + + + + - - - @@ -4060,22 +4448,20 @@ - - - - - - + + + + + + + - - - @@ -4088,6 +4474,10 @@ + + + + @@ -4100,12 +4490,13 @@ - + + @@ -4137,22 +4528,20 @@ - - - - - - + + + + + + + - - - @@ -4165,6 +4554,10 @@ + + + + @@ -4179,8 +4572,8 @@ - + @@ -4196,6 +4589,7 @@ + @@ -4213,22 +4607,20 @@ - - - - - - + + + + + + + - - - @@ -4244,6 +4636,10 @@ + + + + @@ -4253,8 +4649,8 @@ - + @@ -4285,22 +4681,20 @@ - - - - - - + + + + + + + - - - @@ -4324,8 +4718,8 @@ - + @@ -4348,21 +4742,19 @@ - - - - - - + + + + + + + - - - @@ -4370,7 +4762,11 @@ + + + + @@ -4384,6 +4780,7 @@ + @@ -4395,6 +4792,7 @@ + @@ -4412,22 +4810,20 @@ - - - - - - + + + + + + + - - - @@ -4444,22 +4840,28 @@ + + + + - + + + @@ -4474,22 +4876,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -4499,8 +4903,8 @@ - + @@ -4534,22 +4938,20 @@ - - - - - - + + + + + + + - - - @@ -4563,6 +4965,10 @@ + + + + @@ -4583,8 +4989,8 @@ - + @@ -4599,6 +5005,7 @@ + @@ -4620,21 +5027,19 @@ - - - - - - + + + + + + + - - - @@ -4662,22 +5067,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -4694,12 +5101,13 @@ - + + @@ -4731,22 +5139,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -4766,8 +5176,8 @@ - + @@ -4783,6 +5193,7 @@ + @@ -4800,22 +5211,20 @@ - - - - - - + + + + + + + - - - @@ -4836,8 +5245,8 @@ - + @@ -4856,22 +5265,20 @@ - - - - - - + + + + + + + - - - @@ -4895,8 +5302,8 @@ - + @@ -4917,27 +5324,29 @@ - - - - - - + + + + + + + - - - + + + + @@ -4953,6 +5362,7 @@ + @@ -4982,22 +5392,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -5014,8 +5426,8 @@ - + @@ -5028,6 +5440,7 @@ + @@ -5046,21 +5459,19 @@ - - - - - - + + + + + + + - - - @@ -5091,21 +5502,19 @@ - - - - - - + + + + + + + - - - @@ -5136,21 +5545,19 @@ - - - - - - + + + + + + + - - - @@ -5182,21 +5589,19 @@ - - - - - - + + + + + + + - - - @@ -5239,22 +5644,20 @@ - - - - - - + + + + + + + - - - @@ -5275,8 +5678,8 @@ - + @@ -5299,22 +5702,20 @@ - - - - - - + + + + + + + - - - @@ -5341,8 +5742,8 @@ - + @@ -5386,6 +5787,8 @@ + + @@ -5404,16 +5807,29 @@ + + + + + + + + + + + + + @@ -5422,9 +5838,12 @@ + + + @@ -5443,13 +5862,18 @@ - + + + + + + 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 f94fbe06..7ccf0f25 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 @@ -6,7 +6,7 @@ - + @@ -14,7 +14,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 6fc98a5d..6243bdfd 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 @@ -5,6 +5,11 @@ + + + + + @@ -13,6 +18,11 @@ + + + + + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) @@ -37,13 +47,13 @@ - + - + @@ -65,6 +75,7 @@ + @@ -113,7 +124,7 @@ - + @@ -133,10 +144,11 @@ - + + @@ -145,7 +157,7 @@ - + @@ -175,6 +187,7 @@ + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps index da67ea85..9b4deba1 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps @@ -5,7 +5,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps index 3e38b62b..8020b7e7 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps @@ -147,9 +147,6 @@ - - - @@ -158,6 +155,9 @@ + + + @@ -621,7 +621,7 @@ - + @@ -870,7 +870,7 @@ - + @@ -884,7 +884,7 @@ - + @@ -946,7 +946,7 @@ - + @@ -1025,7 +1025,7 @@ - + @@ -1081,12 +1081,12 @@ - - - + + + 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 0f0ba094..3b67feb7 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 @@ -5,6 +5,11 @@ + + + + + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 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 390ca1a1..3764068f 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 @@ -5,6 +5,11 @@ + + + + + @@ -13,6 +18,11 @@ + + + + + @@ -34,7 +44,7 @@ - + @@ -68,6 +78,7 @@ + @@ -109,7 +120,7 @@ - + @@ -123,15 +134,16 @@ - + + - + @@ -154,6 +166,7 @@ + diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/models/constraints.mps b/coderules/languages/jetbrains.mps.lang.controlflow/models/constraints.mps index 983a9eaf..f48e5a5c 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/typesystem.mps b/coderules/languages/jetbrains.mps.lang.controlflow/models/typesystem.mps index 336fcd1c..fdb1d921 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.typechecking/jetbrains.mps.lang.typechecking.mpl b/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl index b76a1b29..cb1210ca 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 @@ -5,6 +5,11 @@ + + + + + @@ -13,6 +18,11 @@ + + + + + @@ -40,7 +50,7 @@ - + @@ -73,6 +83,7 @@ + @@ -116,7 +127,7 @@ - + @@ -130,15 +141,16 @@ - + + - + @@ -160,6 +172,7 @@ + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps index 2e76f668..2bb8cca8 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/typesystem.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps index 3f7b4401..671c0c61 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps @@ -2,9 +2,9 @@ - + - + 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 cb1f686b..1fe59662 100644 --- a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps @@ -4,7 +4,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl index da330e1a..f505cf86 100644 --- a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl +++ b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl @@ -5,6 +5,11 @@ + + + + + @@ -13,6 +18,11 @@ + + + + + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) @@ -33,12 +43,12 @@ - + - + @@ -103,7 +113,7 @@ - + @@ -123,10 +133,11 @@ - + + @@ -135,7 +146,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps index 85aa975f..44a6f787 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps @@ -3,7 +3,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps index 0ff95758..c37fc8e9 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps @@ -2,9 +2,9 @@ - + - + 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 801a3bcf..7c638e95 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 @@ -5,6 +5,11 @@ + + + + + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) @@ -23,7 +28,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 df017b91..0cfd64c8 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 @@ -5,6 +5,11 @@ + + + + + @@ -25,7 +30,7 @@ - + @@ -39,16 +44,17 @@ - + + - + @@ -68,6 +74,7 @@ + diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps index fceaba32..2939407e 100644 --- a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps +++ b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps @@ -3,7 +3,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 da87af83..b65c93bf 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 @@ -5,6 +5,11 @@ + + + + + @@ -13,6 +18,11 @@ + + + + + @@ -26,7 +36,7 @@ - + @@ -67,7 +77,7 @@ - + @@ -85,10 +95,11 @@ - + + @@ -97,7 +108,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps index 9f09e8cb..dd279fc6 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/typesystem.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/typesystem.mps index 8f729c1f..76a60010 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 5c3388c8..c81aa54d 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 @@ -5,6 +5,11 @@ + + + + + 422c2909-59d6-41a9-b318-40e6256b250f(jetbrains.mps.ide.build) 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 f8b6841d..b387c94f 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 @@ -7,6 +7,9 @@ + + + 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 475d5f8c..c48949d2 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 @@ -7,6 +7,9 @@ + + + @@ -40,7 +43,7 @@ - + @@ -71,6 +74,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 243bdab8..10792a68 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 @@ -7,7 +7,7 @@ - + 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 164bf682..b26c8231 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 @@ -5,6 +5,11 @@ + + + + + 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 34ab05be..02dbb5da 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 @@ -5,6 +5,11 @@ + + + + + 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) 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 4ff0b23d..9c09eaf5 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 @@ -5,6 +5,11 @@ + + + + + 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) @@ -64,6 +69,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 81963635..f3db85a9 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 @@ -5,6 +5,11 @@ + + + + + 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) diff --git a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd index cbc7633e..b64d0675 100644 --- a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd +++ b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd @@ -10,6 +10,11 @@ + + + + + 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 f80a3d31..975b3c1c 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 @@ -5,6 +5,11 @@ + + + + + 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) diff --git a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd index 62fb8758..3c83742b 100644 --- a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd +++ b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd @@ -5,6 +5,11 @@ + + + + + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 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 808dcd94..19a57355 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 @@ -5,6 +5,11 @@ + + + + + 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) 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 a249cd7b..9cbf2795 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 @@ -5,6 +5,11 @@ + + + + + ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) 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 0461eb78..2b7986c4 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 @@ -5,6 +5,11 @@ + + + + + 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 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 959588f3..bf57b212 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 @@ -6,6 +6,11 @@ + + + + + @@ -19,6 +24,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 66e2a75f..33c4384d 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 @@ -10,6 +10,9 @@ + + + @@ -32,7 +35,7 @@ - + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 69d59409..cd43f7d0 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -46,6 +46,7 @@ + @@ -56,8 +57,14 @@ + + + + + + @@ -72,9 +79,12 @@ + + + @@ -83,23 +93,38 @@ + + + + + + + + + + + + + + + @@ -160,13 +185,14 @@ + - - - - + + + + @@ -182,8 +208,8 @@ - + @@ -194,8 +220,10 @@ + + @@ -205,6 +233,13 @@ + + + + + + + @@ -217,9 +252,12 @@ + + + @@ -227,20 +265,35 @@ + + + + + + + + + + + + + + + @@ -301,13 +354,14 @@ + - - - - + + + + @@ -323,8 +377,8 @@ - + @@ -335,8 +389,10 @@ + + @@ -347,6 +403,13 @@ + + + + + + + @@ -360,9 +423,12 @@ + + + @@ -371,20 +437,35 @@ + + + + + + + + + + + + + + + @@ -445,13 +526,14 @@ + - - - - + + + + @@ -467,8 +549,8 @@ - + @@ -479,8 +561,10 @@ + + @@ -491,6 +575,13 @@ + + + + + + + @@ -503,9 +594,12 @@ + + + @@ -514,20 +608,35 @@ + + + + + + + + + + + + + + + @@ -588,13 +697,14 @@ + - - - - + + + + @@ -610,8 +720,8 @@ - + @@ -659,7 +769,7 @@ - + @@ -706,6 +816,7 @@ + @@ -724,6 +835,8 @@ + + @@ -740,17 +853,29 @@ + + + + + + + + + + + + @@ -759,9 +884,12 @@ + + + @@ -778,13 +906,18 @@ - + + + + + + @@ -850,22 +983,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -874,12 +1009,13 @@ - + + @@ -896,6 +1032,7 @@ + @@ -923,22 +1060,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -948,8 +1087,8 @@ - + @@ -970,22 +1109,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -995,12 +1136,13 @@ - + + @@ -1017,6 +1159,7 @@ + @@ -1044,22 +1187,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -1070,8 +1215,8 @@ - + @@ -1092,22 +1237,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -1118,12 +1265,13 @@ - + + @@ -1140,6 +1288,7 @@ + @@ -1167,22 +1316,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -1194,8 +1345,8 @@ - + @@ -1216,22 +1367,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -1243,12 +1396,13 @@ - + + @@ -1263,6 +1417,7 @@ + @@ -1290,22 +1445,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -1318,8 +1475,8 @@ - + @@ -1341,22 +1498,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -1373,8 +1532,8 @@ - + @@ -1420,6 +1579,7 @@ + @@ -1437,6 +1597,8 @@ + + @@ -1448,18 +1610,32 @@ + + + + + + + + + + + + + + @@ -1468,15 +1644,19 @@ + + + + @@ -1486,13 +1666,18 @@ - + + + + + + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/constraints.mps index 786339b7..dd861e35 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/typesystem.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/typesystem.mps index 7b348b1d..9a53f81a 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 202c9c87..1a5da49c 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl @@ -5,6 +5,11 @@ + + + + + @@ -13,6 +18,11 @@ + + + + + @@ -26,7 +36,7 @@ - + @@ -69,7 +79,7 @@ - + @@ -87,10 +97,11 @@ - + + @@ -99,7 +110,7 @@ - + @@ -123,6 +134,7 @@ + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps index 9ff50deb..241dc710 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/typesystem.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/typesystem.mps index c4ab0fe4..43091f05 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 6e0385e6..ea69bc4c 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl @@ -5,6 +5,11 @@ + + + + + @@ -13,6 +18,11 @@ + + + + + @@ -26,7 +36,7 @@ - + @@ -70,7 +80,7 @@ - + @@ -88,10 +98,11 @@ - + + @@ -100,7 +111,7 @@ - + @@ -125,6 +136,7 @@ + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps index fc9f3bcd..a60b61a4 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/typesystem.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/typesystem.mps index dd2f72e8..15c09bed 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 126c515e..419cf7db 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl @@ -5,6 +5,11 @@ + + + + + @@ -13,6 +18,11 @@ + + + + + @@ -26,7 +36,7 @@ - + @@ -68,7 +78,7 @@ - + @@ -86,10 +96,11 @@ - + + @@ -98,7 +109,7 @@ - + @@ -123,6 +134,7 @@ + diff --git a/samples/fitch/languages/samples.fitch/models/constraints.mps b/samples/fitch/languages/samples.fitch/models/constraints.mps index 23bbdaaf..e460f92f 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/typesystem.mps b/samples/fitch/languages/samples.fitch/models/typesystem.mps index f9b92258..466425c5 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 837e15f5..0ec80000 100644 --- a/samples/fitch/languages/samples.fitch/samples.fitch.mpl +++ b/samples/fitch/languages/samples.fitch/samples.fitch.mpl @@ -5,6 +5,11 @@ + + + + + @@ -13,6 +18,11 @@ + + + + + @@ -26,7 +36,7 @@ - + @@ -68,7 +78,7 @@ - + @@ -89,10 +99,11 @@ - + + @@ -102,7 +113,7 @@ - + @@ -126,6 +137,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 2b81a4fe..72aacd82 100644 --- a/samples/fitch/solutions/samples.fitch.build/samples.fitch.build.msd +++ b/samples/fitch/solutions/samples.fitch.build/samples.fitch.build.msd @@ -5,6 +5,11 @@ + + + + + 422c2909-59d6-41a9-b318-40e6256b250f(jetbrains.mps.ide.build) 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 d561d58b..14a9774c 100644 --- a/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd +++ b/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd @@ -7,6 +7,9 @@ + + + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index d9d6498d..cb11af38 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -43,8 +43,10 @@ + + @@ -55,6 +57,13 @@ + + + + + + + @@ -73,9 +82,11 @@ + + @@ -84,20 +95,35 @@ + + + + + + + + + + + + + + + @@ -120,7 +146,7 @@ - + @@ -174,7 +200,7 @@ - + @@ -239,6 +265,7 @@ + @@ -249,6 +276,8 @@ + + @@ -264,16 +293,28 @@ + + + + + + + + + + + + @@ -282,9 +323,12 @@ + + + @@ -301,18 +345,25 @@ + + + + + + + @@ -355,22 +406,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -379,12 +432,13 @@ - + + @@ -393,6 +447,7 @@ + @@ -416,22 +471,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -445,8 +502,8 @@ - + @@ -499,6 +556,7 @@ + @@ -509,6 +567,8 @@ + + @@ -520,18 +580,32 @@ + + + + + + + + + + + + + + @@ -540,15 +614,19 @@ + + + + @@ -557,18 +635,26 @@ + + + + + + + + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl index 6240d7f3..0e940fce 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl +++ b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl @@ -5,6 +5,11 @@ + + + + + @@ -34,7 +39,7 @@ - + @@ -52,10 +57,11 @@ - + + @@ -64,7 +70,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 4873e4ec..a604ca63 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.build/samples.lambdacalc.build.msd +++ b/samples/lambdacalc/solutions/samples.lambdacalc.build/samples.lambdacalc.build.msd @@ -5,6 +5,11 @@ + + + + + 422c2909-59d6-41a9-b318-40e6256b250f(jetbrains.mps.ide.build) 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 167da163..738163ea 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd @@ -7,6 +7,9 @@ + + + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 6e5a5d71..3f33de63 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -43,16 +43,26 @@ + + + + + + + + + + @@ -68,22 +78,42 @@ + + + + + + + + + + + + + + + + + + + + @@ -102,7 +132,7 @@ - + @@ -123,18 +153,25 @@ + + + + + + + @@ -150,28 +187,43 @@ + + + + + + + + + + + + + + + @@ -190,7 +242,7 @@ - + @@ -265,7 +317,7 @@ - + @@ -331,7 +383,7 @@ - + @@ -395,6 +447,7 @@ + @@ -402,6 +455,7 @@ + @@ -412,6 +466,8 @@ + + @@ -432,6 +488,7 @@ + @@ -439,6 +496,7 @@ + @@ -456,9 +514,11 @@ + + @@ -475,6 +535,7 @@ + @@ -483,7 +544,7 @@ - + @@ -492,6 +553,7 @@ + @@ -537,22 +599,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -561,12 +625,13 @@ - + + @@ -583,6 +648,7 @@ + @@ -610,22 +676,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -634,14 +702,13 @@ - - - + + @@ -657,6 +724,7 @@ + @@ -686,22 +754,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -714,8 +784,8 @@ - + @@ -735,6 +805,7 @@ + @@ -755,7 +826,6 @@ - @@ -773,22 +843,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -802,8 +874,8 @@ - + @@ -823,6 +895,7 @@ + @@ -857,22 +930,24 @@ - - - - - - - - - - + + + + + + + + + + + + @@ -886,8 +961,8 @@ - + @@ -952,12 +1027,14 @@ + + @@ -968,6 +1045,8 @@ + + @@ -977,6 +1056,7 @@ + @@ -987,6 +1067,7 @@ + @@ -994,6 +1075,7 @@ + @@ -1011,15 +1093,18 @@ + + + @@ -1028,6 +1113,8 @@ + + @@ -1036,7 +1123,7 @@ - + @@ -1045,6 +1132,7 @@ + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl index b06dd3f1..2347f1d2 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl @@ -5,6 +5,11 @@ + + + + + @@ -29,7 +34,7 @@ - + @@ -42,16 +47,17 @@ - + + - + @@ -78,6 +84,7 @@ + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.constraints.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.constraints.mps index c9036b96..65bbb00f 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.constraints.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.constraints.mps @@ -7,7 +7,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.typesystem.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.typesystem.mps index 5f46369d..a80964b0 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.typesystem.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.typesystem.mps @@ -2,7 +2,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 3c238f17..914b16ba 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl @@ -5,6 +5,11 @@ + + + + + @@ -29,7 +34,7 @@ - + @@ -43,16 +48,17 @@ - + + - + @@ -79,6 +85,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 80357dbb..e46bca94 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,12 +7,12 @@ - + - + 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 42784f91..9837f3f0 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 @@ -7,6 +7,9 @@ + + + @@ -36,7 +39,7 @@ - + @@ -66,6 +69,7 @@ + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps index 8cda4644..42d9a862 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps @@ -9,7 +9,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 73900025..c358823d 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 @@ -11,7 +11,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 f694015e..2fcedd50 100644 --- a/samples/mpscore/solutions/samples.mpscore.build/samples.mpscore.build.msd +++ b/samples/mpscore/solutions/samples.mpscore.build/samples.mpscore.build.msd @@ -5,6 +5,11 @@ + + + + + bc9cd1e7-827b-4d61-b111-d2c896dcae6f(jetbrains.mps.coderules.build) 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 9c38ae73..b9f33f1a 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd @@ -7,6 +7,9 @@ + + + @@ -36,7 +39,7 @@ - + @@ -66,6 +69,7 @@ +