Rename getAnExpectation to hasExpectation

`getAnExpectation` is a relation that holds between an expectation comment
and the parsed parts it carries, not a function returning a single value,
so the `get` prefix is misleading and trips the CodeQL predicate-naming
style check. Rename it to `hasExpectation`, matching the `has`-prefixed
convention for such predicates (and the sibling `hasExpectationWithValue`).

Pure rename with no behavior change; reformatted with `codeql query format`.

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Copilot-Session: 1adfa307-c48e-43f5-94e3-8286e4a8c083

Author: d10c

shared/util/codeql/util/test/InlineExpectationsTest.qll

@@ -284,14 +284,14 @@ module Make<InlineExpectationsTestSig Impl> {
         Impl::ExpectationComment comment, string tag, string value, string knownFailure
       ) {
         exists(TColumn column, string tags |
-          getAnExpectation(comment, column, _, tags, value) and
+          hasExpectation(comment, column, _, tags, value) and
           tag = tags.splitAt(",") and
           knownFailure = getColumnString(column) and
           not TestImpl::tagIsIgnored(tag)
         )
       } or
       TInvalidExpectation(Impl::ExpectationComment comment, string expectation) {
-        getAnExpectation(comment, _, expectation, _, _) and
+        hasExpectation(comment, _, expectation, _, _) and
         not expectation.regexpMatch(expectationPattern())
       }
 
@@ -512,7 +512,7 @@ module Make<InlineExpectationsTestSig Impl> {
    */
   predicate hasExpectationWithValue(string tag, string value) {
     exists(string tags |
-      getAnExpectation(_, _, _, tags, value) and
+      hasExpectation(_, _, _, tags, value) and
       tag = tags.splitAt(",")
     )
   }
@@ -607,7 +607,7 @@ private module ExpectationParser<InlineExpectationsTestSig Impl> {
    * The `--learn` postprocessing needs to see *every* parsed expectation on a comment - including
    * ones the running test ignores - so it can preserve them when rewriting.
    */
-  predicate getAnExpectation(
+  predicate hasExpectation(
     Impl::ExpectationComment comment, TColumn column, string expectation, string tags, string value
   ) {
     exists(string content |
@@ -1150,7 +1150,7 @@ module TestPostProcessing {
           invalid.getLocation() = comment.getLocation()
         ) and
         not exists(string tags |
-          getAnExpectation(comment, _, _, tags, _) and
+          hasExpectation(comment, _, _, tags, _) and
           not TestInput::tagIsIgnored(tags.splitAt(",")) and
           TestInput::tagIsIgnored(tags.splitAt(","))
         )
@@ -1170,7 +1170,7 @@ module TestPostProcessing {
         TestImpl2::ExpectationComment comment, string column, string text
       ) {
         exists(TColumn col, string tags |
-          getAnExpectation(comment, col, text, tags, _) and
+          hasExpectation(comment, col, text, tags, _) and
           column = getColumnString(col) and
           forall(string tag | tag = tags.splitAt(",") | TestInput::tagIsIgnored(tag))
         )
@@ -1198,7 +1198,7 @@ module TestPostProcessing {
           result = comment.getContents().regexpCapture("\\s*\\$ (?:[^/]|/[^/])*//(.*)", 1).trim()
           or
           // A plain comment with no expectation of its own: its whole content is the note.
-          not getAnExpectation(comment, _, _, _, _) and
+          not hasExpectation(comment, _, _, _, _) and
           not exists(Test::InvalidTestExpectation invalid |
             invalid.getLocation() = comment.getLocation()
           ) and