search

eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0
0 stars 0 forks source link

[evaluator] Pre-evaluation static AST analysis #1793

Open eclipse-ocl-bot opened 2 hours ago

eclipse-ocl-bot commented 2 hours ago

| --- | --- | | Bugzilla Link | 509842 | | Status | NEW | | Importance | P3 normal | | Reported | Jan 03, 2017 04:52 EDT | | Modified | Aug 02, 2017 03:55 EDT | | Depends on | 516652, 519289, 520440, 509667, 509670, 509816, 518709 | | Reporter | Ed Willink |

Description

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.

eclipse-ocl-bot commented 2 hours ago

By Ed Willink on Jul 06, 2017 05:25

Bug 519289 - the static analysis routine and its API

Bug 518709 - Invalidatable<Nullable> for fuller invalid analysis

Bug 509670 - smart/lazy collections

Bug 516652 - lazy evaluation environment

eclipse-ocl-bot commented 2 hours ago

By Ed Willink on Aug 02, 2017 03:55

(In reply to Ed Willink from comment #1)

Bug 518709 - Invalidatable<Nullable> for fuller invalid analysis

Bug 520440 - TypedElement.maybeNull/maybeInvalid

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