You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
An additional specifier used to modify a declaration, such as `private`, `override`, `deprecated`, `pragma`, `bindingset`, or `cached`. |
405
+
|*[annotation](https://help.semmle.com/QL/QLLanguageSpecification.html#annotations)*| An additional specifier used to modify a declaration, such as `private`, `override`, `deprecated`, `pragma`, `bindingset`, or `cached`. |
408
406
|*body*| The text inside `{ }`, `( )`, or each section of an `if`-`then`-`else` or `from`-`where`-`select`. |
409
407
|*binary operator*| An operator with two operands, such as comparison operators, `and`, `or`, `implies`, or arithmetic operators. |
410
408
|*call*| A *formula* that invokes a predicate, e.g. `this.isStatic()` or `calls(a,b)`. |
@@ -417,4 +415,3 @@ An additional specifier used to modify a declaration, such as `private`, `overri
417
415
|*must/always/do not*| Always adhere to this rule. |
418
416
|*[quantifier/aggregation](https://help.semmle.com/QL/QLLanguageSpecification.html#aggregations)*|`exists`, `count`, `strictcount`, `any`, `forall`, `forex` and so on. |
419
417
|*variable*| A parameter to a predicate, a field, a from variable, or a variable introduced by a *quantifier* or *aggregation*. |
0 commit comments