Merge pull request github#6096 from smowton/smowton/fix/inline-expectations-missing-prefix

Inline expectation tests: accept // $MISSING: and // $SPURIOUS:

Author: aschackmull

cpp/ql/test/TestUtilities/InlineExpectationsTest.qll

@@ -181,14 +181,14 @@ private int getEndOfColumnPosition(int start, string content) {
     min(string name, int cand |
       exists(TNamedColumn(name)) and
       cand = content.indexOf(name + ":") and
-      cand > start
+      cand >= start
     |
       cand
     )
   or
   not exists(string name |
     exists(TNamedColumn(name)) and
-    content.indexOf(name + ":") > start
+    content.indexOf(name + ":") >= start
   ) and
   result = content.length()
 }

java/ql/test/TestUtilities/InlineExpectationsTest.qll

@@ -181,14 +181,14 @@ private int getEndOfColumnPosition(int start, string content) {
     min(string name, int cand |
       exists(TNamedColumn(name)) and
       cand = content.indexOf(name + ":") and
-      cand > start
+      cand >= start
     |
       cand
     )
   or
   not exists(string name |
     exists(TNamedColumn(name)) and
-    content.indexOf(name + ":") > start
+    content.indexOf(name + ":") >= start
   ) and
   result = content.length()
 }

python/ql/test/TestUtilities/InlineExpectationsTest.qll

@@ -181,14 +181,14 @@ private int getEndOfColumnPosition(int start, string content) {
     min(string name, int cand |
       exists(TNamedColumn(name)) and
       cand = content.indexOf(name + ":") and
-      cand > start
+      cand >= start
     |
       cand
     )
   or
   not exists(string name |
     exists(TNamedColumn(name)) and
-    content.indexOf(name + ":") > start
+    content.indexOf(name + ":") >= start
   ) and
   result = content.length()
 }