C#/Java/Ruby/Swift: Fix various typos.

michaelnebel · michaelnebel · commit 581824a9b4a6 · 2022-08-24T09:58:53.000+02:00
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll
@@ -246,7 +246,7 @@ module Public {
     NegativeSummarizedCallable() { negativeSummaryElement(this, _) }
 
     /**
-     *  Holds if the none summary is auto generated.
+     *  Holds if the negative summary is auto generated.
      */
     predicate isAutoGenerated() { negativeSummaryElement(this, true) }
   }
diff --git a/java/ql/lib/semmle/code/java/dataflow/CsvValidation.qll b/java/ql/lib/semmle/code/java/dataflow/CsvValidation.qll
@@ -116,7 +116,7 @@ private string getInvalidModelSignature() {
     or
     negativeSummaryModel(namespace, type, name, signature, provenance) and
     ext = "" and
-    pred = "nonesummary"
+    pred = "negative summary"
   |
     not namespace.regexpMatch("[a-zA-Z0-9_\\.]+") and
     result = "Dubious namespace \"" + namespace + "\" in " + pred + " model."
diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll b/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll
@@ -246,7 +246,7 @@ module Public {
     NegativeSummarizedCallable() { negativeSummaryElement(this, _) }
 
     /**
-     *  Holds if the none summary is auto generated.
+     *  Holds if the negative summary is auto generated.
      */
     predicate isAutoGenerated() { negativeSummaryElement(this, true) }
   }
diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll
@@ -246,7 +246,7 @@ module Public {
     NegativeSummarizedCallable() { negativeSummaryElement(this, _) }
 
     /**
-     *  Holds if the none summary is auto generated.
+     *  Holds if the negative summary is auto generated.
      */
     predicate isAutoGenerated() { negativeSummaryElement(this, true) }
   }
diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImpl.qll b/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImpl.qll
@@ -246,7 +246,7 @@ module Public {
     NegativeSummarizedCallable() { negativeSummaryElement(this, _) }
 
     /**
-     *  Holds if the none summary is auto generated.
+     *  Holds if the negative summary is auto generated.
      */
     predicate isAutoGenerated() { negativeSummaryElement(this, true) }
   }

Original file line number	Diff line number	Diff line change
`@@ -246,7 +246,7 @@ module Public {`
`246`	`246`	`NegativeSummarizedCallable() { negativeSummaryElement(this, _) }`
`247`	`247`
`248`	`248`	`/**`
`249`		`- * Holds if the none summary is auto generated.`
	`249`	`+ * Holds if the negative summary is auto generated.`
`250`	`250`	`*/`
`251`	`251`	`predicate isAutoGenerated() { negativeSummaryElement(this, true) }`
`252`	`252`	`}`
Original file line number	Diff line number	Diff line change
`@@ -116,7 +116,7 @@ private string getInvalidModelSignature() {`
`116`	`116`	`or`
`117`	`117`	`negativeSummaryModel(namespace, type, name, signature, provenance) and`
`118`	`118`	`ext = "" and`
`119`		`- pred = "nonesummary"`
	`119`	`+ pred = "negative summary"`
`120`	`120`	`\|`
`121`	`121`	`not namespace.regexpMatch("[a-zA-Z0-9_\\.]+") and`
`122`	`122`	`result = "Dubious namespace \"" + namespace + "\" in " + pred + " model."`