Eclipse Community Forums: OCL » Exception while parsing OCL file

Home » Modeling » OCL » Exception while parsing OCL file

Exception while parsing OCL file [message #487682]

Thu, 24 September 2009 03:23

Eclipse User

Hi.

We have a problem parsing a OCL file which contains the rules to validate our model.
When the method "parse" is called:

OCLInput oclInput = new OCLInput(input);
OCL ocl = OCL.newInstance(new MyEnvironmentFactory());
ocl.
setEvaluationTracingEnabled(true);

for (Constraint constraint : ocl.parse(oclInput)){

it's thrown the next exception:

java.lang.ClassCastException: org.eclipse.ocl.ecore.impl.InvalidTypeImpl cannot be cast to org.eclipse.ocl.types.CollectionType
at org.eclipse.ocl.util.OCLStandardLibraryUtil.getSetTypeResult TypeOf(OCLStandardLibraryUtil.java:747)
at org.eclipse.ocl.util.OCLStandardLibraryUtil.getResultTypeOf( OCLStandardLibraryUtil.java:393)

I think that this problem it's due to some OCL rules that contain a class type that it doesn't exist in the model, but I'm not sure.
Please, how can I debug this problem?

Thanks in advance.
Carlos.

Re: Exception while parsing OCL file [message #488108 is a reply to message #487682]

Fri, 25 September 2009 10:30

Eclipse User

Hi Carlos

In OCL 2.0, that MDL OCL 1.3.0 attempts to implement, the relative
conformity of Collection and OclInvalid is far from clear. It changes
and is differently unclear in the OCL 2.1 draft.

The MDT OCL 1.3.0 implementation is not correct; you should certainly
not get a CCE.

These are all known issues that we intend to address in MDT OCL 3.0.0
for Helios.

As a workaround, I can only suggest avoiding 'invalid' or 'OclInvalid'
or 'Invalid' in your OCL and avoid any subtle OCL semantic errors.

Sorry.

Regards

Ed Willink

Carlos wrote:
> Hi.
>
> We have a problem parsing a OCL file which contains the rules to
> validate our model.
> When the method "parse" is called:
>
> OCLInput oclInput = new OCLInput(input); OCL
> ocl = OCL.newInstance(new MyEnvironmentFactory());
> ocl.
> setEvaluationTracingEnabled(true); for
> (Constraint constraint : ocl.parse(oclInput)){
> it's thrown the next exception:
>
> java.lang.ClassCastException: org.eclipse.ocl.ecore.impl.InvalidTypeImpl
> cannot be cast to org.eclipse.ocl.types.CollectionType
> at org.eclipse.ocl.util.OCLStandardLibraryUtil.getSetTypeResult
> TypeOf(OCLStandardLibraryUtil.java:747)
> at org.eclipse.ocl.util.OCLStandardLibraryUtil.getResultTypeOf(
> OCLStandardLibraryUtil.java:393)
>
> I think that this problem it's due to some OCL rules that contain a
> class type that it doesn't exist in the model, but I'm not sure.
> Please, how can I debug this problem?
>
> Thanks in advance.
> Carlos.

Previous Topic:	problem about the interactive OCL console
Next Topic:	EnumerationLiterals?

Goto Forum:

-=] Back to Top [=-

Current Time: Mon Jul 14 03:12:42 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter