Eclipse Community Forums: OCL » Negation of OCL expressions

Help

Home

Home » Modeling » OCL » Negation of OCL expressions

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

Negation of OCL expressions [message #1765430]

Fri, 09 June 2017 11:52

meriem lahr

Messages: 31
Registered: March 2013

Member

Hi all,

I'm working on the adaptation of OCL constraints associated to a metamodel and i need to generate the negation of these expressions as an initial phase. Is there a way to automatically get these negations?

Regards,

Meriem

[Updated on: Fri, 09 June 2017 11:56]

Report message to a moderator

Re: Negation of OCL expressions [message #1765434 is a reply to message #1765430]

Fri, 09 June 2017 12:46

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Hi

You question doesn't really make any sense. No idea what an initial phase is.

There are normally many context/constraint permutations for which only are values are false; negating would give you numerous results.

You can of course just use "not".

If you use the Validity View you can see any context/constraint permutations and so look at the inverses.

Regards

Ed Willink

Report message to a moderator

Previous Topic:	Possible problems with implicit properties of Stereotypes
Next Topic:	Using Java APIs

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Thu Apr 25 20:50:30 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter