From 5bcf1ce3d67eb2755d6ef6c24a324af209e1f46e Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 4 Apr 2016 16:03:36 +0200 Subject: [PATCH] Displaying failures as error nodes in the activation trace, navigate to the first failure. Minor fixes. --- .../models/jetbrains/mps/logic/builtin.mps | 13 + .../jetbrains/mps/logic/jchr/program.mps | 37 +- .../mps/logic/reactor/evaluation.mps | 76 + .../lang/typesystem2/sampleplugin/plugin.mps | 1573 ++++++++++++++++- .../generator/template/main@generator.mps | 2 +- 5 files changed, 1623 insertions(+), 78 deletions(-) diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps index bc0deddf..fe048bf6 100644 --- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps +++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps @@ -827,6 +827,19 @@ + + + + + + + + + + + + + diff --git a/logic/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/program.mps b/logic/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/program.mps index 88ea10aa..20a56e3f 100644 --- a/logic/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/program.mps +++ b/logic/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/program.mps @@ -163,9 +163,6 @@ - - - @@ -1648,29 +1645,6 @@ - - - - - - - - - - - - - - - - - - - - - - - @@ -1679,9 +1653,14 @@ - - - + + + + + + + + diff --git a/logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/evaluation.mps b/logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/evaluation.mps index 31be23f1..f25f4f9e 100644 --- a/logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/evaluation.mps +++ b/logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/evaluation.mps @@ -44,6 +44,7 @@ + @@ -73,6 +74,7 @@ + @@ -1283,6 +1285,20 @@ + + + + + + + + + + + + + + @@ -1293,6 +1309,9 @@ + + + @@ -1441,6 +1460,19 @@ + + + + + + + + + + + + + @@ -1933,5 +1965,49 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps index 2e894900..1ef7e9b5 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps @@ -680,6 +680,7 @@ + @@ -709,6 +710,13 @@ + + + + + + + @@ -2569,6 +2577,34 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5845,6 +5881,54 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8521,6 +8605,25 @@ + + + + + + + + + + + + + + + + + + + @@ -8536,6 +8639,19 @@ + + + + + + + + + + + + + @@ -8543,13 +8659,8 @@ - - - - - - - + + @@ -8580,6 +8691,92 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8598,6 +8795,25 @@ + + + + + + + + + + + + + + + + + + + @@ -8620,13 +8836,8 @@ - - - - - - - + + @@ -10810,6 +11021,50 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11451,10 +11706,10 @@ - - + + - + @@ -11463,11 +11718,6 @@ - - - - - @@ -11922,8 +12172,8 @@ - - + + @@ -11934,11 +12184,6 @@ - - - - - @@ -12159,6 +12404,13 @@ + + + + + + + @@ -13322,6 +13574,46 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -14928,6 +15220,80 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15007,6 +15373,21 @@ + + + + + + + + + + + + + + + @@ -16088,6 +16469,72 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -16858,6 +17305,31 @@ + + + + + + + + + + + + + + + + + + + + + + + + + @@ -18601,6 +19073,42 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -21149,11 +21657,18 @@ + + + + + + + - + @@ -21171,8 +21686,63 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -21221,6 +21791,19 @@ + + + + + + + + + + + + + @@ -21245,16 +21828,106 @@ - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -21723,11 +22396,14 @@ + + + - + @@ -21829,8 +22505,211 @@ + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -21867,6 +22746,20 @@ + + + + + + + + + + + + + + @@ -23135,6 +24028,10 @@ + + + + @@ -23710,6 +24607,321 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -23793,6 +25005,19 @@ + + + + + + + + + + + + + @@ -23816,6 +25041,29 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -25209,7 +26457,7 @@ - + @@ -25280,7 +26528,7 @@ - + @@ -26118,12 +27366,7 @@ - - - - - - + @@ -27108,6 +28351,65 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -27311,13 +28613,16 @@ - + + + + @@ -27991,6 +29296,123 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -28071,6 +29493,7 @@ + @@ -28091,6 +29514,43 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -28328,6 +29788,23 @@ + + + + + + + + + + + + + + + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps index c17ec295..fbcff43d 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps @@ -12631,7 +12631,7 @@ - +