From fd6802611924d7a2d742ee32172e71d16961e691 Mon Sep 17 00:00:00 2001 From: Zoltan Ujhelyi Date: Mon, 13 Mar 2017 18:04:18 +0100 Subject: [PATCH] [513585] Fixed EDataType checking in local search Change-Id: I62d28510355ff57091959a8834002f40fd6a97de Signed-off-by: Zoltan Ujhelyi --- .../localsearch/operations/check/InstanceOfDataTypeCheck.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/query/plugins/org.eclipse.viatra.query.runtime.localsearch/src/org/eclipse/viatra/query/runtime/localsearch/operations/check/InstanceOfDataTypeCheck.java b/query/plugins/org.eclipse.viatra.query.runtime.localsearch/src/org/eclipse/viatra/query/runtime/localsearch/operations/check/InstanceOfDataTypeCheck.java index d3784baa38..ce0f8325c0 100644 --- a/query/plugins/org.eclipse.viatra.query.runtime.localsearch/src/org/eclipse/viatra/query/runtime/localsearch/operations/check/InstanceOfDataTypeCheck.java +++ b/query/plugins/org.eclipse.viatra.query.runtime.localsearch/src/org/eclipse/viatra/query/runtime/localsearch/operations/check/InstanceOfDataTypeCheck.java @@ -36,7 +36,7 @@ public InstanceOfDataTypeCheck(int position, EDataType dataType) { @Override protected boolean check(MatchingFrame frame) { Preconditions.checkNotNull(frame.getValue(position), "Invalid plan, variable %s unbound", position); - return dataType.getInstanceClassName().equals(frame.getValue(position).getClass().getName()); + return dataType.isInstance(frame.getValue(position)); } @Override