File tree Expand file tree Collapse file tree 2 files changed +12
-12
lines changed
docs/codeql/ql-language-reference Expand file tree Collapse file tree 2 files changed +12
-12
lines changed Original file line number Diff line number Diff line change @@ -181,12 +181,12 @@ Each module in QL has six namespaces:
181
181
182
182
The six namespaces of any module are not completely independent of each other:
183
183
184
- - No keys may be shared between **module namespace ** and **module signature namespace **.
185
- - No keys may be shared between **type namespace ** and **type signature namespace **.
186
- - No keys may be shared between **module namespace ** and **type signature namespace **.
187
- - No keys may be shared between **type namespace ** and **module signature namespace **.
188
- - No keys may be shared between **predicate namespace ** and **predicate signature namespace **.
189
- - No keys may be shared between **module signature namespace ** and **type signature namespace **.
184
+ - No keys may be shared between the **module namespace ** and the **module signature namespace **.
185
+ - No keys may be shared between the **type namespace ** and the **type signature namespace **.
186
+ - No keys may be shared between the **module namespace ** and the **type signature namespace **.
187
+ - No keys may be shared between the **type namespace ** and the **module signature namespace **.
188
+ - No keys may be shared between the **predicate namespace ** and the **predicate signature namespace **.
189
+ - No keys may be shared between the **module signature namespace ** and the **type signature namespace **.
190
190
191
191
There is no relation between names in namespaces of different modules.
192
192
For example, two different modules can define a predicate ``getLocation() `` without confusion. As long as
Original file line number Diff line number Diff line change @@ -99,12 +99,12 @@ The environments are:
99
99
100
100
For each module, some namespaces are enforced to be disjoint:
101
101
102
- - No keys may be shared between **module namespace ** and **module signature namespace **.
103
- - No keys may be shared between **type namespace ** and **type signature namespace **.
104
- - No keys may be shared between **module namespace ** and **type signature namespace **.
105
- - No keys may be shared between **type namespace ** and **module signature namespace **.
106
- - No keys may be shared between **predicate namespace ** and **predicate signature namespace **.
107
- - No keys may be shared between **module signature namespace ** and **type signature namespace **.
102
+ - No keys may be shared between the **module namespace ** and the **module signature namespace **.
103
+ - No keys may be shared between the **type namespace ** and the **type signature namespace **.
104
+ - No keys may be shared between the **module namespace ** and the **type signature namespace **.
105
+ - No keys may be shared between the **type namespace ** and the **module signature namespace **.
106
+ - No keys may be shared between the **predicate namespace ** and the **predicate signature namespace **.
107
+ - No keys may be shared between the **module signature namespace ** and the **type signature namespace **.
108
108
109
109
If not otherwise specified, then the environment for a piece of syntax is the same as the environment of its enclosing syntax.
110
110
You can’t perform that action at this time.
0 commit comments