diff --git a/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps b/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps index 989ef37b..0e547667 100644 --- a/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps +++ b/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps @@ -10,6 +10,7 @@ + @@ -31,8 +32,31 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -111,6 +135,7 @@ + @@ -230,6 +255,7 @@ + @@ -530,6 +556,7 @@ + @@ -544,13 +571,18 @@ + + + + + - + @@ -560,7 +592,7 @@ - + @@ -574,13 +606,33 @@ + + + + + - - + + + + + + + + + + + + + + + + + @@ -969,341 +1021,10 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + @@ -1351,369 +1072,10 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + @@ -2752,6 +2114,29 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -2846,7 +2231,7 @@ - + @@ -2949,6 +2334,176 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3186,7 +2741,7 @@ - + @@ -3270,12 +2825,12 @@ - + - + @@ -3295,7 +2850,7 @@ - + @@ -3322,6 +2877,57 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3378,6 +2984,48 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4313,6 +3961,22 @@ + + + + + + + + + + + + + + + + @@ -4573,7 +4237,7 @@ - + @@ -4656,7 +4320,6 @@ - @@ -4675,6 +4338,227 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4767,7 +4651,7 @@ - + @@ -4787,7 +4671,7 @@ - + @@ -4814,6 +4698,57 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5063,7 +4998,7 @@ - + @@ -5180,6 +5115,48 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6146,6 +6123,7 @@ + @@ -6160,7 +6138,7 @@ - + @@ -6174,580 +6152,99 @@ - - - - - - - - - - - - + + + + + + + + + + - - - - - - - - - - - - - - - - - + - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + @@ -7028,6 +6525,16 @@ + + + + + + + + + + @@ -7051,20 +6558,19 @@ - - - - - - - - + + + + + - + + + - - + + @@ -7111,20 +6617,19 @@ - - - - - - - - + + + + + - + + + - + @@ -7181,20 +6686,19 @@ - - - - - - - - + + + + + - + + + - + @@ -7238,20 +6742,19 @@ - - - - - - - - + + + + + - + + + - + @@ -7300,9 +6803,6 @@ - - - @@ -7470,7 +6970,7 @@ - + @@ -7607,7 +7107,7 @@ - + @@ -7738,11 +7238,64 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + @@ -9022,5 +8575,2698 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl b/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl index c0993e68..c846ef73 100644 --- a/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl +++ b/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl @@ -20,6 +20,7 @@ 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) + a247e09e-2435-45ba-b8d2-07e93feba96a(jetbrains.mps.baseLanguage.tuples) ed6d7656-532c-4bc2-81d1-af945aeb8280(jetbrains.mps.baseLanguage.blTypes) @@ -44,6 +45,7 @@ + @@ -71,6 +73,7 @@ 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) + a247e09e-2435-45ba-b8d2-07e93feba96a(jetbrains.mps.baseLanguage.tuples) daafa647-f1f7-4b0b-b096-69cd7c8408c0(jetbrains.mps.baseLanguage.regexp) diff --git a/languages/jetbrains.mps.lang.typesystem2/languageModels/actions.mps b/languages/jetbrains.mps.lang.typesystem2/languageModels/actions.mps index 958beb39..322afd21 100644 --- a/languages/jetbrains.mps.lang.typesystem2/languageModels/actions.mps +++ b/languages/jetbrains.mps.lang.typesystem2/languageModels/actions.mps @@ -753,7 +753,7 @@ - + @@ -771,7 +771,7 @@ - + diff --git a/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps b/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps index a2623768..389ba55f 100644 --- a/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps +++ b/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps @@ -115,9 +115,6 @@ - - - @@ -127,14 +124,10 @@ - - - - @@ -181,7 +174,6 @@ - @@ -213,80 +205,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -589,63 +507,31 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - + + + + @@ -657,6 +543,45 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -689,80 +614,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -830,5 +681,69 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps b/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps index db95468e..f5b3d95e 100644 --- a/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps +++ b/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps @@ -717,6 +717,33 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -773,6 +800,33 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1287,7 +1341,7 @@ - + @@ -1311,7 +1365,7 @@ - + @@ -1760,7 +1814,7 @@ - + @@ -1777,7 +1831,7 @@ - + @@ -2408,5 +2462,27 @@ + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps b/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps index 7b055b9e..0be023b8 100644 --- a/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps +++ b/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps @@ -175,6 +175,12 @@ + + + + + + @@ -363,16 +369,8 @@ - - - - - - - - - - + + @@ -741,5 +739,13 @@ + + + + + + + + diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps index b9d41898..98377ef1 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps @@ -249,6 +249,10 @@ + + + + @@ -509,6 +513,7 @@ + @@ -526,16 +531,13 @@ + - - - - diff --git a/languages/jetbrains.mps.lang.typesystem2/template/models/jetbrains/mps/lang/typesystem2/template.mps b/languages/jetbrains.mps.lang.typesystem2/template/models/jetbrains/mps/lang/typesystem2/template.mps index 8d2f8413..2a4e7acc 100644 --- a/languages/jetbrains.mps.lang.typesystem2/template/models/jetbrains/mps/lang/typesystem2/template.mps +++ b/languages/jetbrains.mps.lang.typesystem2/template/models/jetbrains/mps/lang/typesystem2/template.mps @@ -356,13 +356,13 @@ - + - + @@ -380,7 +380,7 @@ - + @@ -396,6 +396,7 @@ + @@ -403,13 +404,13 @@ - + - + - + @@ -449,27 +450,36 @@ + + + - + - + + + + - + - + + + + - + @@ -524,13 +534,13 @@ - + - + @@ -543,16 +553,44 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -592,16 +630,25 @@ + + + - + + + + - + + + + @@ -1847,6 +1894,7 @@ + @@ -1960,9 +2008,9 @@ - + - + @@ -1986,9 +2034,9 @@ - + - + @@ -2005,6 +2053,33 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2060,12 +2135,18 @@ - + + + + - + + + + @@ -2134,6 +2215,20 @@ + + + + + + + + + + + + + + @@ -2142,9 +2237,9 @@ - + - + @@ -2165,13 +2260,33 @@ - + - + + + + + + + + + + + + + + + + + + + + + @@ -2185,32 +2300,27 @@ - + - + + + + + + + - - - - - - - - - - - - - - - + - + + + + @@ -2243,9 +2353,9 @@ - + - + @@ -2281,7 +2391,7 @@ - + @@ -2295,7 +2405,7 @@ - + @@ -2331,13 +2441,13 @@ - + - + - + @@ -2354,6 +2464,39 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2395,7 +2538,10 @@ - + + + + @@ -2409,7 +2555,7 @@ - + @@ -2436,9 +2582,15 @@ - + - + + + + + + + @@ -2450,22 +2602,31 @@ - + + + + - + - + + + + - + - + + + + @@ -2481,7 +2642,7 @@ - + @@ -2496,13 +2657,13 @@ - + - + - + @@ -2511,6 +2672,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2527,13 +2714,19 @@ - + - + - + + + + + + + @@ -2542,15 +2735,21 @@ - + - + + + + - + + + + diff --git a/languages/jetbrains.mps.logic/languageModels/behavior.mps b/languages/jetbrains.mps.logic/languageModels/behavior.mps index d554c5c0..5669dbe1 100644 --- a/languages/jetbrains.mps.logic/languageModels/behavior.mps +++ b/languages/jetbrains.mps.logic/languageModels/behavior.mps @@ -208,5 +208,31 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/languageModels/constraints.mps b/languages/jetbrains.mps.logic/languageModels/constraints.mps index e9ab0518..2a055053 100644 --- a/languages/jetbrains.mps.logic/languageModels/constraints.mps +++ b/languages/jetbrains.mps.logic/languageModels/constraints.mps @@ -125,6 +125,8 @@ + + @@ -137,6 +139,7 @@ + @@ -166,7 +169,11 @@ + + + + @@ -429,6 +436,23 @@ + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/languageModels/structure.mps b/languages/jetbrains.mps.logic/languageModels/structure.mps index 15c5a205..6e0e326a 100644 --- a/languages/jetbrains.mps.logic/languageModels/structure.mps +++ b/languages/jetbrains.mps.logic/languageModels/structure.mps @@ -332,5 +332,20 @@ + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/languages/jetbrains.mps.logic/languageModels/typesystem.mps index 52f31e7e..c12a5b79 100644 --- a/languages/jetbrains.mps.logic/languageModels/typesystem.mps +++ b/languages/jetbrains.mps.logic/languageModels/typesystem.mps @@ -484,7 +484,7 @@ - + @@ -533,7 +533,7 @@ - +