tests/org.eclipse.m2m.tests.qvt.oml/unparserTestData/sources/bug400720/bug400720.qvto

modeltype Ecore uses ecore('http://www.eclipse.org/emf/2002/Ecore');

transformation bug400720();


intermediate class C extends EPackage{};
intermediate class D extends C, EClass{};

main() {
	var c : C = object D {};
	assert fatal (c.oclIsKindOf(EPackage));
	assert fatal (c.oclIsKindOf(EClass));
	assert fatal (c.oclIsTypeOf(D));
}