CodeQL library for Java/Kotlin
codeql/java-all 5.0.1-dev (changelog, source)
Search

Predicate Make::hasExpectationWithValue

Holds if the expectation tag=value is found in one or more expectation comments.

This can be used when writing tests where the set of possible values must be known in advance, for example, when testing a predicate for which value is part of the binding set.

Import path

import codeql.util.test.InlineExpectationsTest
predicate hasExpectationWithValue(string tag, string value)