Skip to content

Commit 27ad882

Browse files
egregius313owen-mc
andauthored
Usage range pattern instead of comma separation
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com>
1 parent 2bfca21 commit 27ad882

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

docs/codeql/codeql-language-guides/customizing-library-models-for-go.rst

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -195,7 +195,7 @@ The remaining values are used to define the ``access path``, the ``kind``, and t
195195
- The ninth value ``taint`` is the kind of the flow. ``taint`` means that taint is propagated through the call.
196196
- The tenth value ``manual`` is the provenance of the summary, which is used to identify the origin of the summary.
197197

198-
It would also be possible to merge the two rows into one by using a comma-separated list in the seventh value. This would be useful if the method has many arguments and the flow is the same for all of them.
198+
It would also be possible to merge the two rows into one by using ".." to indicate a range in the seventh value. This would be useful if the method has many arguments and the flow is the same for all of them.
199199

200200
.. code-block:: yaml
201201
@@ -204,9 +204,9 @@ It would also be possible to merge the two rows into one by using a comma-separa
204204
pack: codeql/go-all
205205
extensible: summaryModel
206206
data:
207-
- ["strings", "", False, "Join", "", "", "Argument[0,1]", "ReturnValue", "taint", "manual"]
207+
- ["strings", "", False, "Join", "", "", "Argument[0..1]", "ReturnValue", "taint", "manual"]
208208
209-
This row defines flow from both the first and the second argument to the return value. The seventh value ``Argument[0,1]`` is shorthand for specifying an access path to both ``Argument[0]`` and ``Argument[1]``.
209+
This row defines flow from both the first and the second argument to the return value. The seventh value ``Argument[0..1]`` is shorthand for specifying an access path to both ``Argument[0]`` and ``Argument[1]``.
210210

211211
Example: Add flow through the ``Hostname`` method
212212
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

0 commit comments

Comments
 (0)