Simplify diagnostic query

Author: Benjamin Muskalla

java/ql/src/Diagnostics/CoverageDiagnostics.ql

@@ -1,32 +1,18 @@
 /**
- * @name Framework coverage
- * @description The number of API endpoints covered by CSV models sorted by
- *              package and source-, sink-, and summary-kind.
+ * @name Diagnostics for framework coverage
+ * @description Expose diagnostics for the number of API endpoints covered by CSV models.
  * @kind diagnostic
  * @id java/diagnostics/framework-coverage
  */
 
 import java
 import semmle.code.java.dataflow.ExternalFlow
 
-string supportedPackageAndType() {
+from string packageAndType, int rows
+where
   exists(string package, string type |
-    modelCoverage(package, _, _, type, _) and result = package + ";" + type
+    modelCoverage(package, _, _, type, _) and
+    packageAndType = package + ";" + type and
+    rows = sum(int n | modelCoverage(package, _, _, type, n) | n)
   )
-}
-
-bindingset[packageAndType]
-int rowsForPackageAndType(string packageAndType) {
-  result =
-    sum(int n, string package, string type |
-      package = packageAndType.substring(0, packageAndType.indexOf(";")) and
-      type = packageAndType.substring(packageAndType.indexOf(";") + 1, packageAndType.length()) and
-      modelCoverage(package, _, _, type, n)
-    |
-      n
-    )
-}
-
-from string packageAndType, int rows
-where packageAndType = supportedPackageAndType() and rows = rowsForPackageAndType(packageAndType)
-select packageAndType, rows order by rows desc
+select packageAndType, rows