From 83376afd1504e8bce26a7dd8ac5090b5862b2d10 Mon Sep 17 00:00:00 2001
From: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
Date: Tue, 17 Sep 2024 17:43:50 +0100
Subject: [PATCH] Rust: Improve layout locality in summary stats.

---
 rust/ql/src/queries/summary/SummaryStats.ql            | 10 +++++-----
 .../test/query-tests/diagnostics/SummaryStats.expected | 10 +++++-----
 2 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/rust/ql/src/queries/summary/SummaryStats.ql b/rust/ql/src/queries/summary/SummaryStats.ql
index 1e68361a4c59..447325514cac 100644
--- a/rust/ql/src/queries/summary/SummaryStats.ql
+++ b/rust/ql/src/queries/summary/SummaryStats.ql
@@ -11,13 +11,13 @@ import Stats
 
 from string key, string value
 where
-  key = "Extracted files" and value = count(File f | exists(f.getRelativePath())).toString()
+  key = "Files extracted" and value = count(File f | exists(f.getRelativePath())).toString()
   or
-  key = "Extracted elements" and value = count(Element e | not e instanceof Unextracted).toString()
+  key = "Elements extracted" and value = count(Element e | not e instanceof Unextracted).toString()
   or
-  key = "Unextracted elements" and value = count(Unextracted e).toString()
+  key = "Elements unextracted" and value = count(Unextracted e).toString()
   or
-  key = "Lines of code" and value = getLinesOfCode().toString()
+  key = "Lines of code extracted" and value = getLinesOfCode().toString()
   or
-  key = "Lines of user code" and value = getLinesOfUserCode().toString()
+  key = "Lines of user code extracted" and value = getLinesOfUserCode().toString()
 select key, value
diff --git a/rust/ql/test/query-tests/diagnostics/SummaryStats.expected b/rust/ql/test/query-tests/diagnostics/SummaryStats.expected
index c693426a5dbf..03ea7f60b21f 100644
--- a/rust/ql/test/query-tests/diagnostics/SummaryStats.expected
+++ b/rust/ql/test/query-tests/diagnostics/SummaryStats.expected
@@ -1,5 +1,5 @@
-| Extracted elements | 61 |
-| Extracted files | 6 |
-| Lines of code | 24 |
-| Lines of user code | 24 |
-| Unextracted elements | 26 |
+| Elements extracted | 61 |
+| Elements unextracted | 26 |
+| Files extracted | 6 |
+| Lines of code extracted | 24 |
+| Lines of user code extracted | 24 |