hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

improve the wording based on PR review feedback

Browse Source
This commit is contained in:
Philip Ginsbach
2025-10-02 09:02:20 +01:00
parent f0b39099e3
commit a2d31be152
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
docs/codeql/ql-language-reference/annotations.rst
View File

@@ -105,8 +105,8 @@ own body, or they must inherit from another class that overrides ``isSource``:
**Available for**: |classes|, |algebraic datatypes|, |type unions|, |non-member predicates|, |modules|, |aliases|, |signatures| **Available for**: |classes|, |algebraic datatypes|, |type unions|, |non-member predicates|, |modules|, |aliases|, |signatures|
The ``additional`` annotation can be used on declarations directly inside of modules that implement |module signatures|. The ``additional`` annotation can be used on declarations in explicit modules.
All declarations in such modules that are not required by a module signature must be annotated with ``additional``. All declarations that are not required by a module signature in modules that implement |module signatures| must be annotated with ``additional``.
Omitting ``additional`` on such declarations, or using the annotation in any other context, will result in a compiler error. Omitting ``additional`` on such declarations, or using the annotation in any other context, will result in a compiler error.
Other than that, the annotation has no effect. Other than that, the annotation has no effect.