Docs: DataFlow: Add a missing qualifier

This commit is contained in:
Ian Lynagh
2023-12-05 14:51:15 +00:00
parent ee35bfb290
commit 27f99acb2e

View File

@@ -95,7 +95,7 @@ To do quick evaluations of partial flow it is often easiest to add a predicate t
.. code-block:: ql
predicate adhocPartialFlow(Callable c, MyPartialFlow::PartialPathNode n, Node src, int dist) {
predicate adhocPartialFlow(Callable c, MyPartialFlow::PartialPathNode n, DataFlow::Node src, int dist) {
exists(MyPartialFlow::PartialPathNode source |
MyPartialFlow::partialFlow(source, n, dist) and
src = source.getNode() and