From 99c823d4f7af8f9fba2b9ab8c3de5254b2314b2e Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Fri, 25 Sep 2020 15:43:50 +0300 Subject: [PATCH] Integrate tmpl trace in ApplyTemplatesStep with TypecheckingOptions Introduce TraceReport object for passing program results (traces+report items) instead of using tuples. --- ...s.mps.coderules.typechecking.ui.plugin.mps | 136 ++++- ...ains.mps.coderules.typechecking.plugin.mps | 161 ++++- ...ins.mps.coderules.typechecking.service.mps | 177 ++++-- .../jetbrains.mps.coderules/models/plugin.mps | 192 ++++++ .../models/service.mps | 571 ++++++++++++++---- .../models/plugin.mps | 30 +- 6 files changed, 1038 insertions(+), 229 deletions(-) diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps index 6e093bbe..761a0bfd 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps @@ -1756,6 +1756,28 @@ + + + + + + + + + + + + + + + + + + + + + + @@ -1794,6 +1816,7 @@ + @@ -1801,7 +1824,7 @@ - + @@ -1964,6 +1987,79 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1997,6 +2093,13 @@ + + + + + + + @@ -3253,6 +3356,23 @@ + + + + + + + + + + + + + + + + + @@ -3293,20 +3413,6 @@ - - - - - - - - - - - - - - diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps index 51a842e9..f758581d 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps @@ -5339,6 +5339,16 @@ + + + + + + + + + + @@ -5574,6 +5584,15 @@ + + + + + + + + + @@ -5942,6 +5961,7 @@ + @@ -5959,6 +5979,124 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5978,7 +6116,25 @@ - + + + + + + + + + + + + + + + + + + + @@ -6009,6 +6165,9 @@ + + + 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 7599e388..81b5860a 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 @@ -5266,7 +5266,7 @@ - + @@ -5359,7 +5359,7 @@ - + @@ -6599,21 +6599,7 @@ - - - - - - - - - - - - - - - + @@ -6625,11 +6611,8 @@ - - - - - + + @@ -6644,6 +6627,12 @@ + + + + + + @@ -13751,14 +13740,14 @@ + + + - - - @@ -13854,14 +13843,14 @@ + + + - - - @@ -14198,15 +14187,15 @@ - - - + + + @@ -14240,15 +14229,15 @@ - - - + + + @@ -14282,15 +14271,15 @@ - - - + + + @@ -14324,15 +14313,15 @@ - - - + + + @@ -15146,7 +15135,7 @@ - + @@ -15177,7 +15166,7 @@ - + @@ -15216,7 +15205,7 @@ - + @@ -15252,18 +15241,46 @@ + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + @@ -15287,7 +15304,7 @@ - + @@ -16768,6 +16785,16 @@ + + + + + + + + + + @@ -16788,16 +16815,6 @@ - - - - - - - - - - @@ -17411,18 +17428,46 @@ + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps index f6026a7e..43110f28 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps @@ -283,6 +283,7 @@ + @@ -8254,5 +8255,196 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps index 4db207ca..53d2cd27 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps @@ -42,18 +42,6 @@ - - - - - - - - - - - - @@ -287,6 +275,7 @@ + @@ -311,10 +300,19 @@ + + + + + + + + + @@ -496,6 +494,7 @@ + @@ -836,11 +835,17 @@ - + + + + + + + @@ -864,7 +869,6 @@ - @@ -1027,6 +1031,28 @@ + + + + + + + + + + + + + + + + + + + + + + @@ -1209,12 +1235,6 @@ - - - - - - @@ -1249,6 +1269,12 @@ + + + + + + @@ -1312,9 +1338,8 @@ - - - + + @@ -1938,7 +1963,7 @@ - + @@ -7416,8 +7441,25 @@ + + + + + + + + + + + + + + + + + - + @@ -7456,6 +7498,41 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7492,60 +7569,137 @@ - + + + + + + + - - - - - - - + + + + + + + + + + - - - + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7556,6 +7710,12 @@ + + + + + + @@ -7571,30 +7731,17 @@ - - - - - - - + + - - - - - - - - - - - - + + + + @@ -7610,15 +7757,8 @@ - - - - - - - - - + + @@ -7633,6 +7773,25 @@ + + + + + + + + + + + + + + + + + + + @@ -7641,19 +7800,11 @@ - - - - - - - - - - - + + + - + @@ -7665,19 +7816,11 @@ - - - - - - - - - - - + + + - + @@ -7708,28 +7851,14 @@ - - - - - - - - - + + - - - - - - - - - + + @@ -8242,5 +8371,183 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps index 15b42ba6..60368480 100644 --- a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps @@ -1068,6 +1068,20 @@ + + + + + + + + + + + + + + @@ -1108,20 +1122,6 @@ - - - - - - - - - - - - - - @@ -1734,7 +1734,7 @@ - +