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

Java: update some qldocs

Browse Source
This commit is contained in:
Jami Cogswell
2023-03-27 14:42:56 -04:00
parent 8b18df0987
commit aca538310f
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
java/ql/src/Metrics/Summaries/GeneratedVsManualCoverageQuery.qll
View File

@@ -42,7 +42,7 @@ private int getNumApis(string package, string apiSubset) {
)
}
/** TODO */
/** Holds if the given `callable` belongs to the specified `apiSubset`. */
private predicate callableSubset(Callable callable, string apiSubset) {
apiSubset in ["topJdkApis", "allApis"] and
(
@@ -52,7 +52,10 @@ private predicate callableSubset(Callable callable, string apiSubset) {
)
}
/** TODO */
/**
* Provides MaD summary model coverage information for the given `package`
* on the given `apiSubset`.
*/
predicate modelCoverageGenVsMan(
string package, int generatedOnly, int both, int manualOnly, int non, int all, float coverage,
float generatedCoverage, float manualCoverage, float manualCoveredByGenerated,