Allocation functions not registered within the transformation service upon creation with a non-quantified constraint
Description
When transforming a non-quantified constraint using the
ConstraintToNonQuantified
service the creation of an allocation
function fails with a NPE. This is due to the call to
org.fortiss.af3.exploration.smt.modeltransformation.DSMLTransformationService.getAllocFunctionForLeftSideType(IModelElement)
,
which cannot retrieve a maching function from the allocations
.
Expected Behavior
The creation of an allocation function shall not fail when dealing with
a non-quantified constraint. Instead, the
org.fortiss.af3.exploration.smt.modeltransformation.DSMLTransformationService.getAllocateFunction(EnumSort, EnumSort)
shall be used to register the allocation function correctly.
(from redmine: issue id 3764, created on 2019-07-04, closed on 2019-07-12)