Fix QLDoc

owen-mc · owen-mc · commit 5b2e0b6804cd · 2026-07-03T21:21:59.000+01:00
diff --git a/java/ql/lib/semmle/code/java/security/Sanitizers.qll b/java/ql/lib/semmle/code/java/security/Sanitizers.qll
@@ -51,7 +51,11 @@ predicate regexpMatchGuardChecks(Guard guard, Expr e, boolean branch) {
   )
 }
 
-/** A guard-check predicate over regular-expression matches, as used by `RegexMatchBarrier`. */
+/**
+ * Holds if the guard `g`, which may be a `RegexMatch`, sanitizes `e` when it
+ * evaluates to `branch`. This is the guard-check signature used by
+ * `RegexMatchBarrier`.
+ */
 signature predicate regexMatchGuardChecksSig(Guard g, Expr e, boolean branch);
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -51,7 +51,11 @@ predicate regexpMatchGuardChecks(Guard guard, Expr e, boolean branch) {`
`51`	`51`	`)`
`52`	`52`	`}`
`53`	`53`
`54`		-/** A guard-check predicate over regular-expression matches, as used by `RegexMatchBarrier`. */
	`54`	`+/**`
	`55`	+ * Holds if the guard `g`, which may be a `RegexMatch`, sanitizes `e` when it
	`56`	+ * evaluates to `branch`. This is the guard-check signature used by
	`57`	+ * `RegexMatchBarrier`.
	`58`	`+ */`
`55`	`59`	`signature predicate regexMatchGuardChecksSig(Guard g, Expr e, boolean branch);`
`56`	`60`
`57`	`61`	`/**`