|Checking ocl syntax [message #1020771]
||Mon, 18 March 2013 18:21
| Jeni Martin
Registered: November 2012
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?
|Re: Checking ocl syntax [message #1020993 is a reply to message #1020771]
||Tue, 19 March 2013 06:13
| Ed Willink
Registered: July 2009
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
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.
On 18/03/2013 22:21, Jeni Martin wrote:
> 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?
Powered by FUDForum
. Page generated in 0.01735 seconds