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

better wording for the unique aggregate

Browse Source
This commit is contained in:
Philip Ginsbach
2020-03-27 13:01:50 +00:00
committed by GitHub
parent f9442211bf
commit d979bd958b
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
docs/language/ql-handbook/expressions.rst
View File

@@ -281,9 +281,10 @@ The following aggregates are available in QL:
.. index: unique
- ``unique``: The value of this aggregate depends on how many different values ``<expression>`` can have,
within the context of a fixed set of assignments to outside variables.
If the value is uniquely determined, then the aggregate gives that value. Otherwise, it has no value.
- ``unique``: This aggregate depends on the values of ``<expression>`` over all possible assignments to
the aggregation variables. If there is a unique value of the ``expression`` over the aggregation variables,
then the aggregate evaluates to that value.
Otherwise, the aggregate has no value.
For example, the following aggregation yields the positive integers ``1``, ``2``, ``3``, ``4``, ``5``.
For negative integers ``x``, the expressions ``x`` and ``x.abs()`` have different values and hence the