diff --git a/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll b/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll index 890025a9483..034c6101de3 100644 --- a/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll +++ b/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll @@ -335,7 +335,7 @@ module Public { class NeutralCallable extends SummarizedCallableBase { private Provenance provenance; - NeutralCallable() { neutralElement(this, provenance) } + NeutralCallable() { neutralSummaryElement(this, provenance) } /** * Holds if the neutral is auto generated. diff --git a/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll b/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll index 7d84e645b66..acaa34f943e 100644 --- a/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll +++ b/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll @@ -72,11 +72,11 @@ predicate summaryElement( } /** - * Holds if a neutral model exists for `c` with provenance `provenance`, + * Holds if a neutral summary model exists for `c` with provenance `provenance`, * which means that there is no flow through `c`. * Note. Neutral models have not been implemented for Go. */ -predicate neutralElement(SummarizedCallable c, string provenance) { none() } +predicate neutralSummaryElement(SummarizedCallable c, string provenance) { none() } /** Gets the summary component for specification component `c`, if any. */ bindingset[c] diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImpl.qll b/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImpl.qll index 890025a9483..034c6101de3 100644 --- a/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImpl.qll +++ b/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImpl.qll @@ -335,7 +335,7 @@ module Public { class NeutralCallable extends SummarizedCallableBase { private Provenance provenance; - NeutralCallable() { neutralElement(this, provenance) } + NeutralCallable() { neutralSummaryElement(this, provenance) } /** * Holds if the neutral is auto generated. diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImplSpecific.qll b/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImplSpecific.qll index e2308a22e74..9c62b37245f 100644 --- a/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImplSpecific.qll +++ b/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImplSpecific.qll @@ -91,11 +91,11 @@ predicate summaryElement( } /** - * Holds if a neutral model exists for `c` with provenance `provenance`, + * Holds if a neutral summary model exists for `c` with provenance `provenance`, * which means that there is no flow through `c`. * Note. Neutral models have not been implemented for Python. */ -predicate neutralElement(FlowSummary::SummarizedCallable c, string provenance) { none() } +predicate neutralSummaryElement(FlowSummary::SummarizedCallable c, string provenance) { none() } /** * Gets the summary component for specification component `c`, if any. diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll index 890025a9483..034c6101de3 100644 --- a/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll +++ b/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll @@ -335,7 +335,7 @@ module Public { class NeutralCallable extends SummarizedCallableBase { private Provenance provenance; - NeutralCallable() { neutralElement(this, provenance) } + NeutralCallable() { neutralSummaryElement(this, provenance) } /** * Holds if the neutral is auto generated. diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImplSpecific.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImplSpecific.qll index ed9a4277e0b..d0d9f4b1b5f 100644 --- a/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImplSpecific.qll +++ b/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImplSpecific.qll @@ -62,10 +62,11 @@ predicate summaryElement( } /** - * Holds if a neutral model exists for `c` with provenance `provenance`, + * Holds if a neutral summary model exists for `c` with provenance `provenance`, * which means that there is no flow through `c`. + * Note. Neutral models have not been implemented for Ruby. */ -predicate neutralElement(FlowSummary::SummarizedCallable c, string provenance) { none() } +predicate neutralSummaryElement(FlowSummary::SummarizedCallable c, string provenance) { none() } bindingset[arg] private SummaryComponent interpretElementArg(string arg) { diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImpl.qll b/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImpl.qll index 890025a9483..034c6101de3 100644 --- a/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImpl.qll +++ b/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImpl.qll @@ -335,7 +335,7 @@ module Public { class NeutralCallable extends SummarizedCallableBase { private Provenance provenance; - NeutralCallable() { neutralElement(this, provenance) } + NeutralCallable() { neutralSummaryElement(this, provenance) } /** * Holds if the neutral is auto generated. diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImplSpecific.qll b/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImplSpecific.qll index 1d6d5631fec..aa716190926 100644 --- a/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImplSpecific.qll +++ b/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImplSpecific.qll @@ -68,10 +68,10 @@ predicate summaryElement(Function c, string input, string output, string kind, s } /** - * Holds if a neutral model exists for `c` with provenance `provenance`, + * Holds if a neutral summary model exists for `c` with provenance `provenance`, * which means that there is no flow through `c`. */ -predicate neutralElement(Function c, string provenance) { none() } +predicate neutralSummaryElement(Function c, string provenance) { none() } /** * Holds if an external source specification exists for `e` with output specification