Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
Bug 337230 - [ast] UML Pivot support
Summary: [ast] UML Pivot support
Status: NEW
Alias: None
Product: OCL
Classification: Modeling
Component: Core (show other bugs)
Version: 3.1.0   Edit
Hardware: PC Windows Vista
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: OCL Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2011-02-15 12:01 EST by Ed Willink CLA
Modified: 2012-06-21 13:19 EDT (History)
2 users (show)

See Also:


Attachments
UML example (6.80 KB, application/x-download)
2011-02-15 12:01 EST, Ed Willink CLA
no flags Details
Updated project using Pivot model (4.21 KB, application/octet-stream)
2012-06-21 13:17 EDT, Ed Willink CLA
no flags Details

Note You need to log in before you can comment on or make changes to this bug.
Description Ed Willink CLA 2011-02-15 12:01:41 EST
Created attachment 189016 [details]
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.
Comment 1 Ed Willink CLA 2011-05-05 14:52:23 EDT
In M7 oclAsType is modelled to propagate the dynamic type.
Comment 2 Ed Willink CLA 2012-06-21 13:17:36 EDT
Created attachment 217714 [details]
Updated project using Pivot model
Comment 3 Ed Willink CLA 2012-06-21 13:19:21 EDT
Pivot version fails on the unimplemented UML operations.