|Re: [mdt-ocl.dev] Partial IA code generated evaluation|
366229 fixes polymorphism aspects for Pivot, not for Ecore/mature, correct?Yes. This fix is justified by common sense. It is not required by the current specification. It will probably be required by OCL 2.5.
The Ecore/mature behaviour is therefore not wrong. Changing it will affect users and so cannot be justified until OCL specifies dynamic dispatch and the Ecore binding might then offer a dynamic/static option.
What about the related Ecore/mature bug 339952?
I'd forgotten it; it's a duplicate of this discussion. Continuing on https://bugs.eclipse.org/bugs/show_bug.cgi?id=339952. Regards Ed
Back to the top