hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 10:15:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

QLSpec:Allow setliterals withing inrange terms

Browse Source
This commit is contained in:
alexet
2022-02-21 18:57:29 +00:00
parent 5473162f23
commit 121b3f6fbf
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1530,9 +1530,10 @@ A range check has the following syntax:
::
inrange ::= expr "in" range
inrange ::= expr "in" (range | setliteral)
The formula is equivalent to ``expr "=" range``.
The formula is equivalent to ``expr "=" range`` or ``expr "=" setliteral``.
Calls
~~~~~
@@ -2131,7 +2132,7 @@ The complete grammar for QL is as follows:
instanceof ::= expr "instanceof" type
inrange ::= expr "in" range
inrange ::= expr "in" (range | setliteral)
call ::= predicateRef (closure)? "(" (exprs)? ")"
| primary "." predicateName (closure)? "(" (exprs)? ")"