From 707982fbe93ca5a897157f8d047fb3d1fe28529f Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Wed, 26 Feb 2020 16:24:17 +0300 Subject: [PATCH] Include changed nodes from different roots in invalidated set for incremental program update. (MPSCR-46) The core chang in is InvalidateAndApplyTemplatesStep. Also rename SNodeEventsFilter to RelevantNodesTracker. --- .../jetbrains.mps.lang.coderules.program.mps | 202 ++++++++++++------ ...ins.mps.coderules.typechecking.service.mps | 192 ++++++++++++----- 2 files changed, 273 insertions(+), 121 deletions(-) diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps index 60543090..0a182777 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps @@ -11183,9 +11183,9 @@ - + - + @@ -11235,11 +11235,11 @@ - + - + @@ -11279,7 +11279,7 @@ - + @@ -11349,6 +11349,26 @@ + + + + + + + + + + + + + + + + + + + + @@ -11451,7 +11471,7 @@ - + @@ -11467,7 +11487,7 @@ - + @@ -12340,7 +12360,7 @@ - + @@ -12559,9 +12579,9 @@ - + - + @@ -12574,7 +12594,7 @@ - + @@ -12596,7 +12616,7 @@ - + @@ -12754,7 +12774,7 @@ - + @@ -12827,7 +12847,7 @@ - + @@ -12898,7 +12918,7 @@ - + @@ -12969,7 +12989,7 @@ - + @@ -13041,10 +13061,10 @@ - + - + @@ -13125,7 +13145,7 @@ - + @@ -13137,6 +13157,26 @@ + + + + + + + + + + + + + + + + + + + + @@ -13190,17 +13230,6 @@ - - - - - - - - - - - @@ -13209,9 +13238,9 @@ - + - + @@ -13224,12 +13253,12 @@ - + - + @@ -13267,7 +13296,7 @@ - + @@ -13374,7 +13403,7 @@ - + @@ -13478,10 +13507,10 @@ - + - + @@ -13499,7 +13528,7 @@ - + @@ -13559,6 +13588,26 @@ + + + + + + + + + + + + + + + + + + + + @@ -13757,36 +13806,36 @@ - + - - - - + + + + - + - - - - - - + + + + + + - - - + + + - + - + @@ -13806,13 +13855,34 @@ + + + + + + + + + + + + + + + + + + + + + - + @@ -13832,7 +13902,7 @@ - + @@ -14034,7 +14104,7 @@ - + @@ -14054,7 +14124,7 @@ - + @@ -14094,7 +14164,7 @@ - + @@ -14216,7 +14286,7 @@ - + @@ -14225,7 +14295,7 @@ - + @@ -14248,7 +14318,7 @@ - + @@ -14282,7 +14352,7 @@ - + @@ -14320,7 +14390,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps index 72896686..4cd097d0 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps @@ -518,6 +518,7 @@ + @@ -9362,11 +9363,11 @@ - + - + @@ -9378,7 +9379,7 @@ - + @@ -12734,7 +12735,7 @@ - + @@ -12745,7 +12746,7 @@ - + @@ -12755,7 +12756,7 @@ - + @@ -12767,7 +12768,7 @@ - + @@ -12904,10 +12905,10 @@ - + - + @@ -13181,7 +13182,7 @@ - + @@ -13341,7 +13342,7 @@ - + @@ -13411,7 +13412,7 @@ - + @@ -13545,12 +13546,12 @@ - + - + @@ -13567,7 +13568,7 @@ - + @@ -13576,7 +13577,7 @@ - + @@ -13584,19 +13585,19 @@ - + - + - + @@ -13609,12 +13610,12 @@ - + - + @@ -13626,7 +13627,7 @@ - + @@ -13634,19 +13635,19 @@ - + - + - + @@ -13654,7 +13655,7 @@ - + @@ -13797,7 +13798,7 @@ - + @@ -13936,7 +13937,7 @@ - + @@ -14052,7 +14053,7 @@ - + @@ -14094,7 +14095,7 @@ - + @@ -14136,7 +14137,7 @@ - + @@ -14178,7 +14179,7 @@ - + @@ -16429,39 +16430,120 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - - + + + + - - - - + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +