From e7285babf05151a8a96d4213a979d2cc7a4cad1b Mon Sep 17 00:00:00 2001
From: Alex Ford <alexrford@github.com>
Date: Fri, 7 May 2021 00:17:58 +0100
Subject: [PATCH] rb/diagnostics/successfully-extracted-files

---
 .../diagnostics/SuccessfullyExtractedFiles.ql      | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 ql/src/queries/diagnostics/SuccessfullyExtractedFiles.ql

diff --git a/ql/src/queries/diagnostics/SuccessfullyExtractedFiles.ql b/ql/src/queries/diagnostics/SuccessfullyExtractedFiles.ql
new file mode 100644
index 00000000000..f7c3bbd14af
--- /dev/null
+++ b/ql/src/queries/diagnostics/SuccessfullyExtractedFiles.ql
@@ -0,0 +1,14 @@
+/**
+ * @name Successfully extracted files
+ * @description Lists all files that were extracted without encountering an
+ *   error in the file.
+ * @kind diagnostic
+ * @id rb/diagnostics/successfully-extracted-files
+ */
+
+import ruby
+import codeql_ruby.Diagnostics
+
+from File f
+where not exists(ExtractionError e | e.getLocation().getFile() = f)
+select f, ""