hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6505 from edoardopirovano/trailing-comma

Browse Source 
QL Language Spec: Trailing comma in set literal
This commit is contained in:
Edoardo Pirovano
2021-09-28 13:45:09 +01:00
committed by GitHub
parent 413ac4e8f4 18020707b8
commit 5488872044
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1325,7 +1325,7 @@ Set literals denote a choice from a collection of values.
::
setliteral ::= "[" expr ("," expr)* "]"
setliteral ::= "[" expr ("," expr)* ","? "]"
Set literals can be of any type, but the types within a set literal have to be consistent according to the following criterion: At least one of the set elements has to be of a type that is a supertype of all the set element types. This supertype is the type of the set literal. For example, ``float`` is a supertype of ``float`` and ``int``, therefore ``x = [4, 5.6]`` is valid. On the other hand, ``y = [5, "test"]`` does not adhere to the criterion.
@@ -1333,6 +1333,8 @@ The values of a set literal expression are all the values of all the contained e
Set literals are supported from release 2.1.0 of the CodeQL CLI, and release 1.24 of LGTM Enterprise.
Since release 2.6.3 of the CodeQL CLI, and release 1.28 of LGTM Enterprise, a trailing comma is allowed in a set literal.
Disambiguation of expressions
-----------------------------
@@ -2170,7 +2172,7 @@ The complete grammar for QL is as follows:
range ::= "[" expr ".." expr "]"
setliteral ::= "[" expr ("," expr)* "]"
setliteral ::= "[" expr ("," expr)* ","? "]"
simpleId ::= lowerId | upperId