Java: add negative numbers

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

@@ -261,9 +261,28 @@ module Public {
     NegativeSummarizedCallable() { negativeSummaryElement(this, _) }
 
     /**
-     *  Holds if the negative summary is auto generated.
+     *  Holds if the negative summary is auto generated and not manually generated.
      */
-    predicate isAutoGenerated() { negativeSummaryElement(this, true) }
+    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)
+    }
   }
 }