From 42bc7a88fdc459412ddfd02d6189ee5ee2e274b3 Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Tue, 10 Nov 2020 14:42:18 +0300 Subject: [PATCH] Modify incremental tests to allow testing other queries, add test --- ...brains.mps.coderules.typechecking.test.msd | 1 + ...ins.mps.coderules.incrementality@tests.mps | 17 +- ...s.mps.coderules.typechecking.test.util.mps | 1624 ++++++++++++++--- .../jetbrains.mps.baseLanguageExt.test.msd | 2 + ...baseLanguageExt.test.incremental@tests.mps | 1209 ++++++++++-- 5 files changed, 2505 insertions(+), 348 deletions(-) diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd index ec1caebf..a777b5c8 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd @@ -29,6 +29,7 @@ f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime) 7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem) f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules) + bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) 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 e52907ae..189e420b 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 @@ -517,8 +517,21 @@ - - + + + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps index fb3cbcc1..cd3c3bca 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps @@ -37,6 +37,9 @@ + + + @@ -44,6 +47,9 @@ + + + @@ -147,6 +153,7 @@ + @@ -180,7 +187,9 @@ - + + + @@ -215,6 +224,9 @@ + + + @@ -284,10 +296,12 @@ + + @@ -369,8 +383,10 @@ + + @@ -425,14 +441,86 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -452,6 +540,16 @@ + + + + + + + + + + @@ -465,39 +563,73 @@ - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -513,74 +645,17 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - + + + + @@ -600,8 +675,8 @@ - - + + @@ -617,8 +692,12 @@ - - + + + + + + @@ -644,8 +723,19 @@ - - + + + + + + + + + + + + + @@ -683,9 +773,12 @@ - + + + + @@ -697,10 +790,21 @@ - + - - + + + + + + + + + + + + + @@ -783,13 +887,8 @@ - - - - - - - + + @@ -863,12 +962,25 @@ - - - + + + + + + + + + + + + + + + + - - + + @@ -1065,12 +1177,83 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + @@ -1083,6 +1266,34 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1104,8 +1315,11 @@ - - + + + + + @@ -1113,12 +1327,20 @@ - + - - + + + + + + + + + + @@ -1128,7 +1350,7 @@ - + @@ -1180,8 +1402,11 @@ - - + + + + + @@ -1271,6 +1496,16 @@ + + + + + + + + + + @@ -1309,8 +1544,14 @@ - - + + + + + + + + @@ -1345,6 +1586,27 @@ + + + + + + + + + + + + + + + + + + + + + @@ -1436,8 +1698,16 @@ - - + + + + + + + + + + @@ -1565,6 +1835,7 @@ + @@ -1577,26 +1848,14 @@ - - - - - - - - - - + + - - - - - - + + @@ -1659,6 +1918,20 @@ + + + + + + + + + + + + + + @@ -1729,6 +2002,21 @@ + + + + + + + + + + + + + + + @@ -2015,6 +2303,17 @@ + + + + + + + + + + + @@ -2188,7 +2487,7 @@ - + @@ -4153,8 +4452,19 @@ - - + + + + + + + + + + + + + @@ -4174,6 +4484,9 @@ + + + @@ -4447,8 +4760,19 @@ - - + + + + + + + + + + + + + @@ -4468,6 +4792,42 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5009,9 +5369,36 @@ - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5035,9 +5422,221 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -5056,27 +5655,74 @@ - - - - + + + + + + + + + + + + + + + + + + + + + + - - + + - - + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + - + @@ -5088,6 +5734,229 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5101,20 +5970,6 @@ - - - - - - - - - - - - - - @@ -5132,7 +5987,10 @@ - + + + + @@ -5150,7 +6008,7 @@ - + @@ -5183,7 +6041,10 @@ - + + + + @@ -5288,15 +6149,11 @@ - - - - @@ -5367,6 +6224,40 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5403,7 +6294,321 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6109,12 +7314,8 @@ - - - - - - + + @@ -6130,7 +7331,10 @@ - + + + + @@ -6198,16 +7402,12 @@ - - - - - - - + + + @@ -6219,7 +7419,10 @@ - + + + + @@ -6265,16 +7468,12 @@ - - - - - - - + + + @@ -6286,7 +7485,10 @@ - + + + + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd index 5b6f9396..c0c3a740 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd @@ -27,6 +27,7 @@ 7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) + f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime) @@ -69,6 +70,7 @@ + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps index 89ad03ba..1e23fb96 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps @@ -33,9 +33,11 @@ + + @@ -290,6 +292,9 @@ + + + @@ -680,7 +685,7 @@ - + @@ -694,8 +699,8 @@ - - + + @@ -930,8 +935,8 @@ - - + + @@ -1401,7 +1406,7 @@ - + @@ -1466,7 +1471,7 @@ - + @@ -1531,7 +1536,7 @@ - + @@ -1593,7 +1598,7 @@ - + @@ -1672,7 +1677,7 @@ - + @@ -1725,10 +1730,6 @@ - - - - @@ -1790,10 +1791,6 @@ - - - - @@ -1849,7 +1846,7 @@ - + @@ -1944,10 +1941,6 @@ - - - - @@ -2126,10 +2119,6 @@ - - - - @@ -2726,7 +2715,7 @@ - + @@ -2747,10 +2736,6 @@ - - - - @@ -2799,10 +2784,6 @@ - - - - @@ -2848,10 +2829,6 @@ - - - - @@ -2955,7 +2932,7 @@ - + @@ -3040,10 +3017,6 @@ - - - - @@ -3085,7 +3058,7 @@ - + @@ -3107,10 +3080,6 @@ - - - - @@ -3185,10 +3154,6 @@ - - - - @@ -3664,7 +3629,7 @@ - + @@ -3698,10 +3663,6 @@ - - - - @@ -3858,10 +3819,6 @@ - - - - @@ -4245,7 +4202,7 @@ - + @@ -4320,7 +4277,7 @@ - + @@ -4345,10 +4302,6 @@ - - - - @@ -4421,7 +4374,7 @@ - + @@ -4499,7 +4452,7 @@ - + @@ -4520,10 +4473,6 @@ - - - - @@ -4581,10 +4530,6 @@ - - - - @@ -4666,7 +4611,7 @@ - + @@ -4733,10 +4678,6 @@ - - - - @@ -4802,10 +4743,6 @@ - - - - @@ -4854,7 +4791,7 @@ - + @@ -4941,10 +4878,6 @@ - - - - @@ -5014,10 +4947,6 @@ - - - - @@ -5074,7 +5003,7 @@ - + @@ -5154,10 +5083,6 @@ - - - - @@ -5234,10 +5159,6 @@ - - - - @@ -5303,10 +5224,6 @@ - - - - @@ -5425,7 +5342,7 @@ - + @@ -5438,10 +5355,6 @@ - - - - @@ -5495,10 +5408,6 @@ - - - - @@ -6190,7 +6099,7 @@ - + @@ -6263,7 +6172,7 @@ - + @@ -6341,7 +6250,7 @@ - + @@ -6437,7 +6346,7 @@ - + @@ -6491,10 +6400,6 @@ - - - - @@ -6539,7 +6444,7 @@ - + @@ -6606,10 +6511,6 @@ - - - - @@ -6746,7 +6647,7 @@ - + @@ -6841,7 +6742,7 @@ - + @@ -7600,7 +7501,7 @@ - + @@ -7840,5 +7741,1043 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +