diff --git a/build.xml b/build.xml index 39cfd45f..0330ce78 100644 --- a/build.xml +++ b/build.xml @@ -808,6 +808,120 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -837,7 +951,6 @@ - @@ -1178,167 +1291,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2520,7 +2472,7 @@ - + @@ -2629,7 +2581,6 @@ - @@ -2649,12 +2600,11 @@ - - + - + @@ -3350,7 +3300,114 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3385,6 +3442,8 @@ + + @@ -3672,7 +3731,7 @@ - + @@ -3704,6 +3763,7 @@ + @@ -3748,7 +3808,7 @@ - + @@ -3781,6 +3841,7 @@ + @@ -4043,212 +4104,9 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4270,6 +4128,7 @@ + @@ -4284,6 +4143,7 @@ + @@ -4327,15 +4187,11 @@ - - - - @@ -4350,12 +4206,11 @@ - - - - + + + @@ -4416,7 +4271,6 @@ - @@ -4437,13 +4291,11 @@ - - - + + + - - \ No newline at end of file diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps index 7f11aca9..1eac715d 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps @@ -3,9 +3,152 @@ + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps index c71092e1..94b8409b 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps @@ -3,9 +3,702 @@ + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/structure.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/structure.mps index a9c2723f..f81c0d27 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/structure.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/structure.mps @@ -12,12 +12,23 @@ + + + + + + + + + + + @@ -35,34 +46,107 @@ - + - + - + - + + + + - - + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps index 793d757d..687622ff 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps @@ -5,20 +5,23 @@ + + + + + - + - - - + @@ -26,21 +29,30 @@ + + + + - + + - + + + + + @@ -52,31 +64,47 @@ - - + + + - + + + + + + + + - - - - - + + + - - + + + + + + + + + + + + @@ -109,30 +137,45 @@ - - - + + - - + + + + + + + + + + + + - - + + + - + - - + + + + + - + + + @@ -146,52 +189,75 @@ + + + + + + + + + - - - - - + + + + + + + - - + + + + + - - - + - + + + + + + + + + + + + @@ -200,17 +266,13 @@ - - - - - + @@ -232,414 +294,22 @@ + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -662,34 +332,110 @@ + + + - + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + @@ -700,26 +446,9 @@ - + - - - - - - - - - - - - - - - - - - + @@ -727,19 +456,175 @@ - + + + + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -749,58 +634,17 @@ - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + @@ -824,5 +668,440 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 982fdaf5..1cf7fccb 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 @@ -54,7 +54,6 @@ - @@ -176,9 +175,6 @@ - - - @@ -942,7 +938,7 @@ - + @@ -1170,86 +1166,143 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - + - + - + - - + + - - + + - - + + - - + + - - + + - - + + - + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + @@ -2089,216 +2142,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2329,7 +2172,6 @@ - @@ -2377,7 +2219,13 @@ - + + + + + + + @@ -2402,18 +2250,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 ca8cefe3..da178884 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 @@ -16,7 +16,7 @@ - + @@ -49,6 +49,8 @@ + + @@ -109,13 +111,11 @@ - - @@ -146,9 +146,6 @@ - - - @@ -169,10 +166,8 @@ - - @@ -205,12 +200,27 @@ - - - - + + + - + + + + + + + + + + + + + + + + + @@ -218,6 +228,7 @@ + @@ -249,9 +260,15 @@ + + + + + + @@ -262,24 +279,24 @@ + - - - - + - - - - + + + + + + @@ -288,10 +305,6 @@ - - - - @@ -335,31 +348,23 @@ - - - - - + + + + + - - - - - - - - - - - + + + + - - - - - - - + + + + + + @@ -371,13 +376,40 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -426,8 +458,8 @@ - - + + @@ -460,8 +492,8 @@ - - + + @@ -535,44 +567,65 @@ - - - - - + + + + + + - - - - + + + + - - - - - - - - + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + @@ -586,17 +639,17 @@ - - - + + + - + - - + + @@ -634,8 +687,8 @@ - - + + @@ -674,8 +727,8 @@ - - + + @@ -692,15 +745,9 @@ - - - - - - - - - + + + @@ -765,21 +812,20 @@ - - - - - - - - - - + + + + + + + + + + - - - + + @@ -808,8 +854,8 @@ - - + + @@ -892,8 +938,8 @@ - - + + @@ -1088,48 +1134,25 @@ - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - + + + + + - - - @@ -1168,23 +1191,22 @@ - - - - - - - - - - + + + + + + + + + + - - - - - + + + + @@ -1201,8 +1223,8 @@ - - + + @@ -1214,18 +1236,27 @@ - - - - - + + + + + - - - - - - + + + + + + + + + + + + + + + @@ -1241,12 +1272,21 @@ - - - + + + + + + + + + + + + - - + + @@ -1254,14 +1294,15 @@ - - - - - + + + + + + @@ -1272,12 +1313,21 @@ - - - + + + + + + + + + + + + - - + + @@ -1333,23 +1383,22 @@ - - - - - - - - - - + + + + + + + + + + - - - - - + + + + @@ -1366,8 +1415,8 @@ - - + + @@ -1379,18 +1428,27 @@ - - - - - + + + + + - - - - - - + + + + + + + + + + + + + + + @@ -1403,28 +1461,38 @@ - - - + + + + + + + + + + + + + - - + + - - - - - - + + + + + + @@ -1433,15 +1501,24 @@ - - - + + + + + + + + + + + + + - - + + - @@ -1494,23 +1571,22 @@ - - - - - - - - - - + + + + + + + + + + - - - - - + + + + @@ -1527,8 +1603,8 @@ - - + + @@ -1540,91 +1616,103 @@ - - - - - + + + + + - - - - - - + + + + + + + + + + + + - - - - - + + + + + - - - - - - + + + + + + + + + + + + + - + - - - - - - + + + + - + - - - - - + + + + - - + + + - + - - - - - - + + + + + + + @@ -1637,10 +1725,10 @@ - + - + @@ -1659,10 +1747,10 @@ - + - + @@ -1719,42 +1807,34 @@ - + - + - - - - - - - - - - - - - + + + + + + - - - - - - - + + + + + + - - + + @@ -1783,7 +1863,7 @@ - + @@ -1795,7 +1875,7 @@ - + @@ -1803,21 +1883,13 @@ - - - - - - - - - - + + + + + - - - @@ -1825,7 +1897,7 @@ - + @@ -1833,21 +1905,13 @@ - - - - - - - - - - + + + + + - - - @@ -1855,24 +1919,23 @@ - + - - + + + - + - - - - - + + + @@ -1885,66 +1948,44 @@ - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - + + + + + + + + + - - - - - - + + + + + + + + + + @@ -1979,8 +2020,8 @@ - - + + @@ -2003,11 +2044,11 @@ - - + + - - + + @@ -2017,8 +2058,9 @@ - - + + + @@ -2033,11 +2075,11 @@ - - + + - - + + @@ -2056,17 +2098,17 @@ - - + + - - + + - - - + + + @@ -2078,11 +2120,11 @@ - - + + - - + + @@ -2094,7 +2136,10 @@ - + + + + @@ -2104,11 +2149,11 @@ - - + + - - + + diff --git a/coderules/solutions/jetbrains.mps.typechecking.testlang.sandbox/models/test.mps b/coderules/solutions/jetbrains.mps.typechecking.testlang.sandbox/models/test.mps index c0bd6a31..91927d72 100644 --- a/coderules/solutions/jetbrains.mps.typechecking.testlang.sandbox/models/test.mps +++ b/coderules/solutions/jetbrains.mps.typechecking.testlang.sandbox/models/test.mps @@ -7,21 +7,52 @@ - - + + - - - + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd b/coderules/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd index 79b39a30..7ed601a2 100644 --- a/coderules/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd +++ b/coderules/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd @@ -14,7 +14,7 @@ 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules) - f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime) + f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime)