hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 03:05:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

add documentation for additional annotation

Browse Source
This commit is contained in:
Philip Ginsbach
2023-05-23 16:06:57 +01:00
parent 6f012d51c0
commit 89d246ba34
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -710,6 +710,7 @@ Various kinds of syntax can have *annotations* applied to them. Annotations are
| "private"
| "deprecated"
| "override"
| "additional"
| "query"
argsAnnotation ::= "pragma" "[" ("inline" | "inline_late" | "noinline" | "nomagic" | "noopt" | "assume_small_delta") "]"
@@ -746,6 +747,8 @@ The following table summarizes the syntactic constructs which can be marked with
+----------------+---------+------------+-------------------+-----------------------+---------+--------+---------+---------+
| ``override`` | | | yes | | | yes | | |
+----------------+---------+------------+-------------------+-----------------------+---------+--------+---------+---------+
| ``additional`` | yes | | | yes | | | yes | yes |
+----------------+---------+------------+-------------------+-----------------------+---------+--------+---------+---------+
| ``query`` | | | | yes | | | | yes |
+----------------+---------+------------+-------------------+-----------------------+---------+--------+---------+---------+
@@ -2165,6 +2168,7 @@ The complete grammar for QL is as follows:
| "private"
| "deprecated"
| "override"
| "additional"
| "query"
argsAnnotation ::= "pragma" "[" ("inline" | "inline_late" | "noinline" | "nomagic" | "noopt" | "assume_small_delta") "]"