Skip to content

Expressions need type annotations in the parse trees #3184

Open
@MDoerner

Description

@MDoerner

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    code-path-analysisInvolves simulating execution paths / interpreting the user code ..to an extent.difficulty-04-quackheadDare?enhancementFeature requests, or enhancements to existing features. Ideas. Anything within the project's scope.retriage-v3Issue is deferred until v3 is completed and may be entirely solved by the paradigm shift

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions