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)
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)