CodeQL library for Swift
codeql/swift-all 2.0.4-dev (changelog, source)
Search

Predicate signature TypeTrackingInput::levelStepNoCall

Holds if there is a level step from nodeFrom to nodeTo that does not depend on the call graph.

signature predicate levelStepNoCall(Node nodeFrom, LocalSourceNode nodeTo)