From 92f95674b3936dab3bf1044774d0b04943771f76 Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Thu, 5 Mar 2020 19:57:25 +0300 Subject: [PATCH] Refactor: drop meaningless DataForm.asRoot (used symbolPath which is deprecated) --- .../models/jetbrains.mps.logic.dataform.mps | 84 --------------- .../models/jetbrains.mps.logic.predicate.mps | 102 ++---------------- .../mps/logic/test/unification@tests.mps | 16 +-- .../jetbrains.mps.baseLanguageExt.types.mps | 79 +++++--------- 4 files changed, 43 insertions(+), 238 deletions(-) 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 c9323c66..73252c77 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 @@ -592,27 +592,6 @@ - - - - - - - - - - - - - - - - - - - - - @@ -1787,41 +1766,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -3592,24 +3536,6 @@ - - - - - - - - - - - - - - - - - - @@ -4192,16 +4118,6 @@ - - - - - - - - - - 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 00ae24b8..70781789 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 @@ -252,7 +252,6 @@ - @@ -1542,18 +1541,12 @@ - - - - - - - - - - - - + + + + + + @@ -3957,14 +3950,8 @@ - - - - - - - - + + @@ -4149,79 +4136,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps index abe9bb77..302fbe09 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps +++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps @@ -2264,8 +2264,8 @@ - - + + @@ -2276,8 +2276,8 @@ - - + + @@ -6844,8 +6844,8 @@ - - + + @@ -7200,8 +7200,8 @@ - - + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index 533c3aca..690aa3b3 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -28348,20 +28348,15 @@ - - - - - - - - - - - + + + - - + + + + + @@ -29642,13 +29637,8 @@ - - - - - - - + + @@ -29657,13 +29647,8 @@ - - - - - - - + + @@ -40530,20 +40515,15 @@ - - - - - - - - - - - + + + - - + + + + + @@ -40587,20 +40567,15 @@ - - - - - - - - - - + + + + + - - + +