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

Merge pull request #12084 from github/ginsbach/IncorrectEnvironmentNumbering

Browse Source 
we actually only distinguish four environments
This commit is contained in:
Philip Ginsbach
2023-02-03 09:37:39 +00:00
committed by GitHub
parent 9a4cec7691 56e0b19df8
commit 808d3e3a1f
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

@@ -133,7 +133,7 @@ The program is invalid if any of these environments is not definite.
Module environments
~~~~~~~~~~~~~~~~~~~
For each of modules, types, predicates, module signatures, type signatures, and predicates signatures, we distinguish five environments: *publically declared*, *privately declared*, *exported*, and *visible*.
For each of modules, types, predicates, module signatures, type signatures, and predicates signatures, we distinguish four environments: *publically declared*, *privately declared*, *exported*, and *visible*.
These are defined as follows (with X denoting the type of entity we are currently considering):
- The *privately declared X environment* of a module is the multimap of X declarations and aliases in the module itself that are annotated as ``private``.