Skip to content

Commit ded98c5

Browse files
authored
Merge pull request github#13304 from github/ginsbach/SmallSpecificationFixes
two small QL specification fixes
2 parents ddf45b2 + 47a0d4b commit ded98c5

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

docs/codeql/ql-language-reference/ql-language-specification.rst

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -186,21 +186,21 @@ A QL module definition has the following syntax:
186186

187187
A module definition extends the current module's declared module environment with a mapping from the module name to the module definition.
188188

189-
QL files consist of simply a module body without a name and surrounding braces:
189+
QL files and QLL files consist of simply a module body without a name and surrounding braces:
190190

191191
::
192192

193193
ql ::= moduleBody
194194

195-
QL files define a module corresponding to the file, whose name is the same as the filename.
195+
QL files and QLL files define a module corresponding to the file, whose name is the same as the filename.
196196

197197
Kinds of modules
198198
~~~~~~~~~~~~~~~~
199199

200200
A module may be:
201201

202-
- A *file module*, if it is defined implicitly by a QL file.
203-
- A *query module*, if it is defined by a QL file.
202+
- A *file module*, if it is defined implicitly by a QL file or a QLL file.
203+
- A *query module*, if it is defined implicitly by a QL file.
204204
- A *library module*, if it is not a query module.
205205

206206
A query module must contain one or more queries.
@@ -773,7 +773,7 @@ Binding sets are checked by the QL compiler in the following way:
773773
A predicate may have several different binding sets, which can be stated by using multiple ``bindingset`` annotations on the same predicate.
774774

775775
+----------------+---------+------------+-------------------+-----------------------+---------+--------+---------+---------+------------+
776-
| Pragma | Classes | Characters | Member predicates | Non-member predicates | Imports | Fields | Modules | Aliases | Signatures |
776+
| Annotation | Classes | Characters | Member predicates | Non-member predicates | Imports | Fields | Modules | Aliases | Signatures |
777777
+================+=========+============+===================+=======================+=========+========+=========+=========+============+
778778
| ``bindingset`` | | yes | yes | yes | | | | | (yes) |
779779
+----------------+---------+------------+-------------------+-----------------------+---------+--------+---------+---------+------------+

0 commit comments

Comments
 (0)