Rust: Add summary stats query showing all of the summary data, for convenience.

Author: geoffw0

rust/ql/src/queries/summary/LinesOfCode.ql

@@ -9,5 +9,6 @@
  */
 
 import rust
+import Stats
 
-select sum(File f | | f.getNumberOfLinesOfCode())
+select getLinesOfCode()

rust/ql/src/queries/summary/LinesOfUserCode.ql

@@ -9,5 +9,6 @@
  */
 
 import rust
+import Stats
 
-select sum(File f | exists(f.getRelativePath()) | f.getNumberOfLinesOfCode())
+select getLinesOfUserCode()

rust/ql/src/queries/summary/Stats.qll

@@ -0,0 +1,13 @@
+/**
+ * Predicates used in summary queries.
+ */
+
+import rust
+
+int getLinesOfCode() {
+  result = sum(File f | | f.getNumberOfLinesOfCode())
+}
+
+int getLinesOfUserCode() {
+  result = sum(File f | exists(f.getRelativePath()) | f.getNumberOfLinesOfCode())
+}

rust/ql/src/queries/summary/SummaryStats.ql

@@ -0,0 +1,17 @@
+/**
+ * @name Summary Statistics
+ * @description A table of summary statistics about a database.
+ * @kind table
+ * @id rust/summary/summary-statistics
+ * @tags summary
+ */
+
+import rust
+import Stats
+
+from string key, string value
+where
+  key = "Lines of code" and value = getLinesOfCode().toString()
+  or
+  key = "Lines of user code" and value = getLinesOfUserCode().toString()
+select key, value