CodeQL library for Go
codeql/go-all 2.1.3 (changelog, source)
Search

Member predicate Property::checkOn

Holds if test evaluating to outcome means that this property holds of nd, where nd is a subexpression of test.

predicate checkOn(Node test, Boolean outcome, Node nd)