C#: Post-processing query for inline test expectations

Author: hvitved

csharp/ql/test/TestUtilities/InlineExpectationsTest.qll

@@ -1,5 +1,5 @@
 /**
- * Inline expectation tests for CSharp.
+ * Inline expectation tests for C#.
  * See `shared/util/codeql/util/test/InlineExpectationsTest.qll`
  */
 

csharp/ql/test/TestUtilities/InlineExpectationsTestQuery.ql

@@ -0,0 +1,21 @@
+/**
+ * @kind test-postprocess
+ */
+
+private import csharp
+private import codeql.util.test.InlineExpectationsTest as T
+private import internal.InlineExpectationsTestImpl
+import T::TestPostProcessing
+import T::TestPostProcessing::Make<Impl, Input>
+
+private module Input implements T::TestPostProcessing::InputSig<Impl> {
+  string getRelativeUrl(Location location) {
+    exists(File f, int startline, int startcolumn, int endline, int endcolumn |
+      location.hasLocationInfo(_, startline, startcolumn, endline, endcolumn) and
+      f = location.getFile()
+    |
+      result =
+        f.getRelativePath() + ":" + startline + ":" + startcolumn + ":" + endline + ":" + endcolumn
+    )
+  }
+}

csharp/ql/test/query-tests/Useless Code/UnusedLabel/UnusedLabel.cs

@@ -3,13 +3,13 @@ class UnusedLabelTest
     void F1()
     {
         goto a;
-        a:  // GOOD
+    a:  // GOOD
         ;
     }
 
     void F2()
     {
-        a:  // BAD
+    a:  // $ Alert
         ;
     }
 }

csharp/ql/test/query-tests/Useless Code/UnusedLabel/UnusedLabel.expected

@@ -1 +1 @@
-| UnusedLabel.cs:12:9:12:9 | a: | This label is not used. |
+| UnusedLabel.cs:12:5:12:5 | a: | This label is not used. |

csharp/ql/test/query-tests/Useless Code/UnusedLabel/UnusedLabel.qlref

@@ -1 +1,2 @@
-Useless code/UnusedLabel.ql
+query: Useless code/UnusedLabel.ql
+postprocess: TestUtilities/InlineExpectationsTestQuery.ql