Pattern shows a false warning for EObject in neg find

[eclipse-viatra-bot]

| --- | --- | | Bugzilla Link | 541567 | | Status | UNCONFIRMED | | Importance | P3 minor | | Reported | Nov 26, 2018 11:12 EDT | | Modified | Nov 28, 2018 05:23 EDT | | Version | 2.0.2 | | Reporter | Andras Janko |

Description

Patterns with neg find and EObjects show warning, that the types don't match.

Minimal example to reproduce:

package test

import "http://www.eclipse.org/xtend"\ import "http://www.eclipse.org/emf/2002/Ecore"

pattern test(e : EObject) {\ EObject(e);\ }

pattern test2(x : XtendClass) {\ neg find test(x);\ }

Warning:

Expression type http://www.eclipse.org/xtend::XtendClass does not match type of the parameter type http://www.eclipse.org/emf/2002/Ecore::EObject of the called pattern.

[eclipse-viatra-bot]

By Zoltan Ujhelyi on Nov 28, 2018 05:23

This issue seems similar but not the same as bug 506471; they might both be related to incorrect handling of EObject as top-level type vs. a concrete referenced type.