I'm afraid that I cannot help you with ATL which I have never succeeded
in understanding. ATL uses its own OCL-like sub-language which appears
to fail to implement .. properly.

Regards

Ed Willink

On 28/02/2012 06:42, Missing name Mising name wrote:
> Dear Edward Willink,
>
> I have tried your approach as follows:
> t.contains3 <- (c -> forAll(i| thisModule.createOne())),
>
> where c is defined as follows:
> c : Sequence(Integer) = Sequence{1, 2, 3}
>
> I have the following problem:
> org.eclipse.m2m.atl.engine.emfvm.VMException:
> org.eclipse.emf.ecore.impl.DynamicEObjectImpl cannot be cast to
> java.lang.Boolean
>
> I didn't manage to create a Sequence using the OCL index loop idiom
> that you mentioned as:
> Sequence{1..38}
>
> The '..' are not recognised, but I can create a Sequence of n elements
> recursively as well.
>
> Do you know (or any one reading this thread :) ) how to solve the
> problem related to the Boolean casting to create N number of target
> elements?
>
> Thank you very much.
> Best regards,
>