Eclipse Community Forums: OCL » The 'Property::CompatibleDefaultExpression' constraint is violated for xxxxx

Help

Home

Home » Modeling » OCL » The 'Property::CompatibleDefaultExpression' constraint is violated for xxxxx

Show: Today's Messages :: Show Polls :: Message Navigator

The 'Property::CompatibleDefaultExpression' constraint is violated for xxxxx [message #1755185]

Tue, 28 February 2017 18:05

Fa Za

Messages: 245
Registered: March 2010

Senior Member

I have this metamodel (subset)

		abstract class Entity
		{
			property parts : Part[*|1] { ordered composes };
			property elements : Element[*|1] { ordered derived readonly }
			{
				initial: self.parts.element;
			}
		}
               class Part
		{
			property element : Element[1];
		}

When I added

			{
				initial: self.parts.element;
			}

I warning is appeared

Quote:

The 'Property::CompatibleDefaultExpression' constraint is violated
for 'dsm::Entity::elements'

Why this warning appears? any suggestion?

thanks

Report message to a moderator

Re: The 'Property::CompatibleDefaultExpression' constraint is violated for xxxxx [message #1755187 is a reply to message #1755185]

Tue, 28 February 2017 18:57

Ed Willink

Messages: 6437
Registered: July 2009

Senior Member

Hi

Difficult to be sure without a repro, but almost certainly

The 'Property::CompatibleDefaultExpression' constraint is violated

i.e. initial: self.parts.element is not compatible with property element : Element[1]

which looks rather likely since I suspect that self.parts.element is an implicit collect: self.parts->collect(element) and so a Bag.

Try using the editor hovertext which will tell you what the types are.

Regards

Ed Willink

Report message to a moderator

Previous Topic:	How to integrating OCL expressions in DSL grammar (Xtext project ) ?
Next Topic:	Validation Problems of OCL Constraints contained in a static UML Profile

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Mon Aug 19 07:35:17 GMT 2019

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter