Rust: Repair getNumberOfLinesOfCode.

Author: geoffw0

rust/ql/lib/codeql/files/FileSystem.qll

@@ -33,4 +33,13 @@ class Folder = Impl::Folder;
 class File extends Container, Impl::File {
   /** Holds if this file was extracted from ordinary source code. */
   predicate fromSource() { any() }
+
+  /**
+   * Gets the number of lines containing code in this file. This value
+   * is approximate.
+   */
+  int getNumberOfLinesOfCode() {
+    result =
+      count(int line | exists(Location loc | loc.getFile() = this and loc.getStartLine() = line and not loc instanceof EmptyLocation))
+  }
 }

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

@@ -4,9 +4,7 @@
 
 import rust
 
-int getLinesOfCode() {
-  result = sum(File f | | f.getNumberOfLinesOfCode())
-}
+int getLinesOfCode() { result = sum(File f | | f.getNumberOfLinesOfCode()) }
 
 int getLinesOfUserCode() {
   result = sum(File f | exists(f.getRelativePath()) | f.getNumberOfLinesOfCode())