Skip to content

Commit 8151f30

Browse files
committed
Shared: Pinch better doc for isEquality from a related Guards class in csharp.
1 parent 573763a commit 8151f30

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -195,9 +195,9 @@ signature module Semantic {
195195
predicate directlyControls(BasicBlock controlled, boolean branch);
196196

197197
/**
198-
* Holds if the guard represents an equality between two expressions.
199-
*
200-
* @param e1 The first expression.
198+
* Holds if this guard is an equality test between `e1` and `e2`. If the
199+
* test is negated, that is `!=`, then `polarity` is false, otherwise
200+
* `polarity` is true.
201201
*/
202202
predicate isEquality(Expr e1, Expr e2, boolean polarity);
203203

0 commit comments

Comments
 (0)