Skip to content

Conversation

@tamasvajk
Copy link
Contributor

@tamasvajk tamasvajk commented Apr 21, 2021

This PR adds two diagnostic queries to list extraction errors, and to list files with no extraction errors.

Additionally, it changes the standalone extractor to store extraction errors (model errors). This latter one (if approved) will need a change note.

Differences job

@github-actions github-actions bot added the C# label Apr 21, 2021
@tamasvajk tamasvajk marked this pull request as ready for review April 21, 2021 14:33
@tamasvajk tamasvajk requested a review from a team as a code owner April 21, 2021 14:33
}

from DiagnosticError error
select error.getMessage(), 3
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What does the 3 mean?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think 3 means error in the SARIF format.

file.fromSource() and
not exists(ExtractorError e | e.getLocation().getFile() = file) and
not exists(CompilerError e | e.getLocation().getFile() = file)
select file, ""
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is the "" needed?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, it is needed. This is probably how we indicate that these results are success ones. See also here.

@tamasvajk tamasvajk merged commit 310baab into github:main Apr 28, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants