From 2c43762f935e0096d8070ff8e2c2b62873e40d0a Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 19 Feb 2020 14:53:51 +0100 Subject: [PATCH] Replace all instances of .pointer in constraints to node reference. SNode is supported now directly as an argument to constraint/predicate. Pointer operation is no longer necessary, as is node-ptr<> type for logical vars. --- .../models/types.mps | 28 +- ...ins.mps.coderules.incrementality@tests.mps | 520 ++-- .../models/types.mps | 298 +-- .../models/types.mps | 367 ++- .../models/types.mps | 2331 +++++++---------- .../languages/samples.fitch/models/types.mps | 56 +- .../samples.lambdacalc/models/types.mps | 878 +++---- .../models/controlflow.mps | 1908 +++++--------- .../jetbrains.mps.baseLanguageExt.types.mps | 1348 ++++------ 9 files changed, 2987 insertions(+), 4747 deletions(-) diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps index b03edde5..104d1b8f 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps @@ -329,11 +329,8 @@ - - - - - + + @@ -808,11 +805,8 @@ - - - - - + + @@ -878,11 +872,8 @@ - - - - - + + @@ -905,11 +896,8 @@ - - - - - + + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps index 31e965db..524d102c 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps @@ -233,7 +233,6 @@ - @@ -1019,16 +1018,13 @@ - - - - - - - - + + + + + + - @@ -1040,16 +1036,13 @@ - - - - - - - - + + + + + + - @@ -1107,11 +1100,8 @@ - - - - - + + @@ -1134,16 +1124,13 @@ - - - - - - - - + + + + + + - @@ -1155,16 +1142,13 @@ - - - - - - - - + + + + + + - @@ -1238,11 +1222,8 @@ - - - - - + + @@ -1265,16 +1246,13 @@ - - - - - - - - + + + + + + - @@ -1286,16 +1264,13 @@ - - - - - - - - + + + + + + - @@ -1379,11 +1354,8 @@ - - - - - + + @@ -1406,16 +1378,13 @@ - - - - - - - - + + + + + + - @@ -1427,16 +1396,13 @@ - - - - - - - - + + + + + + - @@ -1520,11 +1486,8 @@ - - - - - + + @@ -1547,16 +1510,13 @@ - - - - - - - - + + + + + + - @@ -1568,16 +1528,13 @@ - - - - - - - - + + + + + + - @@ -1589,11 +1546,8 @@ - - - - - + + @@ -1668,16 +1622,13 @@ - - - - - - - - + + + + + + - @@ -1689,16 +1640,13 @@ - - - - - - - - + + + + + + - @@ -1710,11 +1658,8 @@ - - - - - + + @@ -1731,11 +1676,8 @@ - - - - - + + @@ -1851,16 +1793,13 @@ - - - - - - - - + + + + + + - @@ -1872,16 +1811,13 @@ - - - - - - - - + + + + + + - @@ -1893,11 +1829,8 @@ - - - - - + + @@ -2001,16 +1934,13 @@ - - - - - - - - + + + + + + - @@ -2022,16 +1952,13 @@ - - - - - - - - + + + + + + - @@ -3205,16 +3132,13 @@ - - - - - - - - + + + + + + - @@ -3246,16 +3170,13 @@ - - - - - - - - + + + + + + - @@ -3304,16 +3225,13 @@ - - - - - - - - + + + + + + - @@ -3374,16 +3292,13 @@ - - - - - - - - + + + + + + - @@ -3654,16 +3569,13 @@ - - - - - - - - + + + + + + - @@ -3675,16 +3587,13 @@ - - - - - - - - + + + + + + - @@ -3729,11 +3638,8 @@ - - - - - + + @@ -3768,16 +3674,13 @@ - - - - - - - - + + + + + + - @@ -3789,16 +3692,13 @@ - - - - - - - - + + + + + + - @@ -3838,11 +3738,8 @@ - - - - - + + @@ -3875,16 +3772,13 @@ - - - - - - - - + + + + + + - @@ -3896,16 +3790,13 @@ - - - - - - - - + + + + + + - @@ -3959,11 +3850,8 @@ - - - - - + + @@ -3996,16 +3884,13 @@ - - - - - - - - + + + + + + - @@ -4017,16 +3902,13 @@ - - - - - - - - + + + + + + - @@ -4038,16 +3920,13 @@ - - - - - - - - + + + + + + - @@ -4122,11 +4001,8 @@ - - - - - + + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps index 2e0b4a41..ae53ea31 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps @@ -148,7 +148,6 @@ - @@ -478,11 +477,8 @@ - - - - - + + @@ -536,11 +532,8 @@ - - - - - + + @@ -563,11 +556,8 @@ - - - - - + + @@ -1128,26 +1118,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -1180,26 +1167,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -1211,11 +1195,8 @@ - - - - - + + @@ -1229,26 +1210,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -1257,26 +1235,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -1337,11 +1312,8 @@ - - - - - + + @@ -1927,26 +1899,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -1979,26 +1948,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2010,11 +1976,8 @@ - - - - - + + @@ -2028,26 +1991,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2056,26 +2016,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2136,11 +2093,8 @@ - - - - - + + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps index 4a14864f..f7111d65 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps @@ -205,7 +205,6 @@ - @@ -1285,26 +1284,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -1337,11 +1333,8 @@ - - - - - + + @@ -1355,26 +1348,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -1407,11 +1397,8 @@ - - - - - + + @@ -2003,26 +1990,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2034,11 +2018,8 @@ - - - - - + + @@ -2052,26 +2033,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2132,11 +2110,8 @@ - - - - - + + @@ -2203,26 +2178,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2255,11 +2227,8 @@ - - - - - + + @@ -2273,26 +2242,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2346,11 +2312,8 @@ - - - - - + + @@ -2543,26 +2506,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2616,26 +2576,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2652,11 +2609,8 @@ - - - - - + + @@ -2670,26 +2624,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2698,26 +2649,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2790,11 +2738,8 @@ - - - - - + + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps index 60182b92..76d8ac83 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps @@ -136,7 +136,6 @@ - @@ -901,11 +900,8 @@ - - - - - + + @@ -959,11 +955,8 @@ - - - - - + + @@ -972,11 +965,8 @@ - - - - - + + @@ -1030,11 +1020,8 @@ - - - - - + + @@ -1043,11 +1030,8 @@ - - - - - + + @@ -1088,11 +1072,8 @@ - - - - - + + @@ -1109,24 +1090,21 @@ - - - - - - - - - - + + + + + + + + - - - - + + + + - @@ -1140,24 +1118,21 @@ - - - - - - - - - - + + + + + + + + - - - - + + + + - @@ -1180,11 +1155,8 @@ - - - - - + + @@ -1237,26 +1209,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -1268,26 +1237,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -1321,11 +1287,8 @@ - - - - - + + @@ -1339,26 +1302,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -1367,26 +1327,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -1412,11 +1369,8 @@ - - - - - + + @@ -1469,26 +1423,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -1500,26 +1451,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -1553,11 +1501,8 @@ - - - - - + + @@ -1571,26 +1516,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -1599,26 +1541,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -1644,11 +1583,8 @@ - - - - - + + @@ -1701,11 +1637,8 @@ - - - - - + + @@ -1735,24 +1668,21 @@ - - - - - - - - - - + + + + + + + + - - - - + + + + - @@ -1766,24 +1696,21 @@ - - - - - - - - - - + + + + + + + + - - - - + + + + - @@ -1806,11 +1733,8 @@ - - - - - + + @@ -1863,11 +1787,8 @@ - - - - - + + @@ -1897,24 +1818,21 @@ - - - - - - - - - - + + + + + + + + - - - - + + + + - @@ -1928,24 +1846,21 @@ - - - - - - - - - - + + + + + + + + - - - - + + + + - @@ -1968,11 +1883,8 @@ - - - - - + + @@ -2025,24 +1937,21 @@ - - - - - - - - - - + + + + + + + + - - - - + + + + - @@ -2072,11 +1981,8 @@ - - - - - + + @@ -2090,24 +1996,21 @@ - - - - - - - - - - + + + + + + + + - - - - + + + + - @@ -2130,11 +2033,8 @@ - - - - - + + @@ -2182,24 +2082,21 @@ - - - - - - - - - - + + + + + + + + - - - - + + + + - @@ -2229,11 +2126,8 @@ - - - - - + + @@ -2247,24 +2141,21 @@ - - - - - - - - - - + + + + + + + + - - - - + + + + - @@ -2287,11 +2178,8 @@ - - - - - + + @@ -2339,11 +2227,8 @@ - - - - - + + @@ -2376,26 +2261,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2428,26 +2310,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2481,26 +2360,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2514,26 +2390,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2542,26 +2415,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2570,26 +2440,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2624,11 +2491,8 @@ - - - - - + + @@ -2681,11 +2545,8 @@ - - - - - + + @@ -2718,26 +2579,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2770,26 +2628,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2823,26 +2678,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2856,26 +2708,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2884,26 +2733,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2912,26 +2758,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -2966,11 +2809,8 @@ - - - - - + + @@ -3036,11 +2876,8 @@ - - - - - + + @@ -3068,26 +2905,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -3123,26 +2957,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -3156,26 +2987,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -3184,26 +3012,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -3229,11 +3054,8 @@ - - - - - + + @@ -3299,11 +3121,8 @@ - - - - - + + @@ -3339,26 +3158,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -3386,26 +3202,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -3419,26 +3232,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -3447,26 +3257,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -3492,11 +3299,8 @@ - - - - - + + @@ -3549,11 +3353,8 @@ - - - - - + + @@ -3586,24 +3387,21 @@ - - - - - - - - - - + + + + + + + + - - - - + + + + - @@ -3617,26 +3415,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -3665,11 +3460,8 @@ - - - - - + + @@ -3743,11 +3535,8 @@ - - - - - + + @@ -3759,38 +3548,35 @@ - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - + + + + + + + + + + + + + + + - + + + - + @@ -3802,38 +3588,35 @@ - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - + + + + + + + + + + + + + + + - + + + - + @@ -3847,38 +3630,35 @@ - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - + + + + + + + + + + + + + + + - + + + - + @@ -3887,38 +3667,35 @@ - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - + + + + + + + + + + + + + + + - + + + - + @@ -3944,11 +3721,8 @@ - - - - - + + @@ -4022,11 +3796,8 @@ - - - - - + + @@ -4038,38 +3809,35 @@ - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - + + + + + + + + + + + + + + + - + + + - + @@ -4083,38 +3851,35 @@ - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - + + + + + + + + + + + + + + + - + + + - + @@ -4137,11 +3902,8 @@ - - - - - + + @@ -4231,11 +3993,8 @@ - - - - - + + @@ -4268,26 +4027,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -4299,26 +4055,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -4332,26 +4085,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -4360,26 +4110,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -4405,11 +4152,8 @@ - - - - - + + @@ -4483,26 +4227,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -4535,26 +4276,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -4587,11 +4325,8 @@ - - - - - + + @@ -4605,26 +4340,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -4633,26 +4365,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -4684,11 +4413,8 @@ - - - - - + + @@ -4762,26 +4488,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -4814,26 +4537,23 @@ - - - - - - - - - - - - - - + + + + - - + + + + + + + - + + + @@ -4866,11 +4586,8 @@ - - - - - + + @@ -4902,11 +4619,8 @@ - - - - - + + @@ -4980,11 +4694,8 @@ - - - - - + + @@ -5017,24 +4728,21 @@ - - - - - - - - - - + + + + + + + + - - - - + + + + - @@ -5048,24 +4756,21 @@ - - - - - - - - - - + + + + + + + + - - - - + + + + - @@ -5094,11 +4799,8 @@ - - - - - + + @@ -5172,11 +4874,8 @@ - - - - - + + @@ -5209,24 +4908,21 @@ - - - - - - - - - - + + + + + + + + - - - - + + + + - @@ -5240,24 +4936,21 @@ - - - - - - - - - - + + + + + + + + - - - - + + + + - @@ -5286,11 +4979,8 @@ - - - - - + + @@ -5356,11 +5046,8 @@ - - - - - + + @@ -5401,34 +5088,31 @@ - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + - - + + + + + - + + + + - @@ -5445,11 +5129,8 @@ - - - - - + + @@ -5463,28 +5144,25 @@ - - - - - - - - - - - - - - + + + + + + - - + + + + + - + + + - + @@ -5507,11 +5185,8 @@ - - - - - + + diff --git a/samples/fitch/languages/samples.fitch/models/types.mps b/samples/fitch/languages/samples.fitch/models/types.mps index 5788ea26..665238b8 100644 --- a/samples/fitch/languages/samples.fitch/models/types.mps +++ b/samples/fitch/languages/samples.fitch/models/types.mps @@ -238,11 +238,8 @@ - - - - - + + @@ -295,11 +292,8 @@ - - - - - + + @@ -329,11 +323,8 @@ - - - - - + + @@ -346,11 +337,8 @@ - - - - - + + @@ -378,11 +366,8 @@ - - - - - + + @@ -433,11 +418,8 @@ - - - - - + + @@ -450,11 +432,8 @@ - - - - - + + @@ -529,11 +508,8 @@ - - - - - + + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index 4741159d..84097ee5 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -811,11 +811,8 @@ - - - - - + + @@ -2442,11 +2439,8 @@ - - - - - + + @@ -2458,11 +2452,8 @@ - - - - - + + @@ -2511,11 +2502,8 @@ - - - - - + + @@ -2527,11 +2515,8 @@ - - - - - + + @@ -2587,16 +2572,13 @@ - - - - - - - - + + + + + + - @@ -2608,16 +2590,13 @@ - - - - - - - - + + + + + + - @@ -2687,16 +2666,13 @@ - - - - - - - - + + + + + + - @@ -2712,16 +2688,13 @@ - - - - - - - - + + + + + + - @@ -2770,16 +2743,13 @@ - - - - - - - - + + + + + + - @@ -2825,16 +2795,13 @@ - - - - - - - - + + + + + + - @@ -2851,16 +2818,13 @@ - - - - - - - - + + + + + + - @@ -2889,11 +2853,8 @@ - - - - - + + @@ -2905,11 +2866,8 @@ - - - - - + + @@ -2961,16 +2919,13 @@ - - - - - - - - + + + + + + - @@ -3016,11 +2971,8 @@ - - - - - + + @@ -3032,11 +2984,8 @@ - - - - - + + @@ -3069,21 +3018,18 @@ - - - - - - - - - + + + + - - + + - + + + @@ -3095,16 +3041,13 @@ - - - - - - - - + + + + + + - @@ -3121,21 +3064,18 @@ - - - - - - - - - + + + + - - + + - + + + @@ -3147,16 +3087,13 @@ - - - - - - - - + + + + + + - @@ -3231,11 +3168,8 @@ - - - - - + + @@ -3261,11 +3195,8 @@ - - - - - + + @@ -3300,16 +3231,13 @@ - - - - - - - - + + + + + + - @@ -3321,16 +3249,13 @@ - - - - - - - - + + + + + + - @@ -3347,16 +3272,13 @@ - - - - - - - - + + + + + + - @@ -3368,16 +3290,13 @@ - - - - - - - - + + + + + + - @@ -3652,11 +3571,8 @@ - - - - - + + @@ -3745,11 +3661,8 @@ - - - - - + + @@ -3812,16 +3725,13 @@ - - - - - - - - + + + + + + - @@ -3833,16 +3743,13 @@ - - - - - - - - + + + + + + - @@ -3854,16 +3761,13 @@ - - - - - - - - + + + + + + - @@ -3880,16 +3784,13 @@ - - - - - - - - + + + + + + - @@ -3946,11 +3847,8 @@ - - - - - + + @@ -3962,11 +3860,8 @@ - - - - - + + @@ -4117,11 +4012,8 @@ - - - - - + + @@ -4133,11 +4025,8 @@ - - - - - + + @@ -4172,16 +4061,13 @@ - - - - - - - - + + + + + + - @@ -4193,16 +4079,13 @@ - - - - - - - - + + + + + + - @@ -4219,16 +4102,13 @@ - - - - - - - - + + + + + + - @@ -4240,16 +4120,13 @@ - - - - - - - - + + + + + + - @@ -4318,11 +4195,8 @@ - - - - - + + @@ -4348,11 +4222,8 @@ - - - - - + + @@ -5091,11 +4962,8 @@ - - - - - + + @@ -10866,11 +10734,8 @@ - - - - - + + @@ -10886,11 +10751,8 @@ - - - - - + + @@ -10967,11 +10829,8 @@ - - - - - + + @@ -11049,16 +10908,13 @@ - - - - - - - - + + + + + + - @@ -11134,11 +10990,8 @@ - - - - - + + @@ -11167,16 +11020,13 @@ - - - - - - - - + + + + + + - @@ -11188,16 +11038,13 @@ - - - - - - - - + + + + + + - @@ -11276,16 +11123,13 @@ - - - - - - - - + + + + + + - @@ -11302,11 +11146,8 @@ - - - - - + + @@ -11322,16 +11163,13 @@ - - - - - - - - + + + + + + - @@ -11380,16 +11218,13 @@ - - - - - - - - + + + + + + - @@ -11637,16 +11472,13 @@ - - - - - - - - + + + + + + - @@ -11663,11 +11495,8 @@ - - - - - + + @@ -11714,11 +11543,8 @@ - - - - - + + @@ -11730,11 +11556,8 @@ - - - - - + + @@ -11778,16 +11601,13 @@ - - - - - - - - + + + + + + - @@ -11804,16 +11624,13 @@ - - - - - - - - + + + + + + - @@ -11830,16 +11647,13 @@ - - - - - - - - + + + + + + - @@ -11879,11 +11693,8 @@ - - - - - + + @@ -11895,11 +11706,8 @@ - - - - - + + @@ -12160,16 +11968,13 @@ - - - - - - - - + + + + + + - @@ -12380,16 +12185,13 @@ - - - - - - - - + + + + + + - @@ -12462,11 +12264,8 @@ - - - - - + + @@ -12483,21 +12282,18 @@ - - - - - - - - - + + + + - - + + - + + + @@ -12557,16 +12353,13 @@ - - - - - - - - + + + + + + - @@ -12642,16 +12435,13 @@ - - - - - - - - + + + + + + - @@ -12689,21 +12479,18 @@ - - - - - - - - - + + + + - - + + - + + + @@ -12720,16 +12507,13 @@ - - - - - - - - + + + + + + - @@ -12746,16 +12530,13 @@ - - - - - - - - + + + + + + - @@ -13109,11 +12890,8 @@ - - - - - + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps index 9168dfc8..ce804cfc 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps @@ -144,7 +144,6 @@ - @@ -395,32 +394,26 @@ - - - - - + + - - - - - - - - - - + + + + + - - + + - + + + - + @@ -429,37 +422,31 @@ - - - - - - - - + + + + + + - - - - - - - - - - - + + + + + - - + + - + + + - + @@ -557,11 +544,8 @@ - - - - - + + @@ -584,11 +568,8 @@ - - - - - + + @@ -602,11 +583,8 @@ - - - - - + + @@ -631,11 +609,8 @@ - - - - - + + @@ -696,11 +671,8 @@ - - - - - + + @@ -723,11 +695,8 @@ - - - - - + + @@ -741,11 +710,8 @@ - - - - - + + @@ -770,11 +736,8 @@ - - - - - + + @@ -834,11 +797,8 @@ - - - - - + + @@ -858,19 +818,13 @@ - - - - - + + - - - - - + + @@ -887,11 +841,8 @@ - - - - - + + @@ -944,19 +895,13 @@ - - - - - + + - - - - - + + @@ -973,11 +918,8 @@ - - - - - + + @@ -1013,11 +955,8 @@ - - - - - + + @@ -1102,11 +1041,8 @@ - - - - - + + @@ -1126,24 +1062,18 @@ - - - - - - - - + + + + + + - - - - - - + + @@ -1160,11 +1090,8 @@ - - - - - + + @@ -1217,24 +1144,18 @@ - - - - - - - - + + + + + + - - - - - - + + @@ -1251,11 +1172,8 @@ - - - - - + + @@ -1291,11 +1209,8 @@ - - - - - + + @@ -1361,11 +1276,8 @@ - - - - - + + @@ -1450,11 +1362,8 @@ - - - - - + + @@ -1471,11 +1380,8 @@ - - - - - + + @@ -1501,16 +1407,13 @@ - - - - - - - - + + + + + + - @@ -1522,16 +1425,13 @@ - - - - - - - - + + + + + + - @@ -1564,11 +1464,8 @@ - - - - - + + @@ -1585,11 +1482,8 @@ - - - - - + + @@ -1614,24 +1508,18 @@ - - - - - + + - - - - - - - - + + + + + + - @@ -1640,29 +1528,23 @@ - - - - - - - - + + + + + + - - - - - - - - - + + + + + + - @@ -1674,16 +1556,13 @@ - - - - - - - - + + + + + + - @@ -1718,11 +1597,8 @@ - - - - - + + @@ -1739,11 +1615,8 @@ - - - - - + + @@ -1771,16 +1644,13 @@ - - - - - - - - + + + + + + - @@ -1789,29 +1659,23 @@ - - - - - - - - + + + + + + - - - - - - - - - + + + + + + - @@ -1823,16 +1687,13 @@ - - - - - - - - + + + + + + - @@ -1867,11 +1728,8 @@ - - - - - + + @@ -1888,11 +1746,8 @@ - - - - - + + @@ -1918,16 +1773,13 @@ - - - - - - - - + + + + + + - @@ -1939,16 +1791,13 @@ - - - - - - - - + + + + + + - @@ -1981,11 +1830,8 @@ - - - - - + + @@ -2002,11 +1848,8 @@ - - - - - + + @@ -2032,16 +1875,13 @@ - - - - - - - - + + + + + + - @@ -2053,16 +1893,13 @@ - - - - - - - - + + + + + + - @@ -2095,11 +1932,8 @@ - - - - - + + @@ -2116,11 +1950,8 @@ - - - - - + + @@ -2148,16 +1979,13 @@ - - - - - - - - + + + + + + - @@ -2166,16 +1994,13 @@ - - - - - - - - + + + + + + - @@ -2184,29 +2009,23 @@ - - - - - - - - + + + + + + - - - - - - - - - + + + + + + - @@ -2215,29 +2034,23 @@ - - - - - - - - + + + + + + - - - - - - - - - + + + + + + - @@ -2249,16 +2062,13 @@ - - - - - - - - + + + + + + - @@ -2270,16 +2080,13 @@ - - - - - - - - + + + + + + - @@ -2314,11 +2121,8 @@ - - - - - + + @@ -2335,11 +2139,8 @@ - - - - - + + @@ -2362,11 +2163,8 @@ - - - - - + + @@ -2402,11 +2200,8 @@ - - - - - + + @@ -2423,11 +2218,8 @@ - - - - - + + @@ -2457,19 +2249,16 @@ - - - - - - - - - + + + + + + + - - + @@ -2481,19 +2270,16 @@ - - - - - - - - - + + + + + + + - - + @@ -2524,19 +2310,13 @@ - - - - - + + - - - - - + + @@ -2630,11 +2410,8 @@ - - - - - + + @@ -2651,11 +2428,8 @@ - - - - - + + @@ -2681,16 +2455,13 @@ - - - - - - - - + + + + + + - @@ -2702,16 +2473,13 @@ - - - - - - - - + + + + + + - @@ -2745,11 +2513,8 @@ - - - - - + + @@ -2766,11 +2531,8 @@ - - - - - + + @@ -2798,16 +2560,13 @@ - - - - - - - - + + + + + + - @@ -2816,29 +2575,23 @@ - - - - - - - - + + + + + + - - - - - - - - - + + + + + + - @@ -2850,16 +2603,13 @@ - - - - - - - - + + + + + + - @@ -2894,11 +2644,8 @@ - - - - - + + @@ -2915,11 +2662,8 @@ - - - - - + + @@ -2977,11 +2721,8 @@ - - - - - + + @@ -2998,11 +2739,8 @@ - - - - - + + @@ -3063,22 +2801,16 @@ - - - - - - + + + - + - - - - - + + @@ -3123,11 +2855,8 @@ - - - - - + + @@ -3144,11 +2873,8 @@ - - - - - + + @@ -3171,11 +2897,8 @@ - - - - - + + @@ -3212,11 +2935,8 @@ - - - - - + + @@ -3233,11 +2953,8 @@ - - - - - + + @@ -3260,11 +2977,8 @@ - - - - - + + @@ -3300,11 +3014,8 @@ - - - - - + + @@ -3321,11 +3032,8 @@ - - - - - + + @@ -3348,24 +3056,18 @@ - - - - - + + - - - - - - - - + + + + + + - @@ -3377,16 +3079,13 @@ - - - - - - - - + + + + + + - @@ -3419,11 +3118,8 @@ - - - - - + + @@ -3440,11 +3136,8 @@ - - - - - + + @@ -3467,24 +3160,18 @@ - - - - - + + - - - - - - - - + + + + + + - @@ -3496,16 +3183,13 @@ - - - - - - - - + + + + + + - @@ -3538,11 +3222,8 @@ - - - - - + + @@ -3559,11 +3240,8 @@ - - - - - + + @@ -3590,24 +3268,18 @@ - - - - - + + - - - - - - - - + + + + + + - @@ -3619,16 +3291,13 @@ - - - - - - - - + + + + + + - @@ -3652,11 +3321,8 @@ - - - - - + + @@ -3697,11 +3363,8 @@ - - - - - + + @@ -3718,11 +3381,8 @@ - - - - - + + @@ -3749,32 +3409,26 @@ - - - - - + + - - - - - - - - - - + + + + + - - + + - + + + - + @@ -3786,24 +3440,21 @@ - - - - - - - - - - + + + + + - - + + - + + + - + @@ -3832,11 +3483,8 @@ - - - - - + + @@ -3877,11 +3525,8 @@ - - - - - + + @@ -3898,11 +3543,8 @@ - - - - - + + @@ -3930,16 +3572,13 @@ - - - - - - - - + + + + + + - @@ -3948,24 +3587,18 @@ - - - - - + + - - - - - - - - + + + + + + - @@ -3975,11 +3608,8 @@ - - - - - + + @@ -3991,32 +3621,26 @@ - - - - - + + - - - - - - - - - - + + + + + - - + + - + + + - + @@ -4028,24 +3652,21 @@ - - - - - - - - - - + + + + + - - + + - + + + - + @@ -4074,11 +3695,8 @@ - - - - - + + @@ -4105,11 +3723,8 @@ - - - - - + + @@ -4119,19 +3734,13 @@ - - - - - + + - - - - - + + @@ -4143,11 +3752,8 @@ - - - - - + + @@ -4182,11 +3788,8 @@ - - - - - + + @@ -4196,24 +3799,18 @@ - - - - - + + - - - - - - - - + + + + + + - @@ -4225,16 +3822,13 @@ - - - - - - - - + + + + + + - @@ -4258,11 +3852,8 @@ - - - - - + + @@ -4303,11 +3894,8 @@ - - - - - + + @@ -4324,11 +3912,8 @@ - - - - - + + @@ -4356,16 +3941,13 @@ - - - - - - - - + + + + + + - @@ -4374,24 +3956,18 @@ - - - - - + + - - - - - - - - + + + + + + - @@ -4401,11 +3977,8 @@ - - - - - + + @@ -4417,32 +3990,26 @@ - - - - - + + - - - - - - - - - - + + + + + - - + + - + + + - + @@ -4454,24 +4021,21 @@ - - - - - - - - - - + + + + + - - + + - + + + - + @@ -4500,11 +4064,8 @@ - - - - - + + @@ -4545,11 +4106,8 @@ - - - - - + + @@ -4566,11 +4124,8 @@ - - - - - + + @@ -4796,19 +4351,13 @@ - - - - - + + - - - - - + + @@ -4858,19 +4407,13 @@ - - - - - + + - - - - - + + @@ -4903,14 +4446,11 @@ - - - - - - + + + - + @@ -4919,22 +4459,16 @@ - - - - - + + - - - - - - + + + - + @@ -4956,11 +4490,8 @@ - - - - - + + @@ -4973,11 +4504,8 @@ - - - - - + + @@ -4996,32 +4524,26 @@ - - - - - + + - - - - - - - - - - + + + + + - - + + - + + + - + @@ -5032,35 +4554,29 @@ - - - - - - + + + - + - - - - - - - - - - + + + + + - - + + - + + + - + @@ -5072,14 +4588,11 @@ - - - - - - + + + - + @@ -5114,24 +4627,21 @@ - - - - - - - - - - + + + + + - - + + - + + + - + @@ -5187,22 +4697,16 @@ - - - - - + + - - - - - - + + + - + @@ -5214,14 +4718,11 @@ - - - - - - + + + - + @@ -5256,19 +4757,13 @@ - - - - - + + - - - - - + + @@ -5293,11 +4788,8 @@ - - - - - + + @@ -5335,11 +4827,8 @@ - - - - - + + @@ -5356,11 +4845,8 @@ - - - - - + + @@ -5398,24 +4884,18 @@ - - - - - + + - - - - - - - - + + + + + + - @@ -5427,16 +4907,13 @@ - - - - - - - - + + + + + + - @@ -5449,11 +4926,8 @@ - - - - - + + @@ -5507,11 +4981,8 @@ - - - - - + + @@ -7129,11 +6600,8 @@ - - - - - + + @@ -7144,19 +6612,13 @@ - - - - - + + - - - - - + + @@ -7213,24 +6675,18 @@ - - - - - - - - + + + + + + - - - - - - + + @@ -7258,24 +6714,18 @@ - - - - - - - - + + + + + + - - - - - - + + 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 a5fc8791..72e1676c 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 @@ -843,16 +843,13 @@ - - - - - - - - + + + + + + - @@ -875,11 +872,8 @@ - - - - - + + @@ -912,16 +906,13 @@ - - - - - - - - + + + + + + - @@ -944,11 +935,8 @@ - - - - - + + @@ -981,16 +969,13 @@ - - - - - - - - + + + + + + - @@ -1013,11 +998,8 @@ - - - - - + + @@ -1137,11 +1119,8 @@ - - - - - + + @@ -1238,11 +1217,8 @@ - - - - - + + @@ -1312,11 +1288,8 @@ - - - - - + + @@ -1386,11 +1359,8 @@ - - - - - + + @@ -1460,11 +1430,8 @@ - - - - - + + @@ -1534,11 +1501,8 @@ - - - - - + + @@ -1608,11 +1572,8 @@ - - - - - + + @@ -1682,11 +1643,8 @@ - - - - - + + @@ -1761,11 +1719,8 @@ - - - - - + + @@ -1974,11 +1929,8 @@ - - - - - + + @@ -2013,16 +1965,13 @@ - - - - - - - - + + + + + + - @@ -2073,11 +2022,8 @@ - - - - - + + @@ -2187,16 +2133,13 @@ - - - - - - - - + + + + + + - @@ -2434,11 +2377,8 @@ - - - - - + + @@ -2498,11 +2438,8 @@ - - - - - + + @@ -2632,11 +2569,8 @@ - - - - - + + @@ -2669,16 +2603,13 @@ - - - - - - - - + + + + + + - @@ -2719,11 +2650,8 @@ - - - - - + + @@ -2756,16 +2684,13 @@ - - - - - - - - + + + + + + - @@ -2788,11 +2713,8 @@ - - - - - + + @@ -2892,11 +2814,8 @@ - - - - - + + @@ -2908,16 +2827,13 @@ - - - - - - - - + + + + + + - @@ -3013,11 +2929,8 @@ - - - - - + + @@ -5497,11 +5410,8 @@ - - - - - + + @@ -5518,16 +5428,13 @@ - - - - - - - - + + + + + + - @@ -5548,16 +5455,13 @@ - - - - - - - - + + + + + + - @@ -6504,11 +6408,8 @@ - - - - - + + @@ -7044,11 +6945,8 @@ - - - - - + + @@ -7069,16 +6967,13 @@ - - - - - - - - + + + + + + - @@ -7958,11 +7853,8 @@ - - - - - + + @@ -8059,11 +7951,8 @@ - - - - - + + @@ -8348,11 +8237,8 @@ - - - - - + + @@ -8390,11 +8276,8 @@ - - - - - + + @@ -8592,11 +8475,8 @@ - - - - - + + @@ -8624,16 +8504,13 @@ - - - - - - - - + + + + + + - @@ -9072,11 +8949,8 @@ - - - - - + + @@ -9114,11 +8988,8 @@ - - - - - + + @@ -9347,11 +9218,8 @@ - - - - - + + @@ -9379,16 +9247,13 @@ - - - - - - - - + + + + + + - @@ -9827,11 +9692,8 @@ - - - - - + + @@ -9869,11 +9731,8 @@ - - - - - + + @@ -10076,11 +9935,8 @@ - - - - - + + @@ -12571,11 +12427,8 @@ - - - - - + + @@ -12685,16 +12538,13 @@ - - - - - - - - + + + + + + - @@ -12820,11 +12670,8 @@ - - - - - + + @@ -12874,11 +12721,8 @@ - - - - - + + @@ -12951,16 +12795,13 @@ - - - - - - - - + + + + + + - @@ -12972,16 +12813,13 @@ - - - - - - - - + + + + + + - @@ -13018,11 +12856,8 @@ - - - - - + + @@ -13051,11 +12886,8 @@ - - - - - + + @@ -13102,16 +12934,13 @@ - - - - - - - - + + + + + + - @@ -13123,16 +12952,13 @@ - - - - - - - - + + + + + + - @@ -13169,11 +12995,8 @@ - - - - - + + @@ -13202,11 +13025,8 @@ - - - - - + + @@ -13253,16 +13073,13 @@ - - - - - - - - + + + + + + - @@ -13274,16 +13091,13 @@ - - - - - - - - + + + + + + - @@ -13320,11 +13134,8 @@ - - - - - + + @@ -13357,16 +13168,13 @@ - - - - - - - - + + + + + + - @@ -13378,16 +13186,13 @@ - - - - - - - - + + + + + + - @@ -13438,11 +13243,8 @@ - - - - - + + @@ -13475,16 +13277,13 @@ - - - - - - - - + + + + + + - @@ -13496,16 +13295,13 @@ - - - - - - - - + + + + + + - @@ -13517,16 +13313,13 @@ - - - - - - - - + + + + + + - @@ -13598,11 +13391,8 @@ - - - - - + + @@ -13635,16 +13425,13 @@ - - - - - - - - + + + + + + - @@ -13656,16 +13443,13 @@ - - - - - - - - + + + + + + - @@ -13708,11 +13492,8 @@ - - - - - + + @@ -13745,16 +13526,13 @@ - - - - - - - - + + + + + + - @@ -13766,16 +13544,13 @@ - - - - - - - - + + + + + + - @@ -13818,11 +13593,8 @@ - - - - - + + @@ -13855,16 +13627,13 @@ - - - - - - - - + + + + + + - @@ -13876,16 +13645,13 @@ - - - - - - - - + + + + + + - @@ -13928,11 +13694,8 @@ - - - - - + + @@ -13965,16 +13728,13 @@ - - - - - - - - + + + + + + - @@ -13986,16 +13746,13 @@ - - - - - - - - + + + + + + - @@ -14038,11 +13795,8 @@ - - - - - + + @@ -14075,16 +13829,13 @@ - - - - - - - - + + + + + + - @@ -14096,16 +13847,13 @@ - - - - - - - - + + + + + + - @@ -14148,11 +13896,8 @@ - - - - - + + @@ -14185,16 +13930,13 @@ - - - - - - - - + + + + + + - @@ -14206,16 +13948,13 @@ - - - - - - - - + + + + + + - @@ -14258,11 +13997,8 @@ - - - - - + + @@ -14295,16 +14031,13 @@ - - - - - - - - + + + + + + - @@ -14316,16 +14049,13 @@ - - - - - - - - + + + + + + - @@ -14368,11 +14098,8 @@ - - - - - + + @@ -14405,16 +14132,13 @@ - - - - - - - - + + + + + + - @@ -14426,16 +14150,13 @@ - - - - - - - - + + + + + + - @@ -14478,11 +14199,8 @@ - - - - - + + @@ -31256,11 +30974,8 @@ - - - - - + + @@ -38231,16 +37946,13 @@ - - - - - - - - + + + + + + - @@ -38789,11 +38501,8 @@ - - - - - + + @@ -38883,11 +38592,8 @@ - - - - - + + @@ -38922,21 +38628,18 @@ - - - - + + + + + + + - - - - - - - + + - @@ -39042,16 +38745,13 @@ - - - - - - - - + + + + + + - @@ -39076,16 +38776,13 @@ - - - - - - - - + + + + + + - @@ -39125,11 +38822,8 @@ - - - - - + + @@ -39194,11 +38888,8 @@ - - - - - + + @@ -39221,11 +38912,8 @@ - - - - - + + @@ -39293,11 +38981,8 @@ - - - - - + + @@ -39364,11 +39049,8 @@ - - - - - + + @@ -39394,11 +39076,8 @@ - - - - - + + @@ -39410,11 +39089,8 @@ - - - - - + + @@ -39547,19 +39223,13 @@ - - - - - + + - - - - - + + @@ -39585,11 +39255,8 @@ - - - - - + + @@ -39606,11 +39273,8 @@ - - - - - + + @@ -39736,11 +39400,8 @@ - - - - - + + @@ -39829,7 +39490,7 @@ - + @@ -39899,7 +39560,7 @@ - + @@ -39998,7 +39659,7 @@ - + @@ -40071,7 +39732,7 @@ - + @@ -40153,7 +39814,7 @@ - + @@ -40179,8 +39840,8 @@ - - + + @@ -40190,18 +39851,18 @@ - + - + - + @@ -43078,16 +42739,13 @@ - - - - - - - - + + + + + + - @@ -43110,11 +42768,8 @@ - - - - - + + @@ -43196,11 +42851,8 @@ - - - - - + + @@ -43262,11 +42914,8 @@ - - - - - + + @@ -43328,11 +42977,8 @@ - - - - - + + @@ -43394,11 +43040,8 @@ - - - - - + + @@ -43462,11 +43105,8 @@ - - - - - + + @@ -43483,11 +43123,8 @@ - - - - - + + @@ -43583,11 +43220,8 @@ - - - - - + + @@ -43604,11 +43238,8 @@ - - - - - + + @@ -43704,11 +43335,8 @@ - - - - - + + @@ -43725,11 +43353,8 @@ - - - - - + + @@ -43825,11 +43450,8 @@ - - - - - + + @@ -43846,11 +43468,8 @@ - - - - - + + @@ -43946,11 +43565,8 @@ - - - - - + + @@ -44018,11 +43634,8 @@ - - - - - + + @@ -44129,11 +43742,8 @@ - - - - - + + @@ -44240,11 +43850,8 @@ - - - - - + + @@ -44459,16 +44066,13 @@ - - - - - - - - + + + + + + - @@ -44564,11 +44168,8 @@ - - - - - + + @@ -44779,16 +44380,13 @@ - - - - - - - - + + + + + + -