hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 10:15:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: add float cast

Browse Source
This commit is contained in:
Jami Cogswell
2022-12-15 15:23:28 -05:00
parent b68a9a51e2
commit cfeedb5cb4
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
java/ql/src/Metrics/Summaries/GeneratedVsManualCoverage.ql
View File

@@ -63,9 +63,9 @@ where
all = getNumApis(package) and
non = all - (generatedOnly + both + manualOnly) and
// Proportion of coverage
coverage = (generatedOnly + both + manualOnly) / all and
generatedCoverage = generated / all and
manualCoverage = manual / all and
coverage = (generatedOnly + both + manualOnly).(float) / all and
generatedCoverage = generated.(float) / all and
manualCoverage = manual.(float) / all and
// Proportion of manual models covered by generated ones
manualCoveredByGenerated = (both.(float) / (both + manualOnly)) and
// Proportion of generated models covered by manual ones