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

more explicit mentioning of QLL files

Browse Source
This commit is contained in:
Philip Ginsbach
2023-05-25 10:44:31 +01:00
parent ba51ded516
commit 47a0d4b774
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
docs/codeql/ql-language-reference/ql-language-specification.rst
View File

@@ -186,21 +186,21 @@ A QL module definition has the following syntax:
A module definition extends the current module's declared module environment with a mapping from the module name to the module definition.
QL files consist of simply a module body without a name and surrounding braces:
QL files and QLL files consist of simply a module body without a name and surrounding braces:
::
ql ::= moduleBody
QL files define a module corresponding to the file, whose name is the same as the filename.
QL files and QLL files define a module corresponding to the file, whose name is the same as the filename.
Kinds of modules
~~~~~~~~~~~~~~~~
A module may be:
- A *file module*, if it is defined implicitly by a QL file.
- A *query module*, if it is defined by a QL file.
- A *file module*, if it is defined implicitly by a QL file or a QLL file.
- A *query module*, if it is defined implicitly by a QL file.
- A *library module*, if it is not a query module.
A query module must contain one or more queries.