From fcadecb8cfa116c7a4188291261d7c1e8decbc0a Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 21 Jul 2014 13:19:51 +0200 Subject: [PATCH] Support for copying the subtrees --- .../models/jetbrains/mps/unification/ast.mps | 742 +++++++++++++++++- .../models/jetbrains/mps/unification/tree.mps | 320 +++++++- 2 files changed, 1017 insertions(+), 45 deletions(-) diff --git a/solutions/jetbrains.mps.unification/models/jetbrains/mps/unification/ast.mps b/solutions/jetbrains.mps.unification/models/jetbrains/mps/unification/ast.mps index af1bca81..d3a18469 100644 --- a/solutions/jetbrains.mps.unification/models/jetbrains/mps/unification/ast.mps +++ b/solutions/jetbrains.mps.unification/models/jetbrains/mps/unification/ast.mps @@ -4,9 +4,9 @@ + - @@ -102,8 +102,8 @@ - - + + @@ -133,8 +133,8 @@ - - + + @@ -391,8 +391,8 @@ - - + + @@ -418,8 +418,8 @@ - - + + @@ -472,8 +472,9 @@ - - + + + @@ -491,8 +492,8 @@ - - + + @@ -506,8 +507,8 @@ - - + + @@ -562,6 +563,7 @@ + @@ -611,6 +613,7 @@ + @@ -634,6 +637,7 @@ + @@ -690,6 +694,7 @@ + @@ -703,11 +708,235 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -728,8 +957,8 @@ - - + + @@ -776,8 +1005,8 @@ - - + + @@ -793,8 +1022,8 @@ - - + + @@ -824,8 +1053,8 @@ - - + + @@ -841,6 +1070,99 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -919,6 +1241,68 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -929,8 +1313,8 @@ - - + + @@ -997,6 +1381,103 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1042,6 +1523,110 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1051,8 +1636,8 @@ - - + + @@ -1101,6 +1686,33 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1123,11 +1735,62 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + @@ -1235,6 +1898,18 @@ + + + + + + + + + + + + @@ -1408,8 +2083,9 @@ - - + + + diff --git a/solutions/jetbrains.mps.unification/models/jetbrains/mps/unification/tree.mps b/solutions/jetbrains.mps.unification/models/jetbrains/mps/unification/tree.mps index 9b6168be..c624148e 100644 --- a/solutions/jetbrains.mps.unification/models/jetbrains/mps/unification/tree.mps +++ b/solutions/jetbrains.mps.unification/models/jetbrains/mps/unification/tree.mps @@ -217,7 +217,27 @@ - + + + + + + + + + + + + + + + + + + + + + @@ -275,6 +295,12 @@ + + + + + + @@ -377,6 +403,20 @@ + + + + + + + + + + + + + + @@ -470,6 +510,40 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -522,7 +596,7 @@ - + @@ -569,6 +643,15 @@ + + + + + + + + + @@ -625,10 +708,8 @@ - - - - + + @@ -747,6 +828,22 @@ + + + + + + + + + + + + + + + + @@ -764,7 +861,7 @@ - + @@ -772,19 +869,37 @@ - + - - - + + + + + + + + + + + + + + + + + + + + + @@ -1012,6 +1127,112 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1425,6 +1646,12 @@ + + + + + + @@ -1579,6 +1806,20 @@ + + + + + + + + + + + + + + @@ -1766,6 +2007,34 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1819,7 +2088,7 @@ - + @@ -2232,5 +2501,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + +