Skip to content

Commit 59d611d

Browse files
yoffRasmusWL
andauthored
Update python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll
Co-authored-by: Rasmus Wriedt Larsen <[email protected]>
1 parent 8891fbf commit 59d611d

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -115,8 +115,8 @@ class ParameterNode extends EssaNode {
115115
ParameterNode() { var instanceof ParameterDefinition }
116116

117117
/**
118-
* Holds if this node is the parameter of callable `c` at the specified
119-
* (zero-based) position.
118+
* Holds if this node is the parameter of callable `c` at the
119+
* (zero-based) index `i`.
120120
*/
121121
predicate isParameterOf(DataFlowCallable c, int i) {
122122
var.(ParameterDefinition).getDefiningNode() = c.getParameter(i)

0 commit comments

Comments
 (0)