Re: [mdt-papyrus.dev] OCL question on a profile

[Ansgar Radermacher <ansgar.radermacher@xxxxxx>]

Hi Ed,

I will examine the bug.

Best regards

Ansgar

On 23/05/2017 11:12, Ed Willink wrote:

Hi

It would be good if someone could ensure that the one-line fix of https://bugs.eclipse.org/bugs/show_bug.cgi?id=512428 makes it into RC1.

    Regards

        Ed Willink

On 19/05/2017 17:52, Ed Willink wrote:

Hi

"LPG" is what is used by the old Classic Ecore/UML OCL

"Pivot" is the new Unifed OCL with Xytext editors, code generation, ....

I identified the confusion that a Papyrus user might edit their OCL with Xtext and so Pivot OCL, but might accidentally choose to execute with Classic OCL consequently getting some confusing errors since not all new facilities have been migrated back. Because of the hazard, Papyrus should ensure that the Pivot OCL is used regardless of the OCL preference for independent usage. You can check by looking at your *.uml. It should have

    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">

rather than default (omitting "/Pivot"), or the converse (replacing "/Pivot" by "/LPG").

Unfortunately https://bugs.eclipse.org/bugs/show_bug.cgi?id=512428 is still waiting for some TLC. At present users can be stupid and the defaults probably help them to be.

    Regards

        Ed Willink

On 19/05/2017 16:21, Johan Van Noten wrote:

Hi Séb,

 

It seems your example is working fine for me.

I did do the following things:

·         Created a new model test2

·         I opened your profile and defined it once more by saving (initially, it didn’t seem to work and I only had one of the two profiles available…)

·         On the RootElement, I applied both sub-profiles

·         I created a class diagram, a class and an operation

·         I applied NFP

·         I validated à model validation lists the issue

·         I applied ASIL as well

·         I validated à model validation disappears as expected.

 

I also changed Eclipse OCL executor’s preference from LPG to Pivot (the one I typically use).

Unfortunately, I don’t understand all and aspects of this choice, but for this case it doesn’t make any difference afaik.

 

Beware: Papyrus gives an error in the following scenario:

·         Redefine the profile

·         Open a model to which the profile was applied

·         Allow the automatic update (re-application)

·         Then validate

You first need to save the model, close it and reopen it in order to have a valid validation.

 

In attachment the current profile & test2 model.

 

Does this work for you as well?

 

BR,

Johan

 

Van: mdt-papyrus.dev-bounces@xxxxxxxxxxx [mailto:mdt-papyrus.dev-bounces@xxxxxxxxxxx] Namens GERARD Sebastien
Verzonden: vrijdag 19 mei 2017 16:28
Aan: Papyrus Project list <mdt-papyrus.dev@xxxxxxxxxxx>
Onderwerp: Re: [mdt-papyrus.dev] OCL question on a profile

 

My test is on NEON

 

			Sébastien Gérard Head of the LISE labs CEA Research Director Papyrus project Leader (www.eclipse.org/papyrus) Commissariat à l’énergie atomique et aux énergies alternatives Institut List | CEA Saclay Nano-INNOV | Bât. 862- PC174 F-91191 Gif-sur-Yvette Cedex M. +33 6 88 20 00 47 T. +33 1 69 08 58 24 sebastien.gerard@xxxxxx  www-list.cea.fr

 

 

_______________________________________________
mdt-papyrus.dev mailing list
mdt-papyrus.dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/mdt-papyrus.dev

_______________________________________________
mdt-papyrus.dev mailing list
mdt-papyrus.dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/mdt-papyrus.dev

-- 
Ansgar Radermacher                CEA/DRT/DILS/LISE
http://www-list.cea.fr/en/
phone: +33 16908 3812
mailto: ansgar.radermacher@xxxxxx