CodeQL library for Python
Search

Member predicate Comparison::impliesThat

Whether the result of this comparison being thisIsTrue implies that the result of that is isThatTrue. In other words, does the predicate that is equivalent to the result of this being thisIsTrue imply the predicate that is equivalent to the result of that being thatIsTrue. For example, assume that there are two tests, which when normalised have the form x < y and x > y + 1. Then the test x < y having a true result, implies that the test x > y + 1 will have a false result. (x < y having a false result implies nothing about x > y + 1)

predicate impliesThat(boolean thisIsTrue, Comparison that, boolean thatIsTrue)