Bug 509842 - [evaluator] Pre-evaluation static AST analysis
Summary: [evaluator] Pre-evaluation static AST analysis
Status: NEW
Alias: None
Product: OCL
Classification: Modeling
Component: Core (show other bugs)
Version: unspecified   Edit
Hardware: PC Windows NT
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: OCL Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords: plan
Depends on: 509667 509670 509816 516652 519289 520440 518709
Blocks:
  Show dependency tree
 
Reported: 2017-01-03 04:52 EST by Ed Willink CLA
Modified: 2017-08-02 03:55 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-01-03 04:52:57 EST 
This is a planning bug to aggregate issues that could benefit from a static analysis of the OCL expression AST. The analysis results might be saved within or adjacent to the OCL AST.
Comment 1 Ed Willink CLA 2017-07-06 05:25:32 EDT 
Bug 519289 - the static analysis routine and its API

Bug 518709 - Invalidatable<Nullable<T>> for fuller invalid analysis

Bug 509670 - smart/lazy collections

Bug 516652 - lazy evaluation environment
Comment 2 Ed Willink CLA 2017-08-02 03:55:31 EDT 
(In reply to Ed Willink from comment #1)
> Bug 518709 - Invalidatable<Nullable<T>> for fuller invalid analysis

Bug 520440 - TypedElement.maybeNull/maybeInvalid

The old FlowAnalysis for guard logic may evolve to an expression PostProcessVisitor.