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

statement no longer holds for namespaces with shadowing

Browse Source
This commit is contained in:
Philip Ginsbach
2023-02-02 16:55:06 +00:00
parent 65863f1fc7
commit 1542353af7
1 changed files with 0 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
docs/codeql/ql-language-reference/name-resolution.rst
View File

@@ -266,9 +266,6 @@ Within it, the class ``OneTwoThree`` and the module ``P`` are **visible**, as we
Example
=======
The namespaces of a general QL module are a union of the local namespaces, the namespaces of any enclosing modules,
and the global namespaces. (You can think of global namespaces as the enclosing namespaces of a top-level module.)
Let's see what the module, type, and predicate namespaces look like in a concrete example:
For example, you could define a library module ``Villagers`` containing some of the classes and predicates that