From e4347fc092dd20d1e8ada9964806776e67b342c0 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Sun, 21 Jun 2020 21:29:26 +0200 Subject: [PATCH] Refactor DataFormPrinter to use Memoizer, support nested terms. DataFormPrinter is hardcoded to support _term and _subterm hacks and present the terms in a readable way. Memoizer is searched for an implementation of NodePresentable, which helps with visualization of SNode and SNodeReference. --- .../runtime/jetbrains.mps.logic.runtime.msd | 2 + .../models/jetbrains.mps.logic.dataform.mps | 2767 +++++++++-------- .../mps/logic/test/logical@tests.mps | 517 +++ 3 files changed, 2072 insertions(+), 1214 deletions(-) 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 f1395098..be4cb014 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 @@ -17,6 +17,7 @@ 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) 9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime) + f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime) @@ -38,6 +39,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 35437ab0..4ed92ac7 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 @@ -16,6 +16,7 @@ + @@ -310,6 +311,17 @@ + + + + + + + + + + + @@ -318,13 +330,6 @@ - - - - - - - @@ -11244,7 +11249,7 @@ - + @@ -11310,6 +11315,7 @@ + @@ -11320,14 +11326,14 @@ - + - + @@ -11363,7 +11369,49 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11376,17 +11424,19 @@ - - - - - - - - - + + + + + + + + + + + @@ -11400,22 +11450,11 @@ - - - - - - - - - - - - - + + @@ -11441,19 +11480,6 @@ - - - - - - - - - - - - - @@ -11465,9 +11491,6 @@ - - - @@ -11476,16 +11499,6 @@ - - - - - - - - - - @@ -11508,19 +11521,6 @@ - - - - - - - - - - - - - @@ -11532,9 +11532,6 @@ - - - @@ -11543,83 +11540,10 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -11637,12 +11561,6 @@ - - - - - - @@ -11656,20 +11574,40 @@ - - - - + + + + - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11689,57 +11627,108 @@ - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + - + - + - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - - @@ -11759,19 +11748,6 @@ - - - - - - - - - - - - - @@ -11798,24 +11774,6 @@ - - - - - - - - - - - - - - - - - - @@ -11829,9 +11787,95 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11876,210 +11920,471 @@ - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - + + + + + - - - - - + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + + - + - - + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + - - - - + + + + - - - - + + + + - - - + + + - + - + - - + + - - - + + + - + - - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - + - - - - + + + + + + + + + + + + + + + + + + - - - + + + + - + @@ -12087,30 +12392,42 @@ - - - - + + + + + - + - - - + + + + + + + + + + + + + + + - - - + + - + @@ -12181,59 +12498,48 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - + + + + + + + + - - - - - + + + + + - - - - + + + + + + + + + + + + + + + @@ -12243,46 +12549,99 @@ - + - + - - - - - + + + + + - + - - - + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12305,32 +12664,18 @@ - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - + + @@ -12339,8 +12684,13 @@ - - + + + + + + + @@ -12366,13 +12716,21 @@ - + - + + + + + + + + + @@ -12381,21 +12739,6 @@ - - - - - - - - - - - - - - - @@ -12435,14 +12778,14 @@ - + - + @@ -12450,27 +12793,40 @@ - - + + + + + + + - + - - - + + + + + + + + + + + - + @@ -12505,21 +12861,26 @@ - + - + - - + + + + + + + @@ -12552,33 +12913,536 @@ - - - - - - - + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + @@ -12593,6 +13457,12 @@ + + + + + + @@ -12600,554 +13470,38 @@ - - - - + + + + + - - - - - + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - + @@ -13190,12 +13544,15 @@ + + + - + - + @@ -13256,6 +13613,17 @@ + + + + + + + + + + + @@ -13273,199 +13641,170 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - + + - - + + - - - - + + + + - - + + - - + + - - + + - - - - - - - diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps index 17ee33b8..fea01c19 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps +++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps @@ -21,6 +21,9 @@ + + + @@ -5337,5 +5340,519 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +