CodeQL library for Swift
codeql/swift-all 2.0.2 (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)