CodeQL library for Python
codeql/python-all 0.11.13 (changelog, source)
Index
Search

Member predicate BoolExpr::impliesValue

Whether part evaluates to partIsTrue if this evaluates to wholeIsTrue

predicate impliesValue(Expr part, boolean partIsTrue, boolean wholeIsTrue)