Bug 530991 - [qvtr2qvts] Inline when invocation to legitimize distributed key creation
Summary: [qvtr2qvts] Inline when invocation to legitimize distributed key creation
Status: NEW
Alias: None
Product: QVTd
Classification: Modeling
Component: Core (show other bugs)
Version: unspecified   Edit
Hardware: PC Windows 10
: P3 enhancement (vote)
Target Milestone: ---   Edit
Assignee: Project Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2018-02-10 07:15 EST by Ed Willink CLA
Modified: 2018-02-10 07:17 EST (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Ed Willink CLA 2018-02-10 07:15:49 EST 
Bug 512532#c22 identifies a distributed Key creation with part reassignment in ModelMorf's Seq2Stm. This is locally highly suspect, but once the nested key creation is inlined the key creation can be atomic and so not-unreasonable.

Add inlining of when invocations that return a mutated keyed object.