From 490abaad0f4580cf8ad518ff9315c76fbdc9f269 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 11 Sep 2017 11:28:51 +0200 Subject: [PATCH] Typechecking plugin: ensure the highlighting is part of the reactive scheme. Expose errors during highlighting to the user. --- .../models/ui.plugin.mps | 1072 +++++++++-------- .../models/service.mps | 392 +++--- 2 files changed, 797 insertions(+), 667 deletions(-) diff --git a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps index d7a2174c..20f73fdf 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps @@ -820,12 +820,18 @@ - + + + + + + + @@ -1025,87 +1031,98 @@ - - - + + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - - + + - - - - - - + + + + + + + + + + + + + + - - + + - - - - + + + + - - + + - - + + - - + + - - + + + + + - + @@ -1254,8 +1271,10 @@ - - + + + + @@ -1276,461 +1295,470 @@ - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - + + + + + - - - - + + + + - - + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - - - - - - - - - @@ -1775,6 +1803,12 @@ + + + + + + @@ -26649,77 +26683,103 @@ - - - + + + - - - - + + + + - + - - - - - - - - + + + + + + + - - - - + + + + + - - - - - + + + - - + + + + + + + + + + - - - - + + + + + + + - - + + + + + + + - - - - + + + + + + + - - - - - - - - - - + + - - - + + + + + + + + + + + + + + + + + + + + - + diff --git a/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps b/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps index 40859953..2caaa9fc 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps @@ -2524,6 +2524,24 @@ + + + + + + + + + + + + + + + + + + @@ -2643,16 +2661,26 @@ - - - - + + + + + + + + + + + + + + + + + + - - - - - + @@ -2668,6 +2696,7 @@ + @@ -2675,33 +2704,63 @@ - - - - - - - - - + + + + + + + + + + + + + + - - - - - - - - - - + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2723,137 +2782,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2951,6 +2879,148 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +