Java: update hasProvenance

Author: Jami Cogswell

csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll

@@ -249,7 +249,7 @@ module Public {
      * Holds if the summary has the given provenance where `true` is
      * `generated` and `false` is `manual`.
      */
-    predicate hasProvenance(boolean generated) { summaryElement(this, _, _, _, generated) }
+    predicate hasProvenance(boolean generated) { none() }
   }
 
   /** A callable where there is no flow via the callable. */
@@ -1018,6 +1018,10 @@ module Private {
       }
 
       override predicate isAutoGenerated() { this.relevantSummaryElementGenerated(_, _, _) }
+
+      override predicate hasProvenance(boolean generated) {
+        summaryElement(this, _, _, _, generated)
+      }
     }
 
     /** Holds if component `c` of specification `spec` cannot be parsed. */

go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll

@@ -249,7 +249,7 @@ module Public {
      * Holds if the summary has the given provenance where `true` is
      * `generated` and `false` is `manual`.
      */
-    predicate hasProvenance(boolean generated) { summaryElement(this, _, _, _, generated) }
+    predicate hasProvenance(boolean generated) { none() }
   }
 
   /** A callable where there is no flow via the callable. */
@@ -1018,6 +1018,10 @@ module Private {
       }
 
       override predicate isAutoGenerated() { this.relevantSummaryElementGenerated(_, _, _) }
+
+      override predicate hasProvenance(boolean generated) {
+        summaryElement(this, _, _, _, generated)
+      }
     }
 
     /** Holds if component `c` of specification `spec` cannot be parsed. */

java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll

@@ -249,7 +249,7 @@ module Public {
      * Holds if the summary has the given provenance where `true` is
      * `generated` and `false` is `manual`.
      */
-    predicate hasProvenance(boolean generated) { summaryElement(this, _, _, _, generated) }
+    predicate hasProvenance(boolean generated) { none() }
   }
 
   /** A callable where there is no flow via the callable. */
@@ -1018,6 +1018,10 @@ module Private {
       }
 
       override predicate isAutoGenerated() { this.relevantSummaryElementGenerated(_, _, _) }
+
+      override predicate hasProvenance(boolean generated) {
+        summaryElement(this, _, _, _, generated)
+      }
     }
 
     /** Holds if component `c` of specification `spec` cannot be parsed. */

python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImpl.qll

@@ -249,7 +249,7 @@ module Public {
      * Holds if the summary has the given provenance where `true` is
      * `generated` and `false` is `manual`.
      */
-    predicate hasProvenance(boolean generated) { summaryElement(this, _, _, _, generated) }
+    predicate hasProvenance(boolean generated) { none() }
   }
 
   /** A callable where there is no flow via the callable. */
@@ -1018,6 +1018,10 @@ module Private {
       }
 
       override predicate isAutoGenerated() { this.relevantSummaryElementGenerated(_, _, _) }
+
+      override predicate hasProvenance(boolean generated) {
+        summaryElement(this, _, _, _, generated)
+      }
     }
 
     /** Holds if component `c` of specification `spec` cannot be parsed. */

ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll

@@ -249,7 +249,7 @@ module Public {
      * Holds if the summary has the given provenance where `true` is
      * `generated` and `false` is `manual`.
      */
-    predicate hasProvenance(boolean generated) { summaryElement(this, _, _, _, generated) }
+    predicate hasProvenance(boolean generated) { none() }
   }
 
   /** A callable where there is no flow via the callable. */
@@ -1018,6 +1018,10 @@ module Private {
       }
 
       override predicate isAutoGenerated() { this.relevantSummaryElementGenerated(_, _, _) }
+
+      override predicate hasProvenance(boolean generated) {
+        summaryElement(this, _, _, _, generated)
+      }
     }
 
     /** Holds if component `c` of specification `spec` cannot be parsed. */

swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImpl.qll

@@ -249,7 +249,7 @@ module Public {
      * Holds if the summary has the given provenance where `true` is
      * `generated` and `false` is `manual`.
      */
-    predicate hasProvenance(boolean generated) { summaryElement(this, _, _, _, generated) }
+    predicate hasProvenance(boolean generated) { none() }
   }
 
   /** A callable where there is no flow via the callable. */
@@ -1018,6 +1018,10 @@ module Private {
       }
 
       override predicate isAutoGenerated() { this.relevantSummaryElementGenerated(_, _, _) }
+
+      override predicate hasProvenance(boolean generated) {
+        summaryElement(this, _, _, _, generated)
+      }
     }
 
     /** Holds if component `c` of specification `spec` cannot be parsed. */