Member predicate DataFlow :: SourceNode :: backtrack
Gets a node that may flow into this one using one heap and/or interprocedural step.
See TypeBackTracker
for more details about how to use this.
SourceNode
backtrack
(
TypeBackTracker
t2
,
TypeBackTracker
t
)