[517607] Fixed base index update in case of RESOLVE
Change-Id: I26196c69c31070060e5ed05b729f52dacda61495
Signed-off-by: Grill Balazs <balazs.grill@incquerylabs.com>
Signed-off-by: Dénes Harmath <harmath@incquerylabs.com>
diff --git a/query/plugins/org.eclipse.viatra.query.runtime.base/src/org/eclipse/viatra/query/runtime/base/core/NavigationHelperContentAdapter.java b/query/plugins/org.eclipse.viatra.query.runtime.base/src/org/eclipse/viatra/query/runtime/base/core/NavigationHelperContentAdapter.java
index bb3ecfa..0d76d60 100644
--- a/query/plugins/org.eclipse.viatra.query.runtime.base/src/org/eclipse/viatra/query/runtime/base/core/NavigationHelperContentAdapter.java
+++ b/query/plugins/org.eclipse.viatra.query.runtime.base/src/org/eclipse/viatra/query/runtime/base/core/NavigationHelperContentAdapter.java
@@ -158,11 +158,13 @@
break;
case Notification.RESOLVE:
if (navigationHelper.isFeatureResolveIgnored(feature))
- break; // otherwise same as SET
+ break;
if (!feature.isMany()) { // if single-valued, can be removed from delayed resolutions
navigationHelper.delayedProxyResolutions.remove(notifier, feature);
}
- // fall-through
+ featureUpdate(false, notifier, feature, oldValue, position);
+ featureUpdate(true, notifier, feature, newValue, position);
+ break;
case Notification.UNSET:
case Notification.SET:
if(!feature.isMany()){