diff --git a/.mps/modules.xml b/.mps/modules.xml index 737d9281..d3a26240 100644 --- a/.mps/modules.xml +++ b/.mps/modules.xml @@ -2,12 +2,16 @@ + + + + @@ -15,14 +19,10 @@ - + - - - - \ No newline at end of file diff --git a/build.xml b/build.xml index 70ba9a8c..eb0fe1a5 100644 --- a/build.xml +++ b/build.xml @@ -300,10 +300,10 @@ - - - - + + + + @@ -328,19 +328,19 @@ - + - - - - - + + + + + - - - - + + + + @@ -359,40 +359,40 @@ - + - - - + + + - - + + - - + + - - + + - + - - - + + + - - - - + + + + @@ -410,32 +410,32 @@ - + - - - - - + + + + + - - + + - - + + - - + + - - - - + + + + @@ -452,27 +452,27 @@ - + - - - - - + + + + + - - + + - - + + - - + + @@ -603,10 +603,10 @@ - - - - + + + + @@ -627,26 +627,26 @@ - + - - + + - + - + - + @@ -664,8 +664,8 @@ - - + + @@ -886,8 +886,8 @@ - - + + @@ -916,28 +916,28 @@ - - + + - - + + - + - + - - - + + + @@ -1194,10 +1194,10 @@ - - - - + + + + @@ -1222,19 +1222,19 @@ - + - - - - - + + + + + - - - - + + + + @@ -1253,40 +1253,40 @@ - + - - - + + + - - + + - - + + - - + + - + - - - + + + - - - - + + + + @@ -1304,32 +1304,32 @@ - + - - - - - + + + + + - - + + - - + + - - + + - - - - + + + + @@ -1346,27 +1346,27 @@ - + - - - - - + + + + + - - + + - - + + - - + + @@ -1525,8 +1525,8 @@ - - + + @@ -1555,28 +1555,28 @@ - - + + - - + + - + - + - - - + + + @@ -1597,7 +1597,7 @@ - + @@ -1700,7 +1700,7 @@ - + @@ -1709,9 +1709,9 @@ - - - + + + @@ -1721,9 +1721,9 @@ - + @@ -1838,7 +1838,7 @@ - + @@ -1858,7 +1858,7 @@ - + @@ -1889,7 +1889,7 @@ - + @@ -1915,7 +1915,7 @@ - + @@ -2017,13 +2017,13 @@ - - - - + + + + - + @@ -2043,9 +2043,9 @@ + + - - @@ -2092,13 +2092,13 @@ - - - - + + + + - + @@ -2118,10 +2118,10 @@ + + + - - - @@ -2163,13 +2163,13 @@ - - - - + + + + - + @@ -2183,7 +2183,7 @@ - + @@ -2204,13 +2204,13 @@ - - - - + + + + - + @@ -2243,163 +2243,7 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -2419,8 +2263,8 @@ - - + + @@ -2488,7 +2332,97 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2508,8 +2442,8 @@ - - + + @@ -2591,7 +2525,7 @@ - + @@ -2611,8 +2545,8 @@ - - + + @@ -2660,6 +2594,72 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2721,7 +2721,7 @@ - + @@ -2742,7 +2742,7 @@ - + @@ -2865,9 +2865,9 @@ + + - - @@ -2883,9 +2883,9 @@ - + @@ -2940,7 +2940,7 @@ - + @@ -2948,22 +2948,22 @@ - - - - - + + + + + - + - + \ No newline at end of file diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps similarity index 99% rename from typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps rename to coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps index 38942416..4941b86d 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps @@ -1,5 +1,5 @@ - + @@ -22,17 +22,17 @@ - + - - + + - + @@ -40,18 +40,18 @@ - + - + - + - - + + @@ -14165,7 +14165,7 @@ - + @@ -14179,7 +14179,7 @@ - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl b/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl similarity index 95% rename from typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl rename to coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl index 5dde684a..a43aa03a 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl +++ b/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl @@ -1,5 +1,5 @@ - + @@ -7,7 +7,7 @@ - + @@ -21,8 +21,8 @@ a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) 7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime) - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template) + 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) + ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) a247e09e-2435-45ba-b8d2-07e93feba96a(jetbrains.mps.baseLanguage.tuples) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) df345b11-b8c7-4213-ac66-48d2a9b75d88(jetbrains.mps.baseLanguageInternal) @@ -73,6 +73,10 @@ + + + + @@ -81,10 +85,6 @@ - - - - @@ -100,7 +100,7 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure) - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template) + ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) @@ -176,6 +176,8 @@ + + @@ -184,8 +186,6 @@ - - @@ -193,9 +193,9 @@ - 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime) - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template) da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.typechecking.reporting) + ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) + 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) 35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic) diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.migration b/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.typesystem2.migration similarity index 100% rename from typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.migration rename to coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.typesystem2.migration diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps similarity index 99% rename from typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps rename to coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps index 899c3464..17f63bf0 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps @@ -1,5 +1,5 @@ - + @@ -14,7 +14,7 @@ - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps similarity index 99% rename from typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps rename to coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps index e27959da..67f33c06 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps @@ -1,5 +1,5 @@ - + @@ -11,16 +11,16 @@ - + - - - + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps similarity index 99% rename from typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps rename to coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps index f1b28569..d12b136a 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps @@ -1,5 +1,5 @@ - + @@ -8,12 +8,12 @@ - + - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/findUsages.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/findUsages.mps similarity index 99% rename from typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/findUsages.mps rename to coderules/languages/jetbrains.mps.lang.coderules/languageModels/findUsages.mps index 52080283..073157ac 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/findUsages.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/findUsages.mps @@ -1,5 +1,5 @@ - + @@ -8,7 +8,7 @@ - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps similarity index 99% rename from typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/intentions.mps rename to coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps index 90a4370b..e535ade6 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/intentions.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps @@ -1,5 +1,5 @@ - + @@ -14,9 +14,9 @@ - + - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/migration.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps similarity index 99% rename from typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/migration.mps rename to coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps index 709ee7b6..35717908 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/migration.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps @@ -1,5 +1,5 @@ - + @@ -15,14 +15,14 @@ - + - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/plugin.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/plugin.mps similarity index 98% rename from typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/plugin.mps rename to coderules/languages/jetbrains.mps.lang.coderules/languageModels/plugin.mps index 914d707a..9f30557b 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/plugin.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/plugin.mps @@ -1,5 +1,5 @@ - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps similarity index 99% rename from typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps rename to coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps index 7baaf8f6..913e4ec5 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps @@ -1,5 +1,5 @@ - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps similarity index 99% rename from typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/typesystem.mps rename to coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps index 2fd7eca8..348a9354 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps @@ -1,5 +1,5 @@ - + @@ -7,14 +7,14 @@ - - + + - + - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/util.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps similarity index 99% rename from typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/util.mps rename to coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps index 95b00a5a..7e332c35 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/util.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps @@ -1,5 +1,5 @@ - + @@ -13,10 +13,10 @@ - + - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd b/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd similarity index 92% rename from typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd rename to coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd index 8fcbf976..6c1c5965 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd @@ -1,5 +1,5 @@ - + @@ -10,7 +10,7 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template) + ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.typechecking.reporting) @@ -37,9 +37,9 @@ + + - - diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains.mps.lang.typesystem2.evaluation.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps similarity index 99% rename from typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains.mps.lang.typesystem2.evaluation.mps rename to coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps index 35a9a622..8dcb592d 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains.mps.lang.typesystem2.evaluation.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps @@ -1,5 +1,5 @@ - + @@ -18,7 +18,7 @@ - + @@ -26,15 +26,15 @@ - + - - + + @@ -10990,79 +10990,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/jetbrains.mps.lang.typesystem2.template.msd b/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd similarity index 93% rename from typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/jetbrains.mps.lang.typesystem2.template.msd rename to coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd index 9a27c646..4dc83b71 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/jetbrains.mps.lang.typesystem2.template.msd +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd @@ -1,5 +1,5 @@ - + @@ -32,7 +32,7 @@ - + diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/aspect.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps similarity index 99% rename from typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/aspect.mps rename to coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps index 0ece3521..098ec293 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/aspect.mps +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps @@ -1,5 +1,5 @@ - + @@ -12,8 +12,8 @@ - - + + diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains.mps.lang.typesystem2.macro.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps similarity index 99% rename from typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains.mps.lang.typesystem2.macro.mps rename to coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps index ca84233e..2461be33 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains.mps.lang.typesystem2.macro.mps +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps @@ -1,5 +1,5 @@ - + @@ -10,9 +10,9 @@ - + - + diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains.mps.lang.typesystem2.program.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.program.mps similarity index 99% rename from typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains.mps.lang.typesystem2.program.mps rename to coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.program.mps index 1f399ec2..3cce5c87 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains.mps.lang.typesystem2.program.mps +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.program.mps @@ -1,5 +1,5 @@ - + @@ -16,7 +16,7 @@ - + diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains.mps.lang.typesystem2.rule.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps similarity index 99% rename from typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains.mps.lang.typesystem2.rule.mps rename to coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps index b1f92f00..18c049b3 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains.mps.lang.typesystem2.rule.mps +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps @@ -1,5 +1,5 @@ - + @@ -15,8 +15,8 @@ - - + + diff --git a/logic/languages/jetbrains.mps.dataform/generator/template/main@generator.mps b/logic/languages/jetbrains.mps.dataform/generator/template/main@generator.mps index c1232fbb..6745166d 100644 --- a/logic/languages/jetbrains.mps.dataform/generator/template/main@generator.mps +++ b/logic/languages/jetbrains.mps.dataform/generator/template/main@generator.mps @@ -11,8 +11,8 @@ - - + + diff --git a/logic/languages/jetbrains.mps.dataform/jetbrains.mps.dataform.mpl b/logic/languages/jetbrains.mps.dataform/jetbrains.mps.dataform.mpl index 5b9e3653..a3d4ac1f 100644 --- a/logic/languages/jetbrains.mps.dataform/jetbrains.mps.dataform.mpl +++ b/logic/languages/jetbrains.mps.dataform/jetbrains.mps.dataform.mpl @@ -18,7 +18,7 @@ ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template) + ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) @@ -50,9 +50,9 @@ + - diff --git a/typechecking/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl b/typechecking/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl index 61a1ff03..94f91a16 100644 --- a/typechecking/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl +++ b/typechecking/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl @@ -9,10 +9,10 @@ a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) - 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime) + 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template) + ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.typechecking) @@ -28,6 +28,7 @@ + @@ -42,7 +43,6 @@ - @@ -54,11 +54,11 @@ + + - - diff --git a/typechecking/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/typechecking/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index 540b5018..615d904a 100644 --- a/typechecking/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/typechecking/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -5,7 +5,7 @@ - + @@ -30,11 +30,11 @@ - - + + - - + + @@ -608,189 +608,189 @@ - - + + - + - + - + - + - - + + - - + + - - + + - + - + - + - + - + - + - + - + - + - + - - + + - + - + - + - - + + - + - - + + - - + + - + - + - + - + - + - - + + - + - + - + - - - + + + - + - + - + - + - + - + - + - + - + - + - - + + - + - + diff --git a/typesystem2/languages/jetbrains.mps.lang.smodel.types/generator/template/main@generator.mps b/typechecking/languages/jetbrains.mps.lang.smodel.types/generator/template/main@generator.mps similarity index 100% rename from typesystem2/languages/jetbrains.mps.lang.smodel.types/generator/template/main@generator.mps rename to typechecking/languages/jetbrains.mps.lang.smodel.types/generator/template/main@generator.mps diff --git a/typesystem2/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl b/typechecking/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl similarity index 100% rename from typesystem2/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl rename to typechecking/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl diff --git a/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/behavior.mps b/typechecking/languages/jetbrains.mps.lang.smodel.types/models/behavior.mps similarity index 100% rename from typesystem2/languages/jetbrains.mps.lang.smodel.types/models/behavior.mps rename to typechecking/languages/jetbrains.mps.lang.smodel.types/models/behavior.mps diff --git a/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/constraints.mps b/typechecking/languages/jetbrains.mps.lang.smodel.types/models/constraints.mps similarity index 100% rename from typesystem2/languages/jetbrains.mps.lang.smodel.types/models/constraints.mps rename to typechecking/languages/jetbrains.mps.lang.smodel.types/models/constraints.mps diff --git a/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/editor.mps b/typechecking/languages/jetbrains.mps.lang.smodel.types/models/editor.mps similarity index 100% rename from typesystem2/languages/jetbrains.mps.lang.smodel.types/models/editor.mps rename to typechecking/languages/jetbrains.mps.lang.smodel.types/models/editor.mps diff --git a/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/structure.mps b/typechecking/languages/jetbrains.mps.lang.smodel.types/models/structure.mps similarity index 100% rename from typesystem2/languages/jetbrains.mps.lang.smodel.types/models/structure.mps rename to typechecking/languages/jetbrains.mps.lang.smodel.types/models/structure.mps diff --git a/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/typesystem.mps b/typechecking/languages/jetbrains.mps.lang.smodel.types/models/typesystem.mps similarity index 100% rename from typesystem2/languages/jetbrains.mps.lang.smodel.types/models/typesystem.mps rename to typechecking/languages/jetbrains.mps.lang.smodel.types/models/typesystem.mps diff --git a/typechecking/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl b/typechecking/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl index e9162fd2..4b552923 100644 --- a/typechecking/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl +++ b/typechecking/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl @@ -63,6 +63,7 @@ + @@ -86,7 +87,6 @@ - @@ -94,9 +94,9 @@ + - diff --git a/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps index 89a11534..793d757d 100644 --- a/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps +++ b/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps @@ -2,7 +2,7 @@ - + @@ -142,106 +142,106 @@ - - + + - + - + - - + + - + - + - + - + - + - + - + - + - + - + - - - + + + - + - + - + - - + + - + - + - + - + - + - + - + - + - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/samplechecker.handler.util.iml b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/samplechecker.handler.util.iml deleted file mode 100644 index 2e6c930b..00000000 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/samplechecker.handler.util.iml +++ /dev/null @@ -1,15 +0,0 @@ - - - - - - - - - - - - - - - \ No newline at end of file diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/samplechecker.test.iml b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/samplechecker.test.iml deleted file mode 100644 index 995f7eee..00000000 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/samplechecker.test.iml +++ /dev/null @@ -1,24 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - \ No newline at end of file diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker/classes_jchr/.keep b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker/classes_jchr/.keep deleted file mode 100644 index e69de29b..00000000 diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker/jetbrains.mps.lang.typesystem2.samplechecker.iml b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker/jetbrains.mps.lang.typesystem2.samplechecker.iml deleted file mode 100644 index d6ebd480..00000000 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker/jetbrains.mps.lang.typesystem2.samplechecker.iml +++ /dev/null @@ -1,9 +0,0 @@ - - - - - - - - - \ No newline at end of file diff --git a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps index f494d496..229eafd2 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps @@ -172,11 +172,8 @@ - - - - + @@ -399,7 +396,7 @@ - + @@ -760,21 +757,21 @@ - + - + - + - - - + + + @@ -789,7 +786,7 @@ - + @@ -835,10 +832,10 @@ - + - + @@ -866,7 +863,7 @@ - + @@ -902,7 +899,7 @@ - + @@ -914,7 +911,7 @@ - + @@ -965,11 +962,11 @@ - + - - + + @@ -1012,20 +1009,20 @@ - + - + - + - - + + @@ -1053,7 +1050,7 @@ - + @@ -1075,11 +1072,11 @@ - + - + @@ -1104,18 +1101,18 @@ - + - + - - - + + + @@ -1158,11 +1155,11 @@ - + - - + + @@ -1176,150 +1173,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1351,7 +1204,7 @@ - + @@ -1363,7 +1216,7 @@ - + @@ -1513,6 +1366,54 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1553,7 +1454,7 @@ - + @@ -1589,7 +1490,7 @@ - + @@ -1707,7 +1608,7 @@ - + @@ -1736,7 +1637,7 @@ - + @@ -1810,8 +1711,101 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1998,13 +1992,13 @@ - + - + - + @@ -2016,7 +2010,7 @@ - + @@ -2233,13 +2227,13 @@ - + - + - + diff --git a/typechecking/solutions/jetbrains.mps.typechecking.sample.test/jetbrains.mps.typechecking.sample.test.msd b/typechecking/solutions/jetbrains.mps.typechecking.sample.test/jetbrains.mps.typechecking.sample.test.msd index 0ef7a583..a1c78c7f 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.sample.test/jetbrains.mps.typechecking.sample.test.msd +++ b/typechecking/solutions/jetbrains.mps.typechecking.sample.test/jetbrains.mps.typechecking.sample.test.msd @@ -36,9 +36,9 @@ + - diff --git a/typechecking/solutions/jetbrains.mps.typechecking.test/jetbrains.mps.lang.typechecking.test.msd b/typechecking/solutions/jetbrains.mps.typechecking.test/jetbrains.mps.typechecking.test.msd similarity index 91% rename from typechecking/solutions/jetbrains.mps.typechecking.test/jetbrains.mps.lang.typechecking.test.msd rename to typechecking/solutions/jetbrains.mps.typechecking.test/jetbrains.mps.typechecking.test.msd index 0e6952e5..463d2330 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.test/jetbrains.mps.lang.typechecking.test.msd +++ b/typechecking/solutions/jetbrains.mps.typechecking.test/jetbrains.mps.typechecking.test.msd @@ -1,5 +1,5 @@ - + @@ -8,13 +8,13 @@ 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) - 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime) + 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template) + ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.typechecking) @@ -46,15 +46,15 @@ + + - - - + diff --git a/typechecking/solutions/jetbrains.mps.typechecking.test/models/data.mps b/typechecking/solutions/jetbrains.mps.typechecking.test/models/data.mps index 4dc668a9..9224d48c 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.test/models/data.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.test/models/data.mps @@ -1,5 +1,5 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps b/typechecking/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps index 076cb009..e388f5cc 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps @@ -21,7 +21,7 @@ - + @@ -34,18 +34,18 @@ - + - + - + @@ -923,8 +923,8 @@ - - + + diff --git a/typechecking/solutions/jetbrains.mps.typechecking.ui/jetbrains.mps.typechecking.ui.msd b/typechecking/solutions/jetbrains.mps.typechecking.ui/jetbrains.mps.typechecking.ui.msd index e2f91c11..fe466ffb 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.ui/jetbrains.mps.typechecking.ui.msd +++ b/typechecking/solutions/jetbrains.mps.typechecking.ui/jetbrains.mps.typechecking.ui.msd @@ -10,12 +10,12 @@ 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) - 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime) + 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) a1250a4d-c090-42c3-ad7c-d298a3357dd4(jetbrains.mps.make.runtime) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) 5b1f863d-65a0-41a6-a801-33896be24202(jetbrains.mps.ide.editor) - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template) + ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) bfbdd672-7ff5-403f-af4f-16da5226f34c(jetbrains.mps.findUsages.runtime) @@ -50,9 +50,9 @@ + + - - diff --git a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps index 054d92bd..96773390 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps @@ -36,7 +36,7 @@ - + @@ -68,7 +68,7 @@ - + @@ -79,7 +79,7 @@ - + @@ -87,7 +87,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd b/typechecking/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd index 7a0509bd..fe06b7de 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd +++ b/typechecking/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd @@ -19,10 +19,10 @@ 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) - 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime) + 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template) + ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) @@ -53,9 +53,9 @@ + + - - diff --git a/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.mps b/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.mps index be1b39b7..44659078 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.mps @@ -17,7 +17,9 @@ - + + + @@ -56,6 +58,7 @@ + @@ -82,6 +85,7 @@ + @@ -1386,5 +1390,78 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typechecking/solutions/jetbrains.mps.typechecking/models/plugin.mps b/typechecking/solutions/jetbrains.mps.typechecking/models/plugin.mps index 9c9691ca..30c8e924 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/models/plugin.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking/models/plugin.mps @@ -27,7 +27,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps b/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps index f9abe894..50548e0b 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps @@ -17,16 +17,16 @@ - + - + - + @@ -41,7 +41,7 @@ - + @@ -3118,8 +3118,8 @@ - - + +