Hi,
in our model transformation tool, we use OCL to specify constraints and assignments.
Recently, we discovered a problem with EFloat attributes---it seems that writing e.g. "10.0" evaluates to a double value, which then leads to a ClassCastException during assignments.
java.lang.ClassCastException: The value of type 'class java.lang.Double' must be of type 'class java.lang.Float'
is there any way to specify in OCL that a value should be cast to float/EFloat or do we have to provide for that in our transformation engine?