Rename framework coverage query

Move it to the other summary queries, update all references.

Author: Benjamin Muskalla

.github/workflows/csv-coverage-metrics.yml

@@ -31,7 +31,7 @@ jobs:
       - name: Capture coverage information
         run: |
           DATABASE="${{ runner.temp }}/java-database"
-          codeql database analyze --format=sarif-latest --output=metrics.sarif -- "$DATABASE" ./java/ql/src/Diagnostics/CoverageDiagnostics.ql
+          codeql database analyze --format=sarif-latest --output=metrics.sarif -- "$DATABASE" ./java/ql/src/Metrics/Summaries/FrameworkCoverage.ql
       - uses: actions/upload-artifact@v2
         with:
           name: metrics.sarif

java/ql/src/Diagnostics/CoverageDiagnostics.ql renamed to java/ql/src/Metrics/Summaries/FrameworkCoverage.ql

@@ -1,9 +1,9 @@
 /**
- * @name Diagnostics for framework coverage
- * @description Expose diagnostics for the number of API endpoints covered by CSV models.
+ * @id java/summary/framework-coverage
+ * @name Metrics of framework coverage
+ * @description Expose metrics for the number of API endpoints covered by CSV models.
  * @kind metric
  * @tags summary
- * @id java/diagnostics/framework-coverage
  */
 
 import java

misc/suite-helpers/code-scanning-selectors.yml

@@ -26,4 +26,4 @@
 - exclude:
     query path:
       - /^experimental\/.*/
-      - Diagnostics/CoverageDiagnostics.ql
+      - Metrics/Summaries/FrameworkCoverage.ql

misc/suite-helpers/lgtm-selectors.yml

@@ -24,4 +24,4 @@
 - exclude:
     query path:
       - /^experimental\/.*/
-      - Diagnostics/CoverageDiagnostics.ql
+      - Metrics/Summaries/FrameworkCoverage.ql

misc/suite-helpers/security-and-quality-selectors.yml

@@ -27,5 +27,5 @@
 - exclude:
     query path:
       - /^experimental\/.*/
-      - Diagnostics/CoverageDiagnostics.ql
+      - Metrics/Summaries/FrameworkCoverage.ql
 

misc/suite-helpers/security-extended-selectors.yml

@@ -32,4 +32,4 @@
 - exclude:
     query path:
       - /^experimental\/.*/
-      - Diagnostics/CoverageDiagnostics.ql
+      - Metrics/Summaries/FrameworkCoverage.ql