Expressions need type annotations in the parse trees #3184
Labels
code-path-analysis
Involves simulating execution paths / interpreting the user code ..to an extent.
difficulty-04-quackhead
Dare?
enhancement
Feature requests, or enhancements to existing features. Ideas. Anything within the project's scope.
We should annotate the expression nodes and all their sumnodes with types. This could either be a type interface or simply a string. (The latter would allow the annotation even before resolving references.)
This would be a first step towards code-path analysis. Moreover, this would allow for new inspections and to hugely simplify existing ones like the
ObjectNotSetInspection
.The text was updated successfully, but these errors were encountered: