Skip to content

Provide feedback to users when selecting declarations #1037

@dschrempf

Description

@dschrempf

This is an intermediate step between #1013 and #1028. (Things have changed since then).

In the Select pass, we report delayed parse messages. After PR #1013, we report traces for declarations that we have failed to parse.

We also want to report a trace when we select a declaration we did not parse. (This is epecially useful when program slicing is enabled). We may also want to distinguish if we failed to parse, or if we did not attempt to parse the missng declarations.

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions