Python: Move track/backtrack to LocalSourceNode

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.
This commit is contained in:
Taus
2021-04-20 14:35:11 +00:00
committed by GitHub
parent 2a07441c19
commit c0569da65c
3 changed files with 18 additions and 16 deletions

View File

@@ -3,3 +3,5 @@ lgtm,codescanning
to use the more restrictive type `LocalSourceNode` for their second argument. For cases where
stepping between non-`LocalSourceNode`s is required, the `StepSummary::smallstep` predicate may be
used instead.
* The methods `Node::track` and `Node::backtrack` have been moved to the class `LocalSourceNode`. If
the old behavior is required, one can use `LocalSourceNode::flowsTo` to add back the missing flow.