| commit | cafe3ecb92513c9dd292dd78aa14118e449df62c | |
| author | Philip Langer <planger@eclipsesource.com> | |
| Wed, 2 Sep 2015 09:10:00 +0000 (2 11:10 +0200) | ||
| committer | Axel RICHARD <axel.richard@obeo.fr> | |
| Thu, 3 Sep 2015 09:46:50 +0000 (3 05:46 -0400) | ||
| tree | 9d09d3abbde35da869aac608fd3e0270f5fdb1d5 | treesnapshot (tar.gz zip) |
| parent | 9457a87554def4f79c24a5f99906aeba514ce746 | commitdiff |
[476363] Remove non-existing resources from storage before merge
This is not only a minor performance improvement, since we don't have to
handle non-existing resources on the left, it also avoids having empty
resources in the left resource set, which may lead to problems when
saving the left storage traversal after merge.
Bug: 476363
Change-Id: I2268c740613dad7ec6e321d74b5ebfb3c93466a9
Signed-off-by: Philip Langer <planger@eclipsesource.com>
This is not only a minor performance improvement, since we don't have to
handle non-existing resources on the left, it also avoids having empty
resources in the left resource set, which may lead to problems when
saving the left storage traversal after merge.
Bug: 476363
Change-Id: I2268c740613dad7ec6e321d74b5ebfb3c93466a9
Signed-off-by: Philip Langer <planger@eclipsesource.com>
| plugins/org.eclipse.emf.compare.ide.ui/src/org/eclipse/emf/compare/ide/ui/internal/logical/EMFResourceMappingMerger.java | diffblobblamehistory |