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

documentation: update definition of definite environment in the specification

Browse Source
This commit is contained in:
Philip Ginsbach
2024-01-09 17:03:07 +00:00
parent 805e9d8910
commit b393bc9a88
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

@@ -115,7 +115,7 @@ Environments may be combined as follows:
- *Union*. This takes the union of the entry sets of the two environments.
- *Overriding union*. This takes the union of two environments, but if there are entries for a key in the first map, then no additional entries for that key are included from the second map.
A *definite* environment has at most one entry for each key. Resolution is unique in a definite environment.
A *definite* environment has only values that are *equal modulo weak aliasing* for each each.
Global environments
~~~~~~~~~~~~~~~~~~~