From 0d6ff0d2e452705c2de560697228bfef0b9b194e Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 23 Oct 2017 17:02:21 +0200 Subject: [PATCH] Fix treeform finders. Minor fixes. --- .../generator/template/main@generator.mps | 9 +- .../models/jetbrains/mps/logic/treeform.mps | 556 ++++++++++++------ 2 files changed, 395 insertions(+), 170 deletions(-) diff --git a/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps b/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps index 2031a494..5e5cef55 100644 --- a/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps +++ b/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps @@ -292,12 +292,9 @@ - - - - - - + + + diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/treeform.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/treeform.mps index 49a5e95a..d8b77b97 100644 --- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/treeform.mps +++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/treeform.mps @@ -6493,6 +6493,212 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6510,29 +6716,6 @@ - - - - - - - - - - - - - - - - - - - - - - - @@ -6573,36 +6756,12 @@ - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - + + @@ -6614,105 +6773,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -6724,6 +6784,45 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6758,7 +6857,7 @@ - + @@ -6913,6 +7012,7 @@ + @@ -6929,27 +7029,57 @@ - - + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - @@ -7307,7 +7437,7 @@ - + @@ -11864,6 +11994,25 @@ + + + + + + + + + + + + + + + + + + + @@ -12124,6 +12273,85 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +