C#/Java/Ruby/Swift: Fix typo in QL doc.

michaelnebel · michaelnebel · commit 160ae934afb1 · 2022-08-24T09:58:53.000+02:00
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll
@@ -115,7 +115,7 @@ predicate summaryElement(Callable c, string input, string output, string kind, b
 }
 
 /**
- * Holds is an external flow summary exists for `c` which means that there is no
+ * Holds if an external flow summary exists for `c` which means that there is no
  * flow through `c` and a flag `generated` stating whether the summary is autogenerated.
  */
 predicate negativeSummaryElement(Callable c, boolean generated) {
diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImplSpecific.qll b/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImplSpecific.qll
@@ -79,7 +79,7 @@ predicate summaryElement(Callable c, string input, string output, string kind, b
 }
 
 /**
- * Holds is an external flow summary exists for `c` which means that there is no
+ * Holds if an external flow summary exists for `c` which means that there is no
  * flow through `c` and a flag `generated` stating whether the summary is autogenerated.
  */
 predicate negativeSummaryElement(Callable c, boolean generated) {
diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImplSpecific.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImplSpecific.qll
@@ -60,7 +60,7 @@ predicate summaryElement(
 }
 
 /**
- * Holds is an external flow summary exists for `c` which means that there is no
+ * Holds if an external flow summary exists for `c` which means that there is no
  * flow through `c` and a flag `generated` stating whether the summary is autogenerated.
  * Note. Negative flow summaries has not been implemented for ruby.
  */
diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImplSpecific.qll b/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImplSpecific.qll
@@ -68,7 +68,7 @@ predicate summaryElement(
 }
 
 /**
- * Holds is an external flow summary exists for `c` which means that there is no
+ * Holds if an external flow summary exists for `c` which means that there is no
  * flow through `c` and a flag `generated` stating whether the summary is autogenerated.
  * Note. Negative flow summaries has not been implemented for swift.
  */

Original file line number	Diff line number	Diff line change
`@@ -115,7 +115,7 @@ predicate summaryElement(Callable c, string input, string output, string kind, b`
`115`	`115`	`}`
`116`	`116`
`117`	`117`	`/**`
`118`		- * Holds is an external flow summary exists for `c` which means that there is no
	`118`	+ * Holds if an external flow summary exists for `c` which means that there is no
`119`	`119`	* flow through `c` and a flag `generated` stating whether the summary is autogenerated.
`120`	`120`	`*/`
`121`	`121`	`predicate negativeSummaryElement(Callable c, boolean generated) {`
Original file line number	Diff line number	Diff line change
`@@ -79,7 +79,7 @@ predicate summaryElement(Callable c, string input, string output, string kind, b`
`79`	`79`	`}`
`80`	`80`
`81`	`81`	`/**`
`82`		- * Holds is an external flow summary exists for `c` which means that there is no
	`82`	+ * Holds if an external flow summary exists for `c` which means that there is no
`83`	`83`	* flow through `c` and a flag `generated` stating whether the summary is autogenerated.
`84`	`84`	`*/`
`85`	`85`	`predicate negativeSummaryElement(Callable c, boolean generated) {`
Original file line number	Diff line number	Diff line change
`@@ -60,7 +60,7 @@ predicate summaryElement(`
`60`	`60`	`}`
`61`	`61`
`62`	`62`	`/**`
`63`		- * Holds is an external flow summary exists for `c` which means that there is no
	`63`	+ * Holds if an external flow summary exists for `c` which means that there is no
`64`	`64`	* flow through `c` and a flag `generated` stating whether the summary is autogenerated.
`65`	`65`	`* Note. Negative flow summaries has not been implemented for ruby.`
`66`	`66`	`*/`
Original file line number	Diff line number	Diff line change
`@@ -68,7 +68,7 @@ predicate summaryElement(`
`68`	`68`	`}`
`69`	`69`
`70`	`70`	`/**`
`71`		- * Holds is an external flow summary exists for `c` which means that there is no
	`71`	+ * Holds if an external flow summary exists for `c` which means that there is no
`72`	`72`	* flow through `c` and a flag `generated` stating whether the summary is autogenerated.
`73`	`73`	`* Note. Negative flow summaries has not been implemented for swift.`
`74`	`74`	`*/`