Java: remove predicates from NegativeSummarizedCallable

Author: Jami Cogswell

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

@@ -261,28 +261,9 @@ module Public {
     NegativeSummarizedCallable() { negativeSummaryElement(this, _) }
 
     /**
-     *  Holds if the negative summary is auto generated and not manually generated.
+     *  Holds if the negative summary is auto generated.
      */
-    predicate isAutoGenerated() {
-      negativeSummaryElement(this, true) and
-      not negativeSummaryElement(this, false)
-    } // ! okay to adjust this to "and not manually generated"? Will that mess up anything that currently uses this?
-
-    /**
-     * Holds if the summary is manually generated and not auto generated.
-     */
-    predicate isManuallyGenerated() {
-      negativeSummaryElement(this, false) and
-      not negativeSummaryElement(this, true)
-    }
-
-    /**
-     * Holds if the summary is both auto generated and manually generated.
-     */
-    predicate isBothAutoAndManuallyGenerated() {
-      negativeSummaryElement(this, true) and
-      negativeSummaryElement(this, false)
-    }
+    predicate isAutoGenerated() { negativeSummaryElement(this, true) }
   }
 }
 

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

@@ -261,28 +261,9 @@ module Public {
     NegativeSummarizedCallable() { negativeSummaryElement(this, _) }
 
     /**
-     *  Holds if the negative summary is auto generated and not manually generated.
+     *  Holds if the negative summary is auto generated.
      */
-    predicate isAutoGenerated() {
-      negativeSummaryElement(this, true) and
-      not negativeSummaryElement(this, false)
-    } // ! okay to adjust this to "and not manually generated"? Will that mess up anything that currently uses this?
-
-    /**
-     * Holds if the summary is manually generated and not auto generated.
-     */
-    predicate isManuallyGenerated() {
-      negativeSummaryElement(this, false) and
-      not negativeSummaryElement(this, true)
-    }
-
-    /**
-     * Holds if the summary is both auto generated and manually generated.
-     */
-    predicate isBothAutoAndManuallyGenerated() {
-      negativeSummaryElement(this, true) and
-      negativeSummaryElement(this, false)
-    }
+    predicate isAutoGenerated() { negativeSummaryElement(this, true) }
   }
 }
 

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

@@ -261,28 +261,9 @@ module Public {
     NegativeSummarizedCallable() { negativeSummaryElement(this, _) }
 
     /**
-     *  Holds if the negative summary is auto generated and not manually generated.
+     *  Holds if the negative summary is auto generated.
      */
-    predicate isAutoGenerated() {
-      negativeSummaryElement(this, true) and
-      not negativeSummaryElement(this, false)
-    } // ! okay to adjust this to "and not manually generated"? Will that mess up anything that currently uses this?
-
-    /**
-     * Holds if the summary is manually generated and not auto generated.
-     */
-    predicate isManuallyGenerated() {
-      negativeSummaryElement(this, false) and
-      not negativeSummaryElement(this, true)
-    }
-
-    /**
-     * Holds if the summary is both auto generated and manually generated.
-     */
-    predicate isBothAutoAndManuallyGenerated() {
-      negativeSummaryElement(this, true) and
-      negativeSummaryElement(this, false)
-    }
+    predicate isAutoGenerated() { negativeSummaryElement(this, true) }
   }
 }
 

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

@@ -261,28 +261,9 @@ module Public {
     NegativeSummarizedCallable() { negativeSummaryElement(this, _) }
 
     /**
-     *  Holds if the negative summary is auto generated and not manually generated.
+     *  Holds if the negative summary is auto generated.
      */
-    predicate isAutoGenerated() {
-      negativeSummaryElement(this, true) and
-      not negativeSummaryElement(this, false)
-    } // ! okay to adjust this to "and not manually generated"? Will that mess up anything that currently uses this?
-
-    /**
-     * Holds if the summary is manually generated and not auto generated.
-     */
-    predicate isManuallyGenerated() {
-      negativeSummaryElement(this, false) and
-      not negativeSummaryElement(this, true)
-    }
-
-    /**
-     * Holds if the summary is both auto generated and manually generated.
-     */
-    predicate isBothAutoAndManuallyGenerated() {
-      negativeSummaryElement(this, true) and
-      negativeSummaryElement(this, false)
-    }
+    predicate isAutoGenerated() { negativeSummaryElement(this, true) }
   }
 }
 

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

@@ -261,28 +261,9 @@ module Public {
     NegativeSummarizedCallable() { negativeSummaryElement(this, _) }
 
     /**
-     *  Holds if the negative summary is auto generated and not manually generated.
+     *  Holds if the negative summary is auto generated.
      */
-    predicate isAutoGenerated() {
-      negativeSummaryElement(this, true) and
-      not negativeSummaryElement(this, false)
-    } // ! okay to adjust this to "and not manually generated"? Will that mess up anything that currently uses this?
-
-    /**
-     * Holds if the summary is manually generated and not auto generated.
-     */
-    predicate isManuallyGenerated() {
-      negativeSummaryElement(this, false) and
-      not negativeSummaryElement(this, true)
-    }
-
-    /**
-     * Holds if the summary is both auto generated and manually generated.
-     */
-    predicate isBothAutoAndManuallyGenerated() {
-      negativeSummaryElement(this, true) and
-      negativeSummaryElement(this, false)
-    }
+    predicate isAutoGenerated() { negativeSummaryElement(this, true) }
   }
 }
 

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

@@ -261,28 +261,9 @@ module Public {
     NegativeSummarizedCallable() { negativeSummaryElement(this, _) }
 
     /**
-     *  Holds if the negative summary is auto generated and not manually generated.
+     *  Holds if the negative summary is auto generated.
      */
-    predicate isAutoGenerated() {
-      negativeSummaryElement(this, true) and
-      not negativeSummaryElement(this, false)
-    } // ! okay to adjust this to "and not manually generated"? Will that mess up anything that currently uses this?
-
-    /**
-     * Holds if the summary is manually generated and not auto generated.
-     */
-    predicate isManuallyGenerated() {
-      negativeSummaryElement(this, false) and
-      not negativeSummaryElement(this, true)
-    }
-
-    /**
-     * Holds if the summary is both auto generated and manually generated.
-     */
-    predicate isBothAutoAndManuallyGenerated() {
-      negativeSummaryElement(this, true) and
-      negativeSummaryElement(this, false)
-    }
+    predicate isAutoGenerated() { negativeSummaryElement(this, true) }
   }
 }