mirror of
https://github.com/github/codeql.git
synced 2025-12-18 18:10:39 +01:00
This is merely making explicit what was implicitly enforced. The move to change the return type of `step` already meant that `this` and `result` had to be `LocalSourceNode`. By moving these methods to their rightful place, we should hopefully avoid a bit of suprising behaviour.
532 B
532 B
lgtm,codescanning
- The predicates
StepSummary::stepandTypeTracker::stepinTypeTracker.qllhave been changed to use the more restrictive typeLocalSourceNodefor their second argument. For cases where stepping between non-LocalSourceNodes is required, theStepSummary::smallsteppredicate may be used instead. - The methods
Node::trackandNode::backtrackhave been moved to the classLocalSourceNode. If the old behavior is required, one can useLocalSourceNode::flowsToto add back the missing flow.