From d07b1d1517af91cc60c3674334704ab12ed2ce66 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 10 Aug 2020 14:08:32 +0200 Subject: [PATCH] Add option to report evaluation results. Reorganize options in pref pane. When running typechecking with trace=on too much memory is taken up by the traces, the new option enables to see the evaluation results without collecting the traces. --- ...ains.mps.coderules.typechecking.plugin.mps | 1492 ++++++++++++----- ...ins.mps.coderules.typechecking.service.mps | 233 ++- 2 files changed, 1220 insertions(+), 505 deletions(-) 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 c333649e..5f9681e1 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 @@ -329,18 +329,10 @@ - - - - - - - - @@ -2855,6 +2847,10 @@ + + + + @@ -2965,13 +2961,13 @@ - + - - + + @@ -2981,7 +2977,32 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2990,26 +3011,31 @@ - - - + + + - - - + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - + + @@ -3094,6 +3120,25 @@ + + + + + + + + + + + + + + + + + + + @@ -3201,11 +3246,32 @@ + + + + + + + + + + + + + + + + + + + + + - + @@ -3285,7 +3351,7 @@ - + @@ -3345,6 +3411,24 @@ + + + + + + + + + + + + + + + + + + @@ -3364,6 +3448,45 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3371,36 +3494,8 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -3412,36 +3507,8 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -3453,45 +3520,31 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - + @@ -3505,7 +3558,7 @@ - + @@ -3513,7 +3566,7 @@ - + @@ -3527,7 +3580,7 @@ - + @@ -3541,7 +3594,7 @@ - + @@ -3557,45 +3610,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -3668,254 +3682,27 @@ - - - - - - + + + - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - + @@ -3932,7 +3719,669 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4031,6 +4480,24 @@ + + + + + + + + + + + + + + + + + + @@ -4158,6 +4625,34 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4302,6 +4797,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -4312,15 +4831,28 @@ - - - - - + + + + + + + + + + - - + + + + + + + + + + @@ -4357,6 +4889,13 @@ + + + + + + + @@ -4391,7 +4930,6 @@ - @@ -4401,7 +4939,6 @@ - @@ -4411,7 +4948,6 @@ - @@ -4421,7 +4957,15 @@ - + + + + + + + + + @@ -4431,7 +4975,6 @@ - @@ -4673,6 +5216,66 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5153,6 +5756,39 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5519,6 +6155,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + 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 661aa613..1c69f1c3 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 @@ -9598,10 +9598,56 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -9619,6 +9665,7 @@ + @@ -9883,7 +9930,6 @@ - @@ -9964,60 +10010,59 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - + + + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -10118,23 +10163,57 @@ - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10159,42 +10238,16 @@ - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + +