hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 01:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: extractor information: tolerate fractional percentages

Browse Source
This commit is contained in:
Chris Smowton
2024-03-01 16:49:29 +00:00
committed by GitHub
parent fd82a06b93
commit 0bb6a64e81
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/src/Telemetry/ExtractorInformation.ql
View File

@@ -159,9 +159,9 @@ where
extractorTotalDiagnostics(key, value) or
CallTargetStatsReport::numberOfOk(key, value) or
CallTargetStatsReport::numberOfNotOk(key, value) or
CallTargetStatsReport::percentageOfOk(key, value) or
CallTargetStatsReport::percentageOfOk(key, any(float x | value = x.floor())) or
ExprTypeStatsReport::numberOfOk(key, value) or
ExprTypeStatsReport::numberOfNotOk(key, value) or
ExprTypeStatsReport::percentageOfOk(key, value)
ExprTypeStatsReport::percentageOfOk(key, any(float x | value = x.floor()))
)
select key, value