[UML] Constraints on EnumerationLiterals fail if primitiveTypes import is missing

[eclipse-ocl-bot]

| --- | --- | | Bugzilla Link | 483181 | | Status | RESOLVED DUPLICATE of bug 485586 | | Importance | P3 normal | | Reported | Nov 27, 2015 09:39 EDT | | Modified | Jan 13, 2016 14:45 EDT | | Version | 6.0.0 | | Reporter | Klaas Gadeyne |

Description

Created attachment 258320 (attachment deleted)\ Demonstrates the bug

Tooling info\ Mars SR1 (papyrus nightly)\ OCL Examples and Editors SDK 6.0.1.v20150927-2245 org.eclipse.ocl.examples.feature.group Eclipse Modeling Project

Have a look at the two papyrus models in attach. They look deceivingly the same, don't they?\ Now validate both of them (Validate -> Validate Model)

Result:

• One of them validates without warnings
• One of them results in 2 validation errors due to a (so-called) parsing error in the constraint.

Error The 'Class1::Constraint1' constraint result is invalid for 'RootElement::InstanceSpecification1'

• Failed to evaluate 'OclInvalid::oclBadProperty' for 'org.eclipse.uml2.uml.internal.impl.InstanceSpecificationImpl@55ed342 (name: InstanceSpecification1, visibility: )' and 'self.oclBadProperty' InstanceSpecification1 RootElement EMF Problem\ Error "Parsing error for RootElement::Class1::Constraint1::self.Attribute1 = Enumeration1::EnumerationLiteral1:\ The 'Class1::Constraint1' constraint is invalid: 'self.Attribute1 = Enumeration1::EnumerationLiteral1'\ 1: Unresolved Property 'RootElement::Class1::Attribute1'" self.Attribute1 = Enumeration1::EnumerationLiteral1 RootElement::Class1::Constraint1 EMF Problem

The only difference seems to be that one of the models has a 'packageImport' element that import the UML primitive types.\ Note that none of the models actually uses primitive types (only enumeration literals)

[eclipse-ocl-bot]

By Klaas Gadeyne on Jan 12, 2016 05:19

Duplicate of Bug 485586?

[eclipse-ocl-bot]

By Ed Willink on Jan 12, 2016 09:19

(In reply to Klaas Gadeyne from comment #1)

Duplicate of Bug 485586?

Probably, but the attchment contains only two *.di files. Can you check with

http://www.eclipse.org/modeling/download.php?file=/modeling/mdt/ocl/downloads/drops/6.0.2/N201601081008/mdt-ocl-Update-N201601081008.zip

or

http://www.eclipse.org/modeling/download.php?file=/modeling/mdt/ocl/downloads/drops/6.1.0/N201601100100/mdt-ocl-Update-N201601100100.zip

[eclipse-ocl-bot]

By Klaas Gadeyne on Jan 13, 2016 08:02

Created attachment 259152 Demonstrates the bug, including uml and notation files

The problem persists with the latest nightly. Attached a version including .uml and .notation files that should allow to reproduce the problem.

:compression: withOrWithoutYou.zip

[eclipse-ocl-bot]

By Ed Willink on Jan 13, 2016 08:05

(In reply to Klaas Gadeyne from comment #3)

The problem persists with the latest nightly.

Apologies. I hadn't pushed the branch to master.

Hopefully the fuller attchament will allow me to test myself.

[eclipse-ocl-bot]

By Ed Willink on Jan 13, 2016 14:45

(In reply to Klaas Gadeyne from comment #1)

Duplicate of Bug 485586?

Yes. They both validate the same now.

This bug has been marked as a duplicate of bug 485586