Rust: Add extracted + unextracted elements to summary stats.

Author: geoffw0

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

@@ -13,6 +13,10 @@ from string key, string value
 where
   key = "Extracted files" and value = count(File f | exists(f.getRelativePath())).toString()
   or
+  key = "Extracted elements" and value = count(Element e | not e instanceof Unextracted).toString()
+  or
+  key = "Unextracted elements" and value = count(Unextracted e).toString()
+  or
   key = "Lines of code" and value = getLinesOfCode().toString()
   or
   key = "Lines of user code" and value = getLinesOfUserCode().toString()

rust/ql/test/query-tests/diagnostics/SummaryStats.expected

@@ -1,3 +1,5 @@
+| Extracted elements | 61 |
 | Extracted files | 6 |
 | Lines of code | 24 |
 | Lines of user code | 24 |
+| Unextracted elements | 26 |