From 440fcf868a0c8755c79678b3f2a928e25efc5161 Mon Sep 17 00:00:00 2001 From: "grigorii.kirgizov" Date: Mon, 24 Dec 2018 14:53:14 +0300 Subject: [PATCH] Intermediate commit: add VarType DF with editor; partial work on subsumed relation --- .../samples.lambdacalc/models/behavior.mps | 4 +- .../samples.lambdacalc/models/constraints.mps | 356 +- .../samples.lambdacalc/models/editor.mps | 56 +- .../samples.lambdacalc/models/structure.mps | 19 +- .../samples.lambdacalc/models/types.mps | 4314 +++++++++++------ 5 files changed, 3218 insertions(+), 1531 deletions(-) diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps index cd438ecb..f3b05c7f 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps @@ -264,8 +264,8 @@ - - + + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps index bf7ba075..b1012cfd 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps @@ -4,6 +4,7 @@ + @@ -105,6 +106,7 @@ + @@ -234,6 +236,9 @@ + + + @@ -613,16 +618,319 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + @@ -651,7 +959,7 @@ - + @@ -663,7 +971,7 @@ - + @@ -834,5 +1142,45 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps index fa9ebea3..1b7a51a1 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps @@ -756,7 +756,7 @@ - + @@ -781,6 +781,25 @@ + + + + + + + + + + + + + + + + + + + @@ -795,6 +814,25 @@ + + + + + + + + + + + + + + + + + + + @@ -921,5 +959,21 @@ + + + + + + + + + + + + + + + + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps index 133c3c17..05d04473 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps @@ -280,12 +280,14 @@ - - + + + + @@ -449,5 +451,18 @@ + + + + + + + + + + + + + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index 9e79325e..0bdfcb54 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -27,6 +27,7 @@ + @@ -107,6 +108,7 @@ + @@ -193,7 +195,6 @@ - @@ -240,6 +241,10 @@ + + + + @@ -251,10 +256,14 @@ + + + + @@ -310,10 +319,10 @@ + - @@ -357,6 +366,7 @@ + @@ -398,6 +408,7 @@ + @@ -447,6 +458,9 @@ + + + @@ -1131,61 +1145,52 @@ - - - - - - - - - - - - - - - - - - - + + + + + + + - - + + - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - + + + + + + @@ -1203,6 +1208,29 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -1316,7 +1344,7 @@ - + @@ -1431,119 +1459,118 @@ + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - + + + + + - - + + - + - - - + + + - - - + + + - + - - + + - + - - - + + + - - - + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - + + - - + + - - + + - - + + - - + + @@ -1559,283 +1586,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2387,21 +2137,6 @@ - - - - - - - - - - - - - - - @@ -2416,16 +2151,45 @@ - - - + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2440,20 +2204,6 @@ - - - - - - - - - - - - - - @@ -2494,7 +2244,6 @@ - @@ -2508,6 +2257,20 @@ + + + + + + + + + + + + + + @@ -3569,7 +3332,7 @@ - + @@ -3754,8 +3517,21 @@ - - + + + + + + + + + + + + + + + @@ -3788,6 +3564,9 @@ + + + @@ -3813,14 +3592,14 @@ - - + + - + - - - + + + @@ -3837,6 +3616,108 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3899,6 +3780,261 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3977,15 +4113,15 @@ - - + + - + - - - - + + + + @@ -4103,25 +4239,15 @@ - - + + - + - - - - - - - - - - - - - - + + + + @@ -4244,30 +4370,7 @@ - - - - - - - - - - - - - - - - - - - - - - - - + @@ -5070,16 +5173,16 @@ - - - - - + + + + + - + @@ -5373,87 +5476,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -5550,50 +5572,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -5611,7 +5589,7 @@ - + @@ -5642,6 +5620,9 @@ + + + @@ -5666,51 +5647,11 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -5736,14 +5677,37 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + - - - @@ -5771,6 +5735,9 @@ + + + @@ -5779,9 +5746,6 @@ - - - @@ -5807,6 +5771,9 @@ + + + @@ -5815,9 +5782,6 @@ - - - @@ -5835,6 +5799,9 @@ + + + @@ -5843,9 +5810,6 @@ - - - @@ -5865,6 +5829,9 @@ + + + @@ -5873,9 +5840,6 @@ - - - @@ -5899,6 +5863,9 @@ + + + @@ -5907,35 +5874,27 @@ - - - + + + - - - - + + + + - - - - - - - - - - - - - - - + + + + + + + @@ -5945,15 +5904,14 @@ - - + + - @@ -5981,8 +5939,8 @@ - - + + @@ -6006,7 +5964,7 @@ - + @@ -6677,6 +6635,9 @@ + + + @@ -6737,64 +6698,86 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - + + + + + + + + + + - - - - - - - + + - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + + + + + + + + + + + @@ -7026,6 +7009,14 @@ + + + + + + + + @@ -7089,244 +7080,172 @@ - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7336,100 +7255,88 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + - - + + + + + + + + + + + + + + + + + + @@ -7438,12 +7345,676 @@ - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7465,7 +8036,7 @@ - + @@ -7476,7 +8047,7 @@ - + @@ -7510,14 +8081,39 @@ - - - - + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + @@ -7527,6 +8123,196 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7565,7 +8351,7 @@ - + @@ -7622,7 +8408,7 @@ - + @@ -7633,7 +8419,7 @@ - + @@ -7681,7 +8467,7 @@ - + @@ -7738,7 +8524,7 @@ - + @@ -7749,7 +8535,7 @@ - + @@ -7764,52 +8550,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7829,7 +8569,7 @@ - + @@ -7840,21 +8580,14 @@ - - - - - + + + + + - - - - - - - - + @@ -7863,10 +8596,73 @@ - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7933,89 +8729,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -8250,24 +8963,342 @@ - + - - - + + + - - - - + + + + - - + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8279,19 +9310,6 @@ - - - - - - - - - - - - - @@ -8300,8 +9318,39 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8311,143 +9360,128 @@ - + - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -8455,163 +9489,230 @@ - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - + + + + + + + + + + + + + - - + + - + - - - + + + - - - + + + + + + + + + + + + + + + + + + - - + + - - - - + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8747,12 +9848,26 @@ - - - + + + + - - + + + + + + + + + + + + + + + @@ -8796,25 +9911,6 @@ - - - - - - - - - - - - - - - - - - - @@ -8868,6 +9964,180 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +