[pivot] Make Complete OCL work in Papyrus

[eclipse-ocl-bot]

| --- | --- | | Bugzilla Link | 406750 | | Status | NEW | | Importance | P3 normal | | Reported | Apr 28, 2013 13:03 EDT | | Modified | Dec 23, 2015 14:42 EDT | | Depends on | 408215 | | Reporter | Ed Willink |

Description

http://help.eclipse.org/juno/index.jsp?topic=%2Forg.eclipse.ocl.doc%2Fhelp%2FCompleteOCLTutorial.html&cp=49_3_2_8&anchor=CompleteOCLTutorial-UMLComplements

gives a UML validation that works in the UML edirtor but not in Papyrus.

It should be able to work in Kepler.

[eclipse-ocl-bot]

By Klaas Gadeyne on Apr 28, 2013 15:31

Unless I missed something, it doesn't work yet (using the latest nightly builds of OCL and papyrus).

Steps (I did) to reproduce:

• Set the OCL evaluator to pivot.
• Create a new project from the completeOCL tutorial that comes with OCL
• Open the PapyrusTestFile model
• Right-click on the diagram and 'Load CompleteOCL resource' ExtraUMLValidation.OCL
• Right-click on the diagram and select 'Validation -> Validate Model'

No validation errors are reported...

[eclipse-ocl-bot]

By Ed Willink on Apr 28, 2013 15:48

(In reply to comment #1)

No validation errors are reported...

That isn;t necessary the case. Unlike the UML Model/GenModel/Sample Ecore Editor, Papyrus has no diagnostic popup, so the errors may be there but not seen.

I have been developing an additional Validity View to give fine grained control and display of validations. This may show them in which case OCL is ok, and only the Papyrus UI is inadequate.

[eclipse-ocl-bot]

By Klaas Gadeyne on Apr 28, 2013 15:57

(In reply to comment #2)

(In reply to comment #1)

No validation errors are reported...

That isn;t necessary the case. Unlike the UML Model/GenModel/Sample Ecore Editor, Papyrus has no diagnostic popup, so the errors may be there but not seen.

I have been developing an additional Validity View to give fine grained control and display of validations. This may show them in which case OCL is ok, and only the Papyrus UI is inadequate.

Hmm, I can't find that view at first sight? Besides the "diagnostic pop-up", I've also checked the "Model validation" view (from papyrus) and the "Problem" view.

Searching for "Validation" or "Validity" in the "show view -> other" menu only shows the papyrus validation view.

[eclipse-ocl-bot]

By Ed Willink on May 08, 2013 13:04

(In reply to comment #3)

Searching for "Validation" or "Validity" in the "show view -> other" menu only shows the papyrus validation view.

The Validity View is work in progress and available from https://dl.dropboxusercontent.com/u/72595041/org.eclipse.emf.validation.debug-update-0.0.1M7.zip. Download then install. Direct install doesn't work. The code is available at git@github.com:ewillink/ocl.git.

[eclipse-ocl-bot]

By Ed Willink on May 16, 2013 05:15

Patch submitted to Papyrus as Bug 408215.

[eclipse-ocl-bot]

By Klaas Gadeyne on Dec 23, 2015 14:42

(In reply to Ed Willink from comment #5)

Patch submitted to Papyrus as Bug 408215.

Seems to be fixed now!