Skip to content

Commit 9d10b71

Browse files
Jami CogswellJami Cogswell
authored andcommitted
Java: add match metric
1 parent 1c5d4f8 commit 9d10b71

File tree

1 file changed

+5
-3
lines changed

1 file changed

+5
-3
lines changed

java/ql/src/Metrics/Summaries/GeneratedVsManualCoverage.ql

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ private int getNumApis(string package) {
4949

5050
from
5151
string package, int generatedOnly, int both, int manualOnly, int non, int all,
52-
float manualCoveredByGenerated, float generatedCoveredByManual
52+
float manualCoveredByGenerated, float generatedCoveredByManual, float match
5353
where
5454
// count the number of APIs with generated-only, both, and manual-only MaD models for each package
5555
generatedOnly = getNumMadModeledApis(package, "generated") and
@@ -61,6 +61,8 @@ where
6161
// Proportion of manual models covered by generated ones
6262
manualCoveredByGenerated = (both.(float) / (both + manualOnly)) and
6363
// Proportion of generated models covered by manual ones
64-
generatedCoveredByManual = (both.(float) / (both + generatedOnly))
64+
generatedCoveredByManual = (both.(float) / (both + generatedOnly)) and
65+
// Proportion of data points that match
66+
match = (both.(float) + non) / all
6567
select package, generatedOnly, both, manualOnly, non, all, manualCoveredByGenerated,
66-
generatedCoveredByManual order by package
68+
generatedCoveredByManual, match order by package

0 commit comments

Comments
 (0)