CodeQL library for Java/Kotlin
codeql/java-all 1.1.0 (changelog, source)

Predicate integerGuard

An expression that directly tests whether a given expression is equal to k or not. The set of ks is restricted to those that are relevant for the expression or have a direct comparison with the expression.

If result evaluates to branch, then e is guaranteed to be equal to k if is_k is true, and different from k if is_k is false.

Import path

Expr integerGuard(IntComparableExpr e, boolean branch, int k, boolean is_k)