unified: Also report number of files included in a module

Author: asgerf

unified/ql/src/diagnostic/AnalysisQuality.qll

@@ -2,6 +2,7 @@ private import unified
 private import codeql.util.ReportStats
 private import codeql.unified.internal.StaticNameBinding
 private import codeql.unified.internal.LocalNameBinding
+private import codeql.unified.internal.NameBindingPlugin
 
 module StaticNameResolutionStats implements StatsSig {
   private class Candidate extends Identifier {
@@ -33,3 +34,21 @@ module StaticNameResolutionStats implements StatsSig {
 }
 
 module StaticNameResolutionStatsReport = ReportStats<StaticNameResolutionStats>;
+
+module FilesCoveredByModuleManifest implements StatsSig {
+  private class Candidate extends File {
+    Candidate() { this.getExtension() = "swift" }
+
+    predicate isOk() { this = any(ModuleScopeRepr m).getAnIncludedFile() }
+  }
+
+  int getNumberOfOk() { result = count(Candidate c | c.isOk()) }
+
+  int getNumberOfNotOk() { result = count(Candidate c | not c.isOk()) }
+
+  string getOkText() { result = "files covered by a module manifest" }
+
+  string getNotOkText() { result = "files not covered by any module manifest" }
+}
+
+module FilesCoveredByModuleManifestStatsReport = ReportStats<FilesCoveredByModuleManifest>;

unified/ql/src/diagnostic/ExtractorInformation.ql

@@ -14,7 +14,10 @@ where
   (
     StaticNameResolutionStatsReport::numberOfOk(key, value) or
     StaticNameResolutionStatsReport::numberOfNotOk(key, value) or
-    StaticNameResolutionStatsReport::percentageOfOk(key, value)
+    StaticNameResolutionStatsReport::percentageOfOk(key, value) or
+    FilesCoveredByModuleManifestStatsReport::numberOfOk(key, value) or
+    FilesCoveredByModuleManifestStatsReport::numberOfNotOk(key, value) or
+    FilesCoveredByModuleManifestStatsReport::percentageOfOk(key, value)
   ) and
   /* Infinity */
   value != 1.0 / 0.0 and