Bug 509842

Summary:	[evaluator] Pre-evaluation static AST analysis
Product:	[Modeling] OCL	Reporter:	Ed Willink <ed>
Component:	Core	Assignee:	OCL Inbox <mdt-ocl-inbox>
Status:	NEW ---	QA Contact:
Severity:	normal
Priority:	P3	Keywords:	plan
Version:	unspecified
Target Milestone:	---
Hardware:	PC
OS:	Windows NT
Whiteboard:
Bug Depends on:	509667, 509670, 509816, 516652, 519289, 520440, 518709
Bug Blocks:

Description Ed Willink

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

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

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.