Merge pull request #13304 from github/ginsbach/SmallSpecificationFixes

two small QL specification fixes
This commit is contained in:
Philip Ginsbach 2023-05-26 16:18:36 +01:00 коммит произвёл GitHub
Родитель ddf45b27ca 47a0d4b774
Коммит ded98c5a5f
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 5 добавлений и 5 удалений

Просмотреть файл

@ -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.
@ -773,7 +773,7 @@ Binding sets are checked by the QL compiler in the following way:
A predicate may have several different binding sets, which can be stated by using multiple ``bindingset`` annotations on the same predicate.
+----------------+---------+------------+-------------------+-----------------------+---------+--------+---------+---------+------------+
| Pragma | Classes | Characters | Member predicates | Non-member predicates | Imports | Fields | Modules | Aliases | Signatures |
| Annotation | Classes | Characters | Member predicates | Non-member predicates | Imports | Fields | Modules | Aliases | Signatures |
+================+=========+============+===================+=======================+=========+========+=========+=========+============+
| ``bindingset`` | | yes | yes | yes | | | | | (yes) |
+----------------+---------+------------+-------------------+-----------------------+---------+--------+---------+---------+------------+