Predicate exprImplies
If e1 evaluates to b1 then the subexpression e2 evaluates to b2.
Import path
import semmle.code.java.comparison.Comparisonpredicate exprImplies(Expr e1, boolean b1, Expr e2, boolean b2)If e1 evaluates to b1 then the subexpression e2 evaluates to b2.
import semmle.code.java.comparison.Comparisonpredicate exprImplies(Expr e1, boolean b1, Expr e2, boolean b2)