From 8ec26b4e94b13812b7c7a32af5e31c053ba13432 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 19 Feb 2020 14:50:40 +0100 Subject: [PATCH] Support node<> argument in constraints. Prepare to get rid of node-ptr<>. Minor refactoring. --- build.xml | 2 + .../jetbrains.mps.lang.coderules.eval.mps | 10 + .../runtime/jetbrains.mps.logic.runtime.msd | 2 + .../models/jetbrains.mps.logic.dataform.mps | 55 ++ .../models/jetbrains.mps.logic.predicate.mps | 95 +- .../models/jetbrains.mps.coderules.build.mps | 5 + .../models/plugin.mps | 810 ++++++------------ .../jetbrains.mps.lang.coderules.template.mps | 75 ++ ...baseLanguageExt.test.incremental@tests.mps | 45 +- 9 files changed, 503 insertions(+), 596 deletions(-) diff --git a/build.xml b/build.xml index 1b72df0f..0a30bf98 100644 --- a/build.xml +++ b/build.xml @@ -299,6 +299,7 @@ + @@ -2426,6 +2427,7 @@ + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps index 48f18a73..77123b1e 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps @@ -4373,6 +4373,16 @@ + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd b/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd index 7c638e95..4b2661be 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd +++ b/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd @@ -16,6 +16,7 @@ bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) + 9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime) @@ -42,6 +43,7 @@ + diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps index 9d3d3f4e..c9323c66 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps +++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps @@ -14224,6 +14224,61 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 3399c071..00ae24b8 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 @@ -22,6 +22,7 @@ + @@ -8977,41 +8978,13 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -9033,8 +9006,70 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps index 55034a46..1c71bade 100644 --- a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps +++ b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps @@ -506,6 +506,11 @@ + + + + + diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps index 2d89249d..bea3c774 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps @@ -19084,6 +19084,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -19094,7 +19118,6 @@ - @@ -19239,246 +19262,71 @@ - - - - - - - - + + + - + - - + + + + + - - - - - - + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - + + + + + + + + + + + - - - - - - - - - - + + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + @@ -19494,13 +19342,9 @@ - - - - - - - + + + @@ -19509,15 +19353,14 @@ + + + - - - - - - - + + + @@ -19539,22 +19382,8 @@ - - - - - - - - - - - - - - - - + + @@ -19573,7 +19402,6 @@ - @@ -19603,11 +19431,19 @@ - - - - - + + + + + + + + + + + + + @@ -19616,73 +19452,8 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -19696,17 +19467,10 @@ - - - - - - - - - + + @@ -19719,16 +19483,10 @@ - - - - - - - - + + @@ -19741,24 +19499,6 @@ - - - - - - - - - - - - - - - - - - @@ -19775,35 +19515,31 @@ - - - - - - - - - - - + + + + + + - + - + + + + - - - - - + + + @@ -19812,73 +19548,8 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -19895,30 +19566,26 @@ - - - - - - - - - - + + + + + - + + + + - - - - - + + + @@ -19927,73 +19594,8 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -20002,13 +19604,9 @@ - - - - - - - + + + @@ -20017,15 +19615,14 @@ + + + - - - - - - - + + + @@ -20047,20 +19644,139 @@ + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - + + - + diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps index 21270455..c98f2650 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps @@ -4344,6 +4344,81 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps index 31e5c8ab..45750365 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps @@ -274,6 +274,7 @@ + @@ -839,15 +840,8 @@ - - - - - - - - - + + @@ -1679,10 +1673,8 @@ - - - - + + @@ -1802,13 +1794,28 @@ - - - + + + + + + + + + + + + + - - - + + + + + + + +