diff --git a/build.xml b/build.xml index 649c97d5..ae116327 100644 --- a/build.xml +++ b/build.xml @@ -66,9 +66,11 @@ + + @@ -78,6 +80,7 @@ + @@ -104,6 +107,7 @@ + @@ -178,6 +182,7 @@ + @@ -220,6 +225,7 @@ + @@ -262,9 +268,11 @@ + + @@ -274,6 +282,7 @@ + @@ -302,6 +311,7 @@ + @@ -353,6 +363,7 @@ + @@ -396,6 +407,7 @@ + @@ -439,6 +451,7 @@ + @@ -485,6 +498,7 @@ + @@ -528,6 +542,7 @@ + @@ -558,6 +573,7 @@ + @@ -607,6 +623,7 @@ + @@ -647,6 +664,7 @@ + @@ -689,6 +707,7 @@ + @@ -729,6 +748,7 @@ + @@ -773,6 +793,7 @@ + @@ -809,6 +830,7 @@ + @@ -889,6 +911,7 @@ + @@ -933,6 +956,7 @@ + @@ -964,6 +988,7 @@ + @@ -1014,6 +1039,7 @@ + @@ -1056,6 +1082,7 @@ + @@ -1096,6 +1123,7 @@ + @@ -1139,6 +1167,7 @@ + @@ -1169,6 +1198,7 @@ + @@ -1218,6 +1248,7 @@ + @@ -1258,6 +1289,7 @@ + @@ -1355,9 +1387,11 @@ + + @@ -1367,6 +1401,7 @@ + @@ -1393,6 +1428,7 @@ + @@ -1467,6 +1503,7 @@ + @@ -1506,9 +1543,11 @@ + + @@ -1518,6 +1557,7 @@ + @@ -1546,6 +1586,7 @@ + @@ -1597,6 +1638,7 @@ + @@ -1640,6 +1682,7 @@ + @@ -1683,6 +1726,7 @@ + @@ -1729,6 +1773,7 @@ + @@ -1772,6 +1817,7 @@ + @@ -1802,6 +1848,7 @@ + @@ -1851,6 +1898,7 @@ + @@ -1891,6 +1939,7 @@ + @@ -1933,6 +1982,7 @@ + @@ -1973,6 +2023,7 @@ + @@ -2017,6 +2068,7 @@ + @@ -2047,6 +2099,7 @@ + @@ -2096,6 +2149,7 @@ + @@ -2136,6 +2190,7 @@ + @@ -2167,6 +2222,7 @@ + @@ -2217,6 +2273,7 @@ + @@ -2259,6 +2316,7 @@ + @@ -2299,6 +2357,7 @@ + @@ -2342,6 +2401,7 @@ + @@ -2372,6 +2432,7 @@ + @@ -2421,6 +2482,7 @@ + @@ -2459,7 +2521,10 @@ - + + + + @@ -2481,6 +2546,10 @@ + + + + @@ -2490,6 +2559,7 @@ + @@ -2545,9 +2615,7 @@ - - @@ -2561,6 +2629,7 @@ + @@ -2661,6 +2730,7 @@ + @@ -2698,6 +2768,7 @@ + @@ -2752,6 +2823,7 @@ + @@ -2804,6 +2876,7 @@ + @@ -2845,6 +2918,7 @@ + @@ -2882,6 +2956,7 @@ + @@ -2954,6 +3029,7 @@ + @@ -3025,6 +3101,7 @@ + @@ -3081,6 +3158,7 @@ + @@ -3126,6 +3204,7 @@ + @@ -3171,6 +3250,7 @@ + @@ -3228,6 +3308,7 @@ + @@ -3277,6 +3358,7 @@ + @@ -3334,6 +3416,7 @@ + @@ -3385,6 +3468,7 @@ + @@ -3454,6 +3538,7 @@ + @@ -3491,6 +3576,7 @@ + @@ -3553,6 +3639,7 @@ + @@ -3616,6 +3703,7 @@ + @@ -3667,6 +3755,7 @@ + @@ -3722,6 +3811,7 @@ + @@ -3784,6 +3874,7 @@ + @@ -3842,6 +3933,7 @@ + @@ -3881,6 +3973,7 @@ + @@ -3922,6 +4015,7 @@ + @@ -3975,6 +4069,7 @@ + @@ -4029,6 +4124,7 @@ + @@ -4101,6 +4197,7 @@ + @@ -4117,6 +4214,7 @@ + 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 2d4139d2..7df12c7a 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 @@ -489,7 +489,6 @@ - @@ -7166,12 +7165,13 @@ - - - - - - + + + + + + + @@ -7338,12 +7338,13 @@ - - - - - - + + + + + + + @@ -7829,10 +7830,11 @@ - - - - + + + + + @@ -10523,12 +10525,13 @@ - - - - - - + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps index 623ed3c7..3e92f93b 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps @@ -2434,18 +2434,26 @@ - - + + - - - - - + + + + - - + + + + + + + + + + + @@ -2570,18 +2578,26 @@ - - + + - - - - - + + + + - - + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps index 74a0fbac..62ad0065 100644 --- a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps +++ b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps @@ -700,11 +700,21 @@ - + + + - - - + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.logic.test/test_gen/.keep b/coderules/solutions/jetbrains.mps.logic.test/test_gen/.keep deleted file mode 100644 index e69de29b..00000000 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 6dbfb847..190caccf 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 @@ -231,7 +231,6 @@ - @@ -248,7 +247,6 @@ - @@ -280,19 +278,16 @@ - - - @@ -451,7 +446,6 @@ - @@ -471,7 +465,6 @@ - @@ -504,13 +497,11 @@ - - @@ -519,7 +510,6 @@ - @@ -536,49 +526,41 @@ - - - - - - - - @@ -593,28 +575,23 @@ - - - - - @@ -645,7 +622,6 @@ - @@ -663,7 +639,6 @@ - @@ -743,7 +718,6 @@ - @@ -760,7 +734,6 @@ - @@ -775,7 +748,6 @@ - @@ -798,10 +770,8 @@ - - @@ -813,19 +783,16 @@ - - - @@ -836,43 +803,36 @@ - - - - - - - @@ -890,7 +850,6 @@ - @@ -913,7 +872,6 @@ - @@ -925,19 +883,16 @@ - - - @@ -973,7 +928,6 @@ - @@ -982,7 +936,6 @@ - @@ -1005,7 +958,6 @@ - @@ -1030,7 +982,6 @@ - @@ -1047,19 +998,16 @@ - - - @@ -1071,25 +1019,21 @@ - - - - @@ -1107,7 +1051,6 @@ - @@ -1131,19 +1074,16 @@ - - - @@ -1152,7 +1092,6 @@ - @@ -1169,13 +1108,11 @@ - - @@ -1205,7 +1142,6 @@ - @@ -1222,30 +1158,25 @@ - - - - - @@ -1254,7 +1185,6 @@ - @@ -1274,7 +1204,6 @@ - @@ -1292,55 +1221,46 @@ - - - - - - - - - @@ -1352,7 +1272,6 @@ - @@ -1369,19 +1288,16 @@ - - - @@ -1396,7 +1312,6 @@ - @@ -1419,7 +1334,6 @@ - @@ -1434,19 +1348,16 @@ - - - @@ -1464,7 +1375,6 @@ - @@ -1481,13 +1391,11 @@ - - @@ -1502,7 +1410,6 @@ - @@ -1519,61 +1426,51 @@ - - - - - - - - - - @@ -1585,7 +1482,6 @@ - @@ -1602,55 +1498,46 @@ - - - - - - - - - @@ -1688,16 +1575,13 @@ - - - @@ -1715,7 +1599,6 @@ - @@ -1727,20 +1610,17 @@ - - - @@ -1764,13 +1644,11 @@ - - @@ -1779,13 +1657,11 @@ - - @@ -1794,7 +1670,6 @@ - @@ -1811,19 +1686,16 @@ - - - @@ -1868,7 +1740,6 @@ - @@ -1888,7 +1759,6 @@ - @@ -1906,13 +1776,11 @@ - - @@ -1939,7 +1807,6 @@ - @@ -1948,7 +1815,6 @@ - @@ -1971,19 +1837,16 @@ - - - @@ -2055,7 +1918,6 @@ - @@ -2064,7 +1926,6 @@ - @@ -2081,31 +1942,26 @@ - - - - - @@ -2126,7 +1982,6 @@ - @@ -2143,19 +1998,16 @@ - - - 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 0e588835..50b7bcf8 100644 --- a/coderules/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps +++ b/coderules/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps @@ -840,7 +840,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 26a1c1a7..dd818163 100644 --- a/coderules/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.mps +++ b/coderules/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.mps @@ -2266,11 +2266,18 @@ - + + + - - + + + + + + + @@ -2382,11 +2389,21 @@ - + + + - - - + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.typechecking/models/plugin.mps b/coderules/solutions/jetbrains.mps.typechecking/models/plugin.mps index 9193d774..547cba37 100644 --- a/coderules/solutions/jetbrains.mps.typechecking/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.typechecking/models/plugin.mps @@ -806,8 +806,9 @@ - + + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 08e5253e..64c5f9fc 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -47,6 +47,7 @@ + @@ -68,6 +69,7 @@ + @@ -113,14 +115,13 @@ + - - @@ -131,9 +132,7 @@ - - - + @@ -189,6 +188,7 @@ + @@ -245,6 +245,7 @@ + @@ -283,6 +284,7 @@ + @@ -337,6 +339,7 @@ + @@ -376,6 +379,7 @@ + @@ -431,6 +435,7 @@ + @@ -471,6 +476,7 @@ + @@ -522,6 +528,7 @@ + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 3e50af44..fb1f2572 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -122,6 +122,7 @@ + @@ -137,6 +138,7 @@ + @@ -176,6 +178,7 @@ + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 5de2caee..1b3cec90 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -43,6 +43,7 @@ + @@ -89,6 +90,7 @@ + @@ -131,6 +133,7 @@ + @@ -190,6 +193,8 @@ + + @@ -257,6 +262,7 @@ + @@ -274,6 +280,7 @@ + @@ -324,6 +331,7 @@ + @@ -390,6 +398,7 @@ + @@ -451,6 +460,7 @@ + @@ -565,6 +575,7 @@ + @@ -580,6 +591,7 @@ +