Describe predicates first

This commit is contained in:
Shati Patel
2021-03-30 17:31:20 +01:00
parent 67835ee273
commit fb004bacc3

View File

@@ -397,11 +397,11 @@ set of tuples).
The ``bindingset`` annotation takes a comma-separated list of variables.
- When you annotate a class, each variable must be ``this`` or a field in the class.
Binding sets for classes are supported from release 2.3.0 of the CodeQL CLI, and release 1.26 of LGTM Enterprise.
- When you annotate a predicate, each variable must be an argument of the predicate, possibly including ``this``
(for characteristic predicates and member predicates) and ``result`` (for predicates that return a result).
For more information, see ":ref:`predicate-binding`."
- When you annotate a class, each variable must be ``this`` or a field in the class.
Binding sets for classes are supported from release 2.3.0 of the CodeQL CLI, and release 1.26 of LGTM Enterprise.
.. Links to use in substitutions