Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » Checking ocl syntax
Checking ocl syntax [message #1020771] Mon, 18 March 2013 22:21 Go to next message
Jeni Martin is currently offline Jeni MartinFriend
Messages: 42
Registered: November 2012
Member
Hi,
I have noticed that the ocl in RSA is different from the ocl in Ecipse. I am not sure how I can write the ocl for example in Papyrus (I know that Papyrus only checks the syntax but not validate them)

where I can findout about the syntax which is accepted in papyrus?
Thanks
Re: Checking ocl syntax [message #1020993 is a reply to message #1020771] Tue, 19 March 2013 10:13 Go to previous message
Ed Willink is currently offline Ed WillinkFriend
Messages: 7655
Registered: July 2009
Senior Member
Hi

RSA uses the classic/Ecore-based Eclipse OCL but tends to be rather out
of date. Use Help->About to find out what plugin versions you actually have.

Papyrus uses the new Pivot-based Eclipse OCL. The integration is of
limited utility in Juno; we're working hard to make Kepler good.
Validation is there but only if you're very clever.

All editors, the XText OCL Console and QVTc/QVTr use the new Xtext/Pivot
OCL. Acceleo, QVTo use the classic OCL.

The major differences between the classic and new approaches are
summarized in http://wiki.eclipse.org/MDT/OCL/Compliance, which I don't
update as often as I should. It just happens that I gave it a bit of a
refresh yesterday.

The steady improvements in the pivot-based approach left the classic
approach a bit behind, and so in Indigo there were some irritating
inconsistencies. In Juno, we tried to rectify as many of these as
possible, but some problems in the classic approach are too hard to fix,
so some differences such as "1 = 1.0" remain.

Regards

Ed Willink

On 18/03/2013 22:21, Jeni Martin wrote:
> Hi,
> I have noticed that the ocl in RSA is different from the ocl in
> Ecipse. I am not sure how I can write the ocl for example in Papyrus
> (I know that Papyrus only checks the syntax but not validate them)
>
> where I can findout about the syntax which is accepted in papyrus?
> Thanks
Previous Topic:asOrderedSet() flattening too much?
Next Topic:checking the attributes of client and supplier in dependency
Goto Forum:
  


Current Time: Sat Apr 27 03:27:13 GMT 2024

Powered by FUDForum. Page generated in 0.03537 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top