diff --git a/.mps/modules.xml b/.mps/modules.xml index 33f32ed9..7dca51d2 100644 --- a/.mps/modules.xml +++ b/.mps/modules.xml @@ -2,7 +2,6 @@ - @@ -28,11 +27,11 @@ - + @@ -43,4 +42,4 @@ - + \ No newline at end of file diff --git a/build.xml b/build.xml index 32c4464c..575421bc 100644 --- a/build.xml +++ b/build.xml @@ -56,84 +56,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -184,6 +106,7 @@ + @@ -1087,6 +1010,7 @@ + @@ -1376,84 +1300,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1504,6 +1350,7 @@ + @@ -2322,6 +2169,7 @@ + @@ -2530,7 +2378,7 @@ - + @@ -2644,22 +2492,23 @@ - + + + + - - @@ -2705,108 +2554,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2843,7 +2590,7 @@ - + @@ -2863,7 +2610,9 @@ + + @@ -2895,7 +2644,7 @@ - + @@ -2908,19 +2657,22 @@ + - + + + @@ -3015,7 +2767,7 @@ - + @@ -3040,7 +2792,6 @@ - @@ -3069,7 +2820,7 @@ - + @@ -3094,7 +2845,6 @@ - @@ -3591,7 +3341,7 @@ - + @@ -3616,7 +3366,6 @@ - @@ -3645,7 +3394,7 @@ - + @@ -3670,7 +3419,6 @@ - @@ -3814,7 +3562,7 @@ - + @@ -3842,7 +3590,6 @@ - @@ -3891,7 +3638,7 @@ - + @@ -3919,7 +3666,6 @@ - @@ -4270,7 +4016,6 @@ - @@ -4351,8 +4096,6 @@ - - @@ -4361,19 +4104,16 @@ - - - - + diff --git a/coderules/languages/jetbrains.mps.dataform/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.dataform/generator/template/main@generator.mps deleted file mode 100644 index 6745166d..00000000 --- a/coderules/languages/jetbrains.mps.dataform/generator/template/main@generator.mps +++ /dev/null @@ -1,1508 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/languages/jetbrains.mps.dataform/jetbrains.mps.dataform.mpl b/coderules/languages/jetbrains.mps.dataform/jetbrains.mps.dataform.mpl deleted file mode 100644 index a3d4ac1f..00000000 --- a/coderules/languages/jetbrains.mps.dataform/jetbrains.mps.dataform.mpl +++ /dev/null @@ -1,112 +0,0 @@ - - - - - - - - - - - - - - - - - - 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.coderules.template) - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) - 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) - 35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic) - - - diff --git a/coderules/languages/jetbrains.mps.dataform/models/behavior.mps b/coderules/languages/jetbrains.mps.dataform/models/behavior.mps deleted file mode 100644 index 8b0e6b0e..00000000 --- a/coderules/languages/jetbrains.mps.dataform/models/behavior.mps +++ /dev/null @@ -1,789 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/languages/jetbrains.mps.dataform/models/constraints.mps b/coderules/languages/jetbrains.mps.dataform/models/constraints.mps deleted file mode 100644 index f5ddced0..00000000 --- a/coderules/languages/jetbrains.mps.dataform/models/constraints.mps +++ /dev/null @@ -1,215 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/languages/jetbrains.mps.dataform/models/editor.mps b/coderules/languages/jetbrains.mps.dataform/models/editor.mps deleted file mode 100644 index 58079dc0..00000000 --- a/coderules/languages/jetbrains.mps.dataform/models/editor.mps +++ /dev/null @@ -1,1924 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/languages/jetbrains.mps.dataform/models/structure.mps b/coderules/languages/jetbrains.mps.dataform/models/structure.mps deleted file mode 100644 index 409b2a3c..00000000 --- a/coderules/languages/jetbrains.mps.dataform/models/structure.mps +++ /dev/null @@ -1,190 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/languages/jetbrains.mps.dataform/models/typesystem.mps b/coderules/languages/jetbrains.mps.dataform/models/typesystem.mps deleted file mode 100644 index 60ebe91f..00000000 --- a/coderules/languages/jetbrains.mps.dataform/models/typesystem.mps +++ /dev/null @@ -1,11 +0,0 @@ - - - - - - - - - - - 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 2f69e788..321ec147 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 @@ -38,7 +38,7 @@ - + @@ -47,7 +47,6 @@ - @@ -58,6 +57,7 @@ + @@ -525,7 +525,7 @@ - + @@ -2017,7 +2017,7 @@ - + @@ -2036,27 +2036,6 @@ - - - - - - - - - - - - - - - - - - - - - @@ -2189,7 +2168,7 @@ - + @@ -2361,7 +2340,7 @@ - + @@ -12131,7 +12110,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 ffe4e1bf..89832bea 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 @@ -75,7 +75,6 @@ - @@ -116,7 +115,6 @@ 3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) 9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime) - 942985d5-7bcf-46ee-8b79-7b662eaebb4e(jetbrains.mps.dataform) 528ff3b9-5fc4-40dd-931f-c6ce3650640e(jetbrains.mps.lang.migration.runtime) 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) @@ -180,7 +178,6 @@ - diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps index 17f63bf0..3f0ab47f 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps @@ -1036,7 +1036,8 @@ - + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps index 7e31b2ea..7379e90e 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps @@ -18,9 +18,8 @@ - + - @@ -534,7 +533,7 @@ - + @@ -547,7 +546,7 @@ - + @@ -594,7 +593,7 @@ - + @@ -607,7 +606,7 @@ - + @@ -642,7 +641,7 @@ - + @@ -802,7 +801,7 @@ - + @@ -817,7 +816,7 @@ - + @@ -922,7 +921,7 @@ - + @@ -1091,9 +1090,9 @@ - - - + + + @@ -1111,9 +1110,9 @@ - - - + + + @@ -1126,9 +1125,9 @@ - - - + + + @@ -1158,9 +1157,9 @@ - - - + + + @@ -1177,9 +1176,9 @@ - - - + + + @@ -1242,7 +1241,7 @@ - + @@ -1290,7 +1289,7 @@ - + @@ -1315,7 +1314,7 @@ - + @@ -1720,7 +1719,7 @@ - + @@ -1773,7 +1772,7 @@ - + @@ -1781,7 +1780,7 @@ - + @@ -1860,7 +1859,7 @@ - + @@ -1995,7 +1994,7 @@ - + @@ -2017,7 +2016,7 @@ - + @@ -2359,7 +2358,7 @@ - + @@ -3721,7 +3720,8 @@ - + + @@ -3770,16 +3770,17 @@ - + + - + - + @@ -3876,7 +3877,7 @@ - + @@ -3959,7 +3960,7 @@ - + @@ -3998,7 +3999,7 @@ - + @@ -4038,7 +4039,7 @@ - + @@ -4215,7 +4216,7 @@ - + @@ -4228,7 +4229,7 @@ - + @@ -4390,37 +4391,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps index e535ade6..40a92cb7 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps @@ -322,7 +322,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps index 35717908..32236471 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps @@ -27,10 +27,8 @@ - - diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps index bcea62eb..198fbce6 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps @@ -11,7 +11,6 @@ - @@ -901,8 +900,9 @@ - - + + + @@ -1086,19 +1086,6 @@ - - - - - - - - - - - - - @@ -1153,7 +1140,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps index 25858109..faa596e4 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps @@ -1360,6 +1360,7 @@ + @@ -1412,7 +1413,7 @@ - + @@ -1445,63 +1446,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 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 89e6ff9e..f9009eb3 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 @@ -17,17 +17,16 @@ - + - - + @@ -36,7 +35,7 @@ - + @@ -773,7 +772,7 @@ - + @@ -984,7 +983,7 @@ - + @@ -1207,7 +1206,7 @@ - + @@ -1366,7 +1365,7 @@ - + @@ -1383,7 +1382,7 @@ - + @@ -4425,7 +4424,7 @@ - + @@ -4462,7 +4461,7 @@ - + @@ -4560,7 +4559,7 @@ - + @@ -10110,8 +10109,8 @@ - - + + @@ -11080,7 +11079,7 @@ - + @@ -11461,7 +11460,7 @@ - + @@ -11490,7 +11489,7 @@ - + @@ -11498,7 +11497,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps index 15a3bb79..40bf7db6 100644 --- a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps @@ -9,31 +9,57 @@ + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -41,28 +67,57 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -74,9 +129,19 @@ + + + + + + + + + + @@ -97,6 +162,7 @@ + @@ -108,11 +174,17 @@ + + + + + + @@ -124,6 +196,7 @@ + @@ -142,9 +215,15 @@ + + + + + + @@ -165,6 +244,9 @@ + + + @@ -201,6 +283,48 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -208,6 +332,7 @@ + @@ -227,7 +352,9 @@ - + + + @@ -273,6 +400,7 @@ + @@ -280,38 +408,53 @@ - - - - - - + + + + + + + + + - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - + - + @@ -334,7 +477,7 @@ - + @@ -378,7 +521,7 @@ - + @@ -444,7 +587,7 @@ - + @@ -459,9 +602,9 @@ - - - + + + @@ -474,9 +617,9 @@ - - - + + + @@ -491,7 +634,7 @@ - + @@ -562,11 +705,11 @@ - + - + @@ -785,7 +928,7 @@ - + @@ -996,7 +1139,7 @@ - + @@ -1043,7 +1186,8 @@ - + + @@ -1164,13 +1308,34 @@ + + + + + + + + + + + + + + + + + + + + + - + - + @@ -1191,9 +1356,9 @@ - - - + + + @@ -1206,7 +1371,7 @@ - + @@ -1251,14 +1416,14 @@ - - - + + + - + @@ -1328,14 +1493,14 @@ - - - + + + - + @@ -1435,7 +1600,7 @@ - + @@ -1704,5 +1869,1190 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl index 5be1a2c1..b9a6e0c2 100644 --- a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl +++ b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl @@ -18,6 +18,7 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) 5f9babc9-8d5d-4825-8e61-17b241ee6272(jetbrains.mps.baseLanguage.collections#1151699677197) + ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) @@ -26,6 +27,7 @@ + @@ -36,6 +38,7 @@ + @@ -48,12 +51,14 @@ + + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps index 4fb4bc88..731b4ae6 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps @@ -4,16 +4,22 @@ + + + + - - + + + + @@ -28,6 +34,8 @@ + + @@ -35,6 +43,9 @@ + + + @@ -42,19 +53,28 @@ + + + + + + + + + @@ -62,6 +82,17 @@ + + + + + + + + + + + @@ -72,20 +103,44 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -103,6 +158,15 @@ + + + + + + + + + @@ -113,13 +177,27 @@ + + + + + + + + + + + + + + - + @@ -158,7 +236,7 @@ - + @@ -173,7 +251,7 @@ - + @@ -181,8 +259,8 @@ - - + + @@ -196,7 +274,7 @@ - + @@ -234,7 +312,7 @@ - + @@ -261,30 +339,8 @@ - - - - - - - - - - - - - - - - - - - - - - - + @@ -308,7 +364,7 @@ - + @@ -322,7 +378,7 @@ - + @@ -332,8 +388,8 @@ - - + + @@ -355,5 +411,664 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps index 921c3407..c5f619bb 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps @@ -3,6 +3,9 @@ + + + @@ -193,6 +196,9 @@ + + + @@ -202,10 +208,18 @@ - + + + + + + + + + @@ -265,7 +279,7 @@ - + @@ -403,7 +417,7 @@ - + @@ -457,7 +471,7 @@ - + @@ -786,5 +800,93 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps index 489577ab..1ec5dc5b 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps @@ -5,6 +5,11 @@ + + + + + @@ -30,6 +35,7 @@ + @@ -50,12 +56,14 @@ + + @@ -68,6 +76,8 @@ + + @@ -83,6 +93,7 @@ + @@ -173,6 +184,16 @@ + + + + + + + + + + @@ -202,11 +223,14 @@ + + + @@ -227,6 +251,11 @@ + + + + + @@ -308,9 +337,13 @@ + + + + @@ -340,6 +373,7 @@ + @@ -391,14 +425,28 @@ + + + + + + + + + + + + + + @@ -408,9 +456,15 @@ + + + + + + @@ -429,6 +483,13 @@ + + + + + + + @@ -441,11 +502,13 @@ + - + + @@ -487,18 +550,8 @@ - - - - - - - - - - - + @@ -542,7 +595,7 @@ - + @@ -583,7 +636,7 @@ - + @@ -742,7 +795,7 @@ - + @@ -879,7 +932,7 @@ - + @@ -890,7 +943,7 @@ - + @@ -907,7 +960,7 @@ - + @@ -970,7 +1023,7 @@ - + @@ -1037,7 +1090,7 @@ - + @@ -1090,7 +1143,7 @@ - + @@ -1188,8 +1241,8 @@ - - + + @@ -1670,6 +1723,37 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1729,37 +1813,37 @@ - - - - + + + + - + - + - - + + - + - + - - + + - - + + - + @@ -1818,26 +1902,543 @@ - - - - - - - + + + + + + - - - + + + + + + + + + + + + + - - + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -1980,7 +2581,7 @@ - + @@ -2059,7 +2660,7 @@ - + @@ -2146,7 +2747,7 @@ - + @@ -2173,6 +2774,7 @@ + @@ -2182,6 +2784,7 @@ + @@ -2214,6 +2817,7 @@ + @@ -2245,8 +2849,8 @@ - - + + @@ -2290,7 +2894,7 @@ - + @@ -2311,7 +2915,8 @@ - + + @@ -2320,7 +2925,8 @@ - + + @@ -2328,12 +2934,12 @@ - + - + @@ -2427,19 +3033,19 @@ - + - + - + @@ -2486,7 +3092,12 @@ - + + + + + + @@ -2511,5 +3122,735 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps index 9a329b50..fe07572d 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps @@ -98,6 +98,10 @@ + + + + @@ -120,6 +124,8 @@ + + @@ -132,9 +138,9 @@ - - - + + + @@ -155,9 +161,7 @@ - - - + @@ -188,8 +192,13 @@ - - + + + + + + + @@ -230,8 +239,8 @@ - - + + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps b/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps index 3bd1ab0c..ce36087e 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps @@ -20,31 +20,11 @@ - - - - - - - - - - - - - - - - - - - - @@ -54,53 +34,19 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -120,74 +66,17 @@ - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -198,22 +87,6 @@ - - - - - - - - - - - - - - - - @@ -234,7 +107,6 @@ - @@ -251,241 +123,10 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps b/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps index 0382ba66..0f3ff073 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps @@ -2,15 +2,15 @@ + - + - @@ -44,6 +44,7 @@ + @@ -70,91 +71,83 @@ - + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - - - - - - - - - - + @@ -173,29 +166,29 @@ - + - + - + - + - + - + - + @@ -208,7 +201,7 @@ - + @@ -223,12 +216,12 @@ - + - + @@ -247,7 +240,7 @@ - + @@ -261,8 +254,8 @@ - - + + @@ -274,8 +267,8 @@ - - + + @@ -283,20 +276,20 @@ - - + + - + - + - + @@ -314,50 +307,30 @@ - + - - - - - - - - - - - - - - - - - - - - - - + - + - + + @@ -369,34 +342,35 @@ - - + + - + + - + - + @@ -409,7 +383,8 @@ - + + @@ -418,5 +393,168 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps index a5ade3ab..42a16adc 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps @@ -2,6 +2,10 @@ + + + + @@ -224,6 +228,7 @@ + @@ -231,7 +236,7 @@ - + @@ -360,7 +365,7 @@ - + @@ -472,7 +477,7 @@ - + @@ -520,11 +525,11 @@ - + - + @@ -660,7 +665,7 @@ - + @@ -789,7 +794,7 @@ - + @@ -989,7 +994,7 @@ - + @@ -1007,7 +1012,7 @@ - + @@ -1118,6 +1123,7 @@ + @@ -1249,11 +1255,12 @@ - + + @@ -1279,7 +1286,65 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps index 9113096a..f3007df1 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps +++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps @@ -2206,7 +2206,7 @@ - + @@ -2224,7 +2224,7 @@ - + @@ -2233,7 +2233,7 @@ - + @@ -2337,11 +2337,11 @@ - + - + @@ -2389,7 +2389,7 @@ - + @@ -2434,7 +2434,7 @@ - + @@ -2518,7 +2518,7 @@ - + @@ -2863,7 +2863,7 @@ - + @@ -2875,7 +2875,7 @@ - + @@ -3021,7 +3021,7 @@ - + @@ -3045,7 +3045,7 @@ - + @@ -3313,7 +3313,7 @@ - + @@ -4378,7 +4378,7 @@ - + @@ -4566,7 +4566,7 @@ - + @@ -5091,7 +5091,7 @@ - + @@ -5891,7 +5891,7 @@ - + @@ -6229,7 +6229,7 @@ - + @@ -6307,7 +6307,7 @@ - + @@ -6351,7 +6351,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps similarity index 99% rename from coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps rename to coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps index ffaa6dda..cffee59a 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps +++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps @@ -1,5 +1,5 @@ - + @@ -13,7 +13,7 @@ - + @@ -1737,7 +1737,7 @@ - + @@ -1955,7 +1955,7 @@ - + @@ -1963,7 +1963,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.program.mps similarity index 70% rename from coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps rename to coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.program.mps index 568d43c5..c4b2b723 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps +++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.program.mps @@ -1,5 +1,5 @@ - + @@ -7,17 +7,19 @@ - - - - + + + + + + @@ -28,6 +30,13 @@ + + + + + + + @@ -61,10 +70,12 @@ + + @@ -76,7 +87,11 @@ + + + + @@ -87,12 +102,23 @@ + + + + + + + + + + + @@ -130,7 +156,13 @@ + + + + + + @@ -143,6 +175,8 @@ + + @@ -157,6 +191,7 @@ + @@ -169,7 +204,15 @@ + + + + + + + + @@ -179,6 +222,13 @@ + + + + + + + @@ -917,7 +967,7 @@ - + @@ -928,13 +978,13 @@ - + - + @@ -961,7 +1011,7 @@ - + @@ -988,7 +1038,7 @@ - + @@ -1016,9 +1066,9 @@ - - - + + + @@ -1844,5 +1894,787 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps similarity index 99% rename from coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps rename to coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps index b20c0bdd..0aa2e76a 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps +++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps @@ -1,5 +1,5 @@ - + @@ -166,7 +166,7 @@ - + @@ -325,7 +325,7 @@ - + @@ -682,7 +682,7 @@ - + @@ -707,7 +707,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps deleted file mode 100644 index 801f9896..00000000 --- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps +++ /dev/null @@ -1,1599 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 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 2e8e079c..d4e5bd61 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 @@ -61,7 +61,6 @@ - diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps index 687622ff..8dcafd71 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps @@ -4,10 +4,10 @@ - + @@ -107,29 +107,6 @@ - - - - - - - - - - - - - - - - - - - - - - - @@ -141,10 +118,31 @@ - + + + + + + + + + + + + + + + + + + + + + + - + @@ -453,21 +451,6 @@ - - - - - - - - - - - - - - - @@ -1103,5 +1086,20 @@ + + + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps index 70bc5d52..e21862c0 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps @@ -39,7 +39,6 @@ - @@ -52,7 +51,7 @@ - + @@ -84,6 +83,7 @@ + @@ -3215,7 +3215,7 @@ - + @@ -6171,7 +6171,7 @@ - + @@ -7870,7 +7870,7 @@ - + @@ -11915,7 +11915,7 @@ - + @@ -17036,7 +17036,7 @@ - + @@ -18438,7 +18438,7 @@ - + @@ -29352,7 +29352,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps index c4e4240b..f24e3383 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps @@ -23,7 +23,6 @@ - @@ -33,6 +32,7 @@ + @@ -1605,9 +1605,9 @@ - - - + + + @@ -1639,7 +1639,7 @@ - + @@ -1704,7 +1704,7 @@ - + @@ -2295,7 +2295,7 @@ - + @@ -2310,7 +2310,7 @@ - + @@ -2386,7 +2386,7 @@ - + @@ -2401,8 +2401,8 @@ - + @@ -2574,7 +2574,7 @@ - + @@ -2601,7 +2601,7 @@ - + @@ -3404,7 +3404,7 @@ - + @@ -3463,7 +3463,7 @@ - + @@ -3522,7 +3522,7 @@ - + @@ -3579,7 +3579,7 @@ - + @@ -3615,7 +3615,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps index 767a8b8e..d07040ae 100644 --- a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps @@ -31,7 +31,7 @@ - + @@ -1475,7 +1475,7 @@ - + @@ -1629,7 +1629,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd index f833a91e..8f6b4ca1 100644 --- a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd +++ b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd @@ -15,6 +15,7 @@ + diff --git a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps index 7a552a17..0645179f 100644 --- a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps +++ b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps @@ -8,11 +8,12 @@ + - + @@ -20,8 +21,8 @@ - - + + @@ -481,7 +482,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.program.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.program.mps index 99a91f63..e2ffc8c0 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.program.mps +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.program.mps @@ -14,12 +14,12 @@ - - + + @@ -2203,7 +2203,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 d18e68dc..e3543624 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 @@ -18,9 +18,13 @@ + + + + @@ -33,10 +37,17 @@ + + + + + + + @@ -51,6 +62,9 @@ + + + @@ -66,6 +80,9 @@ + + + @@ -73,8 +90,20 @@ + + + + + + + + + + + + @@ -111,6 +140,7 @@ + @@ -119,6 +149,7 @@ + @@ -127,6 +158,9 @@ + + + @@ -136,16 +170,33 @@ + + + + + + + + + + + + + + + + + @@ -158,16 +209,34 @@ + + + + + + + + + + + + + + + + + + @@ -1182,5 +1251,512 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 21240b59..8471ca13 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 @@ -161,13 +161,13 @@ - + - + @@ -275,14 +275,14 @@ - + - + @@ -634,7 +634,7 @@ - + @@ -698,11 +698,11 @@ - + - + @@ -917,11 +917,11 @@ - + - + @@ -970,11 +970,11 @@ - + - + @@ -1428,11 +1428,11 @@ - + - + @@ -1457,11 +1457,11 @@ - + - + @@ -1486,11 +1486,11 @@ - + - + @@ -1907,11 +1907,11 @@ - + - + @@ -1936,11 +1936,11 @@ - + - + @@ -1965,11 +1965,11 @@ - + - + @@ -4541,11 +4541,11 @@ - + - + @@ -4571,11 +4571,11 @@ - + - + diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps index 56485cff..0bc27c40 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps +++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps @@ -13,8 +13,8 @@ - - + + diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps index 2565dad7..4e9c36de 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps +++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps @@ -11,15 +11,15 @@ - - + - + + @@ -202,13 +202,13 @@ - + - + @@ -261,9 +261,9 @@ - - - + + + @@ -274,7 +274,7 @@ - + @@ -302,9 +302,9 @@ - - - + + + @@ -342,9 +342,9 @@ - - - + + + @@ -1756,9 +1756,9 @@ - - - + + + @@ -1769,7 +1769,7 @@ - + @@ -1797,9 +1797,9 @@ - - - + + + @@ -1837,9 +1837,9 @@ - - - + + + @@ -1874,9 +1874,9 @@ - - - + + + @@ -5162,9 +5162,9 @@ - - - + + + @@ -5361,7 +5361,7 @@ - + @@ -5693,7 +5693,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps b/coderules/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps index 5fe52f22..347de08d 100644 --- a/coderules/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps +++ b/coderules/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps @@ -97,6 +97,9 @@ + + + @@ -168,6 +171,9 @@ + + + @@ -434,77 +440,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -658,6 +593,12 @@ + + + + + + @@ -1803,12 +1744,6 @@ - - - - - - @@ -2209,9 +2144,6 @@ - - - @@ -2362,9 +2294,6 @@ - - - diff --git a/coderules/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps b/coderules/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps index 55b174b1..6ea972a3 100644 --- a/coderules/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps +++ b/coderules/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps @@ -26,8 +26,7 @@ - - + @@ -50,6 +49,7 @@ + @@ -1112,9 +1112,9 @@ - - - + + + diff --git a/coderules/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps b/coderules/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps index 4bd52448..0e82ec20 100644 --- a/coderules/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps +++ b/coderules/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps @@ -16,10 +16,9 @@ - - + @@ -106,6 +105,7 @@ + @@ -1693,7 +1693,7 @@ - + @@ -1853,7 +1853,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.mps b/coderules/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.mps index 7691a4f3..b1f28f07 100644 --- a/coderules/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.mps +++ b/coderules/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.mps @@ -17,7 +17,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.typechecking/models/service.mps b/coderules/solutions/jetbrains.mps.typechecking/models/service.mps index 2cd4aee1..4449d3e8 100644 --- a/coderules/solutions/jetbrains.mps.typechecking/models/service.mps +++ b/coderules/solutions/jetbrains.mps.typechecking/models/service.mps @@ -17,16 +17,15 @@ - + - - + @@ -1496,7 +1495,7 @@ - + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index f3282882..00244eb1 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -47,7 +47,6 @@ - diff --git a/samples/fitch/languages/jetbrains.mps.fitch/jetbrains.mps.fitch.mpl b/samples/fitch/languages/jetbrains.mps.fitch/jetbrains.mps.fitch.mpl index 1bb93610..6202df7d 100644 --- a/samples/fitch/languages/jetbrains.mps.fitch/jetbrains.mps.fitch.mpl +++ b/samples/fitch/languages/jetbrains.mps.fitch/jetbrains.mps.fitch.mpl @@ -47,6 +47,9 @@ 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.typechecking) + 06b7c5c7-e359-4f4b-a581-5d0c9323af39(jetbrains.mps.fitch) + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) @@ -59,7 +62,6 @@ - @@ -100,6 +102,7 @@ + diff --git a/samples/fitch/languages/jetbrains.mps.fitch/models/constraints.mps b/samples/fitch/languages/jetbrains.mps.fitch/models/constraints.mps index a19eed9d..44abe635 100644 --- a/samples/fitch/languages/jetbrains.mps.fitch/models/constraints.mps +++ b/samples/fitch/languages/jetbrains.mps.fitch/models/constraints.mps @@ -8,9 +8,9 @@ - - - + + + @@ -380,61 +380,67 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - @@ -444,6 +450,11 @@ + + + + + diff --git a/samples/fitch/languages/jetbrains.mps.fitch/models/types.mps b/samples/fitch/languages/jetbrains.mps.fitch/models/types.mps index b0a9a17f..df569ac6 100644 --- a/samples/fitch/languages/jetbrains.mps.fitch/models/types.mps +++ b/samples/fitch/languages/jetbrains.mps.fitch/models/types.mps @@ -4,8 +4,8 @@ - + @@ -42,21 +42,19 @@ - - - - - - - - - + + + + + + + @@ -466,13 +464,6 @@ - - - - - - - @@ -498,5 +489,12 @@ + + + + + + + diff --git a/samples/fitch/languages/jetbrains.mps.logic.firstOrder/jetbrains.mps.logic.firstOrder.mpl b/samples/fitch/languages/jetbrains.mps.logic.firstOrder/jetbrains.mps.logic.firstOrder.mpl index 01ff2ba0..d52c3d78 100644 --- a/samples/fitch/languages/jetbrains.mps.logic.firstOrder/jetbrains.mps.logic.firstOrder.mpl +++ b/samples/fitch/languages/jetbrains.mps.logic.firstOrder/jetbrains.mps.logic.firstOrder.mpl @@ -62,7 +62,6 @@ - diff --git a/samples/fitch/languages/jetbrains.mps.logic.firstOrder/models/types.mps b/samples/fitch/languages/jetbrains.mps.logic.firstOrder/models/types.mps index 2cc31c10..07405f8c 100644 --- a/samples/fitch/languages/jetbrains.mps.logic.firstOrder/models/types.mps +++ b/samples/fitch/languages/jetbrains.mps.logic.firstOrder/models/types.mps @@ -3,7 +3,7 @@ - + @@ -101,29 +101,6 @@ - - - - - - - - - - - - - - - - - - - - - - - @@ -135,7 +112,28 @@ - + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/fitch/languages/jetbrains.mps.logic.herbrand/models/types.mps b/samples/fitch/languages/jetbrains.mps.logic.herbrand/models/types.mps index c64a37f8..6ad2c474 100644 --- a/samples/fitch/languages/jetbrains.mps.logic.herbrand/models/types.mps +++ b/samples/fitch/languages/jetbrains.mps.logic.herbrand/models/types.mps @@ -5,6 +5,7 @@ + @@ -151,31 +152,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - @@ -192,7 +168,30 @@ - + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/fitch/languages/jetbrains.mps.logic.propositional/jetbrains.mps.logic.propositional.mpl b/samples/fitch/languages/jetbrains.mps.logic.propositional/jetbrains.mps.logic.propositional.mpl index d816f99b..34eb1ab5 100644 --- a/samples/fitch/languages/jetbrains.mps.logic.propositional/jetbrains.mps.logic.propositional.mpl +++ b/samples/fitch/languages/jetbrains.mps.logic.propositional/jetbrains.mps.logic.propositional.mpl @@ -60,7 +60,6 @@ - diff --git a/samples/fitch/languages/jetbrains.mps.logic.propositional/models/types.mps b/samples/fitch/languages/jetbrains.mps.logic.propositional/models/types.mps index 778f0d31..371ebc50 100644 --- a/samples/fitch/languages/jetbrains.mps.logic.propositional/models/types.mps +++ b/samples/fitch/languages/jetbrains.mps.logic.propositional/models/types.mps @@ -7,7 +7,6 @@ - @@ -71,31 +70,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - @@ -113,14 +87,37 @@ + + + + + + + + + + + + + + + + + + + + + + + - + - + - + diff --git a/samples/fitch/solutions/jetbrains.mps.fitch.build/models/jetbrains.mps.fitch.build.mps b/samples/fitch/solutions/jetbrains.mps.fitch.build/models/jetbrains.mps.fitch.build.mps index c4bd776e..07a333b1 100644 --- a/samples/fitch/solutions/jetbrains.mps.fitch.build/models/jetbrains.mps.fitch.build.mps +++ b/samples/fitch/solutions/jetbrains.mps.fitch.build/models/jetbrains.mps.fitch.build.mps @@ -114,6 +114,24 @@ + + + + + + + + + + + + + + + + + + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index e8bb3aa0..683a3e7a 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -57,7 +57,6 @@ - diff --git a/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.types.mps b/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.types.mps index 389ec55c..56b4e1cd 100644 --- a/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.types.mps +++ b/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.types.mps @@ -9,7 +9,8 @@ - + + @@ -19,9 +20,9 @@ - + - + @@ -180,29 +181,6 @@ - - - - - - - - - - - - - - - - - - - - - - - @@ -215,10 +193,31 @@ - + + + + + + + + + + + + + + + + + + + + + + - + @@ -322,7 +321,7 @@ - + @@ -2674,6 +2673,31 @@ + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2703,30 +2727,5 @@ - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/samples/lambdacalc/languages/sample.lambdacalc/sample.lambdacalc.mpl b/samples/lambdacalc/languages/sample.lambdacalc/sample.lambdacalc.mpl index 43c06d4d..2cffc8ff 100644 --- a/samples/lambdacalc/languages/sample.lambdacalc/sample.lambdacalc.mpl +++ b/samples/lambdacalc/languages/sample.lambdacalc/sample.lambdacalc.mpl @@ -30,7 +30,6 @@ - @@ -52,6 +51,7 @@ + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index ac9b87a3..0e999bb4 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -220,7 +220,6 @@ - @@ -541,7 +540,6 @@ - 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 646fa3b9..adbd795b 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl @@ -26,7 +26,6 @@ - diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps index 284eba70..def8dc3b 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps @@ -14,7 +14,7 @@ - + @@ -131,10 +131,10 @@ - + - + @@ -268,7 +268,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 e7d5d8f6..79d0a6b9 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 @@ -16,7 +16,6 @@ - @@ -30,8 +29,7 @@ - - + @@ -39,6 +37,7 @@ + @@ -360,37 +359,13 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -406,20 +381,45 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + - + @@ -431,7 +431,7 @@ - + @@ -622,9 +622,6 @@ - - - @@ -662,7 +659,7 @@ - + @@ -17462,9 +17459,9 @@ - - - + + + @@ -18595,9 +18592,9 @@ - - - + + + @@ -19823,9 +19820,9 @@ - - - + + + @@ -21486,6 +21483,118 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -21757,117 +21866,31 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - + 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 3fa838ac..8bd0f7eb 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 @@ -24,7 +24,7 @@ - + @@ -233,13 +233,13 @@ - + - + diff --git a/samples/mpscore/solutions/jetbrains.mps.typechecking.sample.test/models/jetbrains.mps.typechecking.sample.codeAnal@tests.mps b/samples/mpscore/solutions/jetbrains.mps.typechecking.sample.test/models/jetbrains.mps.typechecking.sample.codeAnal@tests.mps index 6aa5854c..267e37c9 100644 --- a/samples/mpscore/solutions/jetbrains.mps.typechecking.sample.test/models/jetbrains.mps.typechecking.sample.codeAnal@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.typechecking.sample.test/models/jetbrains.mps.typechecking.sample.codeAnal@tests.mps @@ -8,6 +8,8 @@ + +