CodeQL library for Java
codeql/java-all 0.4.4 (changelog, source)
Search

Predicate exprImplies

If e1 evaluates to b1 then the subexpression e2 evaluates to b2.

Import path

import semmle.code.java.comparison.Comparison
predicate exprImplies(Expr e1, boolean b1, Expr e2, boolean b2)