Merge pull request github#15783 from github/smowton/fix/extractor-information-fractional-percentage

Java: extractor information: tolerate fractional percentages

Author: smowton

java/ql/integration-tests/all-platforms/java/buildless-erroneous/ExtractorInformation.expected

@@ -12,6 +12,7 @@
 | Number of lines of code | 7 |
 | Number of lines of code with extension java | 7 |
 | Percentage of calls with call target | 20 |
+| Percentage of expressions with known type | 14 |
 | Total number of diagnostics from CodeQL Java extractor | 12 |
 | Total number of lines | 13 |
 | Total number of lines with extension java | 13 |

java/ql/src/Telemetry/ExtractorInformation.ql

@@ -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