From 77be3869a4fae3e9f6f6aef5ffd6f330f3751b31 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 2 Sep 2019 16:25:33 +0200 Subject: [PATCH] Introduce target specification to provide feedback constraint. One should be able to report issues with a target. The target is normally inferred from the rule's origin, but sometimes it is necessary to specify the issue's target explicitly. --- .../generator/template/main@generator.mps | 103 +++++--- .../languageModels/behavior.mps | 25 ++ .../languageModels/editor.mps | 34 +++ .../languageModels/structure.mps | 23 ++ .../models/jetbrains.mps.logic.predicate.mps | 228 ++++++++++++++---- 5 files changed, 345 insertions(+), 68 deletions(-) diff --git a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps index a5305dc0..22d9b769 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps @@ -2252,45 +2252,54 @@ - + + + + + + + + + + - - + + - - - - - - - - + + + + + + + + - + - + - - + + - - + + - - - - - - - - + + + + + + + + @@ -2300,12 +2309,52 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps index 95719705..b7692a32 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps @@ -1558,5 +1558,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps index 66feb88f..b0b428c2 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps @@ -4952,6 +4952,29 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -5131,5 +5154,16 @@ + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps index 6c0ece89..8b09116e 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps @@ -1283,6 +1283,12 @@ + + + + + + @@ -1356,6 +1362,7 @@ + @@ -1432,5 +1439,21 @@ + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps index e5da17ac..214b00de 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps +++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps @@ -20,6 +20,8 @@ + + @@ -285,6 +287,19 @@ + + + + + + + + + + + + + @@ -8526,6 +8541,12 @@ + + + + + + @@ -8537,6 +8558,9 @@ + + + @@ -8588,7 +8612,7 @@ - + @@ -8644,6 +8668,14 @@ + + + + + + + + @@ -8800,6 +8832,99 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8820,6 +8945,9 @@ + + + @@ -8868,93 +8996,111 @@ + + + + + + - - - - - - + + + + + - + + + + + - + - - - - - + + + + - + + + + + - + - - - - - + + + + - + + + + + - + - - - - - + + + + + - + + + + - + - + - - - - + + + + - - + + - - - + + + - +