Update java/ql/lib/semmle/code/java/dataflow/internal/DataFlowUtil.qll

aschackmull · RasmusWL · web-flow · commit 002c456989d4 · 2022-06-02T12:00:09.000+02:00
Co-authored-by: Rasmus Wriedt Larsen &lt;rasmuswriedtlarsen@gmail.com&gt;
diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowUtil.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowUtil.qll
@@ -305,7 +305,7 @@ class ContentSet instanceof Content {
 }
 
 /**
- * Holds if `g` validates the `e` upon evaluating to `branch`.
+ * Holds if the guard `g` validates the expression `e` upon evaluating to `branch`.
  *
  * The expression `e` is expected to be a syntactic part of the guard `g`.
  * For example, the guard `g` might be a call `isSafe(x)` and the expression `e`

Original file line number	Diff line number	Diff line change
`@@ -305,7 +305,7 @@ class ContentSet instanceof Content {`
`305`	`305`	`}`
`306`	`306`
`307`	`307`	`/**`
`308`		- * Holds if `g` validates the `e` upon evaluating to `branch`.
	`308`	+ * Holds if the guard `g` validates the expression `e` upon evaluating to `branch`.
`309`	`309`	`*`
`310`	`310`	* The expression `e` is expected to be a syntactic part of the guard `g`.
`311`	`311`	* For example, the guard `g` might be a call `isSafe(x)` and the expression `e`