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

Merge pull request #21096 from github/nickrolfe/doc-range-checks

Browse Source 
Docs: clarify behavior of range checks
This commit is contained in:
Nick Rolfe
2026-01-05 18:30:10 +00:00
committed by GitHub
parent ac859d90ef 4ebbd1f9f3
commit 5faa546053
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
docs/codeql/ql-language-reference/formulas.rst
View File

@@ -133,13 +133,11 @@ A range check is a formula that looks like:
<expression> in <range>
You can use a range check formula to check whether a numeric expression is in a given
It holds if there is at least one value in ``<expression>`` that is also in the given
:ref:`range <ranges>`. For example, ``x in [2.1 .. 10.5]`` holds if the variable ``x`` is
between the values ``2.1`` and ``10.5`` (including ``2.1`` and ``10.5`` themselves).
Note that ``<expression> in <range>`` is equivalent to ``<expression> = <range>``.
Both formulas check whether the set of values denoted by ``<expression>`` is the same as the
set of values denoted by ``<range>``.
.. _calls: