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:
181181
182182The six namespaces of any module are not completely independent of each other:
183183
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 **.
190190
191191There is no relation between names in namespaces of different modules.
192192For 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:
9999
100100For each module, some namespaces are enforced to be disjoint:
101101
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 **.
108108
109109If not otherwise specified, then the environment for a piece of syntax is the same as the environment of its enclosing syntax.
110110
You can’t perform that action at this time.
0 commit comments