From 8b29b6405a530092ad41741f035709e4aeef5812 Mon Sep 17 00:00:00 2001 From: Philip Langer Date: Wed, 1 Feb 2023 10:52:22 +0100 Subject: [PATCH] Ensure existing IdKeeperAdapters are found This is crucial to make sure that IDs are stable with UUIDIdGenerator within one session. Fixes https://github.com/eclipse-glsp/glsp/issues/897 --- .../src/org/eclipse/glsp/graph/util/IdKeeperAdapter.java | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/plugins/org.eclipse.glsp.graph/src/org/eclipse/glsp/graph/util/IdKeeperAdapter.java b/plugins/org.eclipse.glsp.graph/src/org/eclipse/glsp/graph/util/IdKeeperAdapter.java index 0cc1bbdd..b5caa51f 100644 --- a/plugins/org.eclipse.glsp.graph/src/org/eclipse/glsp/graph/util/IdKeeperAdapter.java +++ b/plugins/org.eclipse.glsp.graph/src/org/eclipse/glsp/graph/util/IdKeeperAdapter.java @@ -19,7 +19,6 @@ import org.eclipse.emf.common.notify.Notifier; import org.eclipse.emf.common.notify.impl.AdapterImpl; -import org.eclipse.emf.ecore.EObject; import org.eclipse.emf.ecore.util.EcoreUtil; public class IdKeeperAdapter extends AdapterImpl { @@ -39,7 +38,7 @@ protected String createId() { @Override public boolean isAdapterForType(final Object type) { - return type instanceof EObject; + return type == IdKeeperAdapter.class; } public static IdKeeperAdapter getOrCreate(final Notifier notifier) {