Predicate signature TypeTrackingInput::callStep
Holds if nodeFrom
steps to nodeTo
by being passed as a parameter in a
call.
signature predicate callStep(Node nodeFrom, LocalSourceNode nodeTo)
Holds if nodeFrom
steps to nodeTo
by being passed as a parameter in a
call.
signature predicate callStep(Node nodeFrom, LocalSourceNode nodeTo)