Java: Adapt TopJdpApi library to the re-factor.

2026-05-03 20:58:03 +02:00 · 2023-01-04 10:35:17 +01:00
parent 372ecf402f
commit 8112058a0a
2 changed files with 8 additions and 3 deletions
--- a/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll
@@ -261,10 +261,15 @@ module Public {
    NeutralCallable() { neutralElement(this, _) }

    /**
-     *  Holds if the neutral is auto generated.
+     * Holds if the neutral is auto generated.
     */
    predicate isAutoGenerated() { neutralElement(this, "generated") }

+    /**
+     * Holds if there exists a manual neutral that applies to `this`.
+     */
+    final predicate isManual() { this.hasProvenance("manual") }
+
    /**
     * Holds if the neutral has provenance `provenance`.
     */