Skip to content

Commit 3113489

Browse files
committed
C++: Fix QLDoc.
1 parent aed1a3d commit 3113489

1 file changed

Lines changed: 7 additions & 4 deletions

File tree

‎cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll‎

Lines changed: 7 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1137,17 +1137,20 @@ private predicate interpretForwardsModelType(
11371137
}
11381138

11391139
/**
1140-
* Holds if `forwarder` may forward its arguments starting at `start` to `constructor`. The
1141-
* actual constructor being forwarded to depends on the types of arguments from `start`
1142-
* at calls to `forwarder`.
1140+
* Holds if `forwarder` may forward its arguments starting at `start` to a
1141+
* constructor of `c`. The actual constructor being forwarded to depends on the
1142+
* types of arguments from `start` at calls to `forwarder`.
11431143
*/
11441144
private predicate interpretForwardsModel(
11451145
Function forwarder, Class c, int start, string output, string provenance, string model
11461146
) {
11471147
interpretForwardsModelType(forwarder, c, start, output, provenance, model)
11481148
}
11491149

1150-
/** Holds if `forwarder` forwards its arguments starting at `start` to `constructor`. */
1150+
/**
1151+
* Holds if `forwarder` forwards its arguments starting at `start` to a
1152+
* constructor of `c`.
1153+
*/
11511154
predicate forwards(Function forwarder, Class c, int start) {
11521155
interpretForwardsModel(forwarder, c, start, _, _, _)
11531156
}

0 commit comments

Comments
 (0)