From cc9c4c54b3893755fcaf7e89c394a521b1189e65 Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Mon, 7 Sep 2020 16:43:56 +0300 Subject: [PATCH] Specify notion of required nodes: separately for tmpl application & for UpdatesRecorder Too many nodes get into tmpl application process, which is unnecessary. Many of those nodes are required actually only for correctly tracking changes to nodes with WatchingTypecheckingStrategy. Now implicitly required only nodes which are mentioned inside constraint arguments. In other cases user must require them explicitly. --- .../jetbrains.mps.lang.coderules.program.mps | 340 ++- ...ins.mps.coderules.typechecking.service.mps | 100 +- .../jetbrains.mps.lang.coderules.template.mps | 2531 +++++++++++------ 3 files changed, 1868 insertions(+), 1103 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 b93eefd2..9d12f2c4 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 @@ -5138,9 +5138,6 @@ - - - @@ -5159,6 +5156,9 @@ + + + @@ -5260,14 +5260,14 @@ + + + - - - @@ -5733,6 +5733,17 @@ + + + + + + + + + + + @@ -5750,6 +5761,9 @@ + + + @@ -5763,14 +5777,14 @@ - - - + + + @@ -5795,9 +5809,6 @@ - - - @@ -5916,17 +5927,6 @@ - - - - - - - - - - - @@ -5951,14 +5951,14 @@ + + + - - - @@ -6578,14 +6578,14 @@ + + + - - - @@ -6785,6 +6785,9 @@ + + + @@ -6793,9 +6796,6 @@ - - - @@ -8088,34 +8088,38 @@ - - - - - - - - - - - + + + + + + + + + - - - + + + + - - + + + + + + + - - - - - + + + + + @@ -8758,10 +8762,10 @@ - + @@ -8877,10 +8881,10 @@ - + @@ -9986,6 +9990,38 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11674,70 +11710,109 @@ - + - - - - + + - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - + + + + - - - - - - + + + + + - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11998,12 +12073,12 @@ - - - + + + @@ -12095,6 +12170,7 @@ + @@ -12330,7 +12406,6 @@ - @@ -12366,12 +12441,12 @@ - - - + + + @@ -12379,12 +12454,12 @@ - - - + + + @@ -12732,6 +12807,9 @@ + + + @@ -12795,9 +12873,6 @@ - - - @@ -12886,15 +12961,15 @@ + + + - - - @@ -12959,15 +13034,15 @@ + + + - - - @@ -13030,15 +13105,15 @@ + + + - - - @@ -13101,15 +13176,15 @@ + + + - - - @@ -13117,10 +13192,10 @@ + - @@ -13286,6 +13361,9 @@ + + + @@ -13330,6 +13408,9 @@ + + + @@ -13380,9 +13461,6 @@ - - - @@ -13432,6 +13510,9 @@ + + + @@ -13482,9 +13563,6 @@ - - - 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 81b5860a..bdcded41 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 @@ -13740,14 +13740,14 @@ - - - + + + @@ -13843,14 +13843,14 @@ - - - + + + @@ -14187,15 +14187,15 @@ + + + - - - @@ -14229,15 +14229,15 @@ + + + - - - @@ -14271,15 +14271,15 @@ + + + - - - @@ -14313,15 +14313,15 @@ + + + - - - @@ -16645,24 +16645,6 @@ - - - - - - - - - - - - - - - - - - @@ -16785,16 +16767,6 @@ - - - - - - - - - - @@ -16815,6 +16787,16 @@ + + + + + + + + + + @@ -16826,6 +16808,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps index f149d655..07d52b7f 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps @@ -46,6 +46,9 @@ + + + @@ -75,6 +78,7 @@ + @@ -334,6 +338,16 @@ + + + + + + + + + + @@ -1800,6 +1814,38 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1872,6 +1918,162 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2524,6 +2726,13 @@ + + + + + + + @@ -2723,19 +2932,6 @@ - - - - - - - - - - - - - @@ -2801,9 +2997,38 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3025,11 +3250,16 @@ - - - - - + + + + + + + + + + @@ -3111,11 +3341,16 @@ - - - - - + + + + + + + + + + @@ -3188,11 +3423,16 @@ - - - - - + + + + + + + + + + @@ -3273,11 +3513,16 @@ - - - - - + + + + + + + + + + @@ -3604,8 +3849,13 @@ - - + + + + + + + @@ -3624,706 +3874,957 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - + + + + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - - - - + + - - - - + + + + + + - - - - - - - + + + + + + - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - + + - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - + + - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - + + + + - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - - - + + + + - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - @@ -4331,303 +4832,381 @@ - - - - - + + + + + - - - - - - - + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + - - - + + + - + - - - + + + - + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + @@ -5038,31 +5617,21 @@ - - - - - + + + + + + + + + - - + + - - - - - - - - - - - - - - @@ -5392,20 +5961,12 @@ - - - - - - - - - - - - - + + + + + @@ -7626,5 +8187,123 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +