search

eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0
0 stars 0 forks source link

[ast] UML Pivot support #640

Open eclipse-ocl-bot opened 2 months ago

eclipse-ocl-bot commented 2 months ago

| --- | --- | | Bugzilla Link | 337230 | | Status | NEW | | Importance | P3 normal | | Reported | Feb 15, 2011 12:01 EDT | | Modified | Jun 21, 2012 13:19 EDT | | Version | 3.1.0 | | Reporter | Ed Willink |

Description

Created attachment 189016\ UML example

Attached

a) demonstrates a UML usage that doesn't wotk with the Pivot model

b) requires oclAsType to return the correct type

From the "Type of variable in "let" not agreeing with oclIsTypeOf/oclAsType" MDT/OCL newsgroup thread.

ocl-issue.zip

eclipse-ocl-bot commented 2 months ago

By Ed Willink on May 05, 2011 14:52

In M7 oclAsType is modelled to propagate the dynamic type.

eclipse-ocl-bot commented 2 months ago

By Ed Willink on Jun 21, 2012 13:17

Created attachment 217714 Updated project using Pivot model

:compression: OCL-test-2.zip

eclipse-ocl-bot commented 2 months ago

By Ed Willink on Jun 21, 2012 13:19

Pivot version fails on the unimplemented UML operations.