Member predicate TypeTracking::TypeTracker::step
Gets the summary that corresponds to having taken a forwards
heap and/or inter-procedural step from nodeFrom
to nodeTo
.
TypeTracker step(LocalSourceNode nodeFrom, LocalSourceNode nodeTo)
Gets the summary that corresponds to having taken a forwards
heap and/or inter-procedural step from nodeFrom
to nodeTo
.
TypeTracker step(LocalSourceNode nodeFrom, LocalSourceNode nodeTo)