hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-05 18:50:23 +01:00
Code Issues Packages Projects Releases Wiki Activity

bindingset is not really a pragma

Browse Source
This commit is contained in:
Philip Ginsbach
2023-05-25 10:39:44 +01:00
parent 3831dc7785
commit ba51ded516
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/codeql/ql-language-reference/ql-language-specification.rst
View File

@@ -773,7 +773,7 @@ Binding sets are checked by the QL compiler in the following way:
A predicate may have several different binding sets, which can be stated by using multiple ``bindingset`` annotations on the same predicate.
+----------------+---------+------------+-------------------+-----------------------+---------+--------+---------+---------+------------+
| Pragma | Classes | Characters | Member predicates | Non-member predicates | Imports | Fields | Modules | Aliases | Signatures |
| Annotation | Classes | Characters | Member predicates | Non-member predicates | Imports | Fields | Modules | Aliases | Signatures |
+================+=========+============+===================+=======================+=========+========+=========+=========+============+
| ``bindingset`` | | yes | yes | yes | | | | | (yes) |
+----------------+---------+------------+-------------------+-----------------------+---------+--------+---------+---------+------------+