Bug 522340 - [trace] Support incremental tracing
Summary: [trace] Support incremental tracing
Status: NEW
Alias: None
Product: QVTd
Classification: Modeling
Component: Core (show other bugs)
Version: unspecified   Edit
Hardware: PC Windows NT
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: Project Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords: plan
Depends on: 463969 515327 522178 522344 522345 522346
Blocks:
  Show dependency tree
 
Reported: 2017-09-15 03:00 EDT by Ed Willink CLA
Modified: 2017-09-15 03:37 EDT (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 2017-09-15 03:00:50 EDT 
This planning bug aggregates many issues related to the objective tracing goal:

Everything whose change requires incremental re-evaluation must be in the persisted trace.
Comment 1 Ed Willink CLA 2017-09-15 03:09:34 EDT 
Bug 515327 eventually resulted in a trace hierarchy for overrides/non-top relations.

top overrides have a leaf TC_ class per override. Each TC_xxx class overrides a corresponding TI_yyy interface whose inheritance hierarchy replicates the overrides hierarchy. root variables (and status) are traced by the root interface. non-root variables are traced in the leaf class.

non-top invocations have a WC_xxx class for each caller and a WI_xxx interface for each callee. Each WC_xxx class overrides a corresponding WI_yyy interface whose inheritance hierarchy replicates the overrides hierarchy for those clases that are directly invoked. The WI_xxx interface has the root variables (and status).
Comment 2 Ed Willink CLA 2017-09-15 03:12:19 EDT 
Bug 463969 deals with the need for accurate opposite modeling from the trace to ensure to-one properties give single headed mappings.
Comment 3 Ed Willink CLA 2017-09-15 03:16:58 EDT 
Bug 522344 deals with the need for sub-traces to trace each of a multiplicity of iterations.
Comment 4 Ed Willink CLA 2017-09-15 03:21:08 EDT 
Bug 522345 deals with the need for traces of operations that have NavigationCallExps accessing external model context.
Comment 5 Ed Willink CLA 2017-09-15 03:29:58 EDT 
Bug 522346 deals with regeneration of trace classes to suit what is actually appropriate post partitioning/merging and possibly trimming for non-incremental use.
Comment 6 Ed Willink CLA 2017-09-15 03:37:16 EDT 
Bug 522178 deals with the need for trace properties for intermediate terms in non-TemplateExp aspects of relation patterns.