eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0
1 stars 0 forks source link

Static profile issue with subsetted properties or derived union properties #2155

Open eclipse-ocl-bot opened 2 months ago

eclipse-ocl-bot commented 2 months ago

| --- | --- | | Bugzilla Link | 571198 | | Status | UNCONFIRMED | | Importance | P3 normal | | Reported | Feb 15, 2021 05:02 EDT | | Modified | Mar 10, 2021 11:00 EDT | | Reporter | Deniz Eren |

Description

Created attachment 285552\ Example model, profiles and images

Two simple Stereotypes A and B created that extend UML::Element metamodel type in example profile ValidationProblem.profile.uml.

The setup can be seen in the image simple_outline.png.

An Association is added from A to B, where +b:B[] is contained as a property within A, however B does not contain +a:A[] and rather it is contained within the Association element as a navigable element.

Stereotype B further contains a derived property +/derived_a:A[*], which is also a derived union property and is read-only.

The property +a:A[] within the Association adds the property +/derived_a:A[] as a "Subsetted property".

Java code is generated fine and static profile installed.

Running test application ValidationProblemApp.uml shows empty derived_a property - so it seems the Subsetted property or derived union doesn't work...

:compression: subsetted_property_issue.tar.gz

eclipse-ocl-bot commented 2 months ago

By Ed Willink on Feb 21, 2021 16:40

(In reply to Deniz Eren from comment #0)

Java code is generated fine and static profile installed.

Yes.

Running test application ValidationProblemApp.uml shows empty derived_a property - so it seems the Subsetted property or derived union doesn't work...

ValidationProblemApp.uml has no executable code so I don;t know what 'running' means.

eclipse-ocl-bot commented 2 months ago

By Deniz Eren on Feb 21, 2021 21:53

Hi Ed,\ I will upload full repo shortly.

eclipse-ocl-bot commented 2 months ago

By Deniz Eren on Feb 21, 2021 23:19

Created attachment 285624 Example profiles and images

Hi Ed, Here is the full profile and test model using the profile; as referenced in the description of this bug.

:compression: ValidationProblem9.tar.gz

eclipse-ocl-bot commented 2 months ago

By Deniz Eren on Mar 02, 2021 04:37

This issue could at some level have common aspects with Bug 571612, however they are different issues from user perspective.

eclipse-ocl-bot commented 2 months ago

By Ed Willink on Mar 10, 2021 11:00

I still don't know what 'running' means.

I would however like a repro of your problems with oclIsKindOf. Unfortunately so far they have all been gazumped by an earlier prpblem.