mirror of
https://github.com/github/codeql.git
synced 2026-05-02 12:15:17 +02:00
Docs: Highlight that Configuration is not DataFlow::Configuration
I made that mistake when just reading it over (DOH). I think that calling it MyConfiguration makes it a bit more clear that this is a configuration class you wrote yourself :D
This commit is contained in:
@@ -58,7 +58,7 @@ You should use the following template:
|
||||
import DataFlow::PathGraph
|
||||
...
|
||||
|
||||
from Configuration config, DataFlow::PathNode source, DataFlow::PathNode sink
|
||||
from MyConfiguration config, DataFlow::PathNode source, DataFlow::PathNode sink
|
||||
where config.hasFlowPath(source, sink)
|
||||
select sink.getNode(), source, sink, "<message>"
|
||||
|
||||
@@ -66,7 +66,7 @@ Where:
|
||||
|
||||
- ``DataFlow::Pathgraph`` is the path graph module you need to import from the standard CodeQL libraries.
|
||||
- ``source`` and ``sink`` are nodes on the `path graph <https://en.wikipedia.org/wiki/Path_graph>`__, and ``DataFlow::PathNode`` is their type.
|
||||
- ``Configuration`` is a class containing the predicates which define how data may flow between the ``source`` and the ``sink``.
|
||||
- ``MyConfiguration`` is a class containing the predicates which define how data may flow between the ``source`` and the ``sink``.
|
||||
|
||||
|
||||
The following sections describe the main requirements for a valid path query.
|
||||
|
||||
Reference in New Issue
Block a user