Skip to content

Commit 4ac0396

Browse files
committed
Go/Python/Ruby/Swift: Sync files and make dummy implementation.
1 parent fe32abe commit 4ac0396

File tree

8 files changed

+13
-12
lines changed

8 files changed

+13
-12
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -335,7 +335,7 @@ module Public {
335335
class NeutralCallable extends SummarizedCallableBase {
336336
private Provenance provenance;
337337

338-
NeutralCallable() { neutralElement(this, provenance) }
338+
NeutralCallable() { neutralSummaryElement(this, provenance) }
339339

340340
/**
341341
* Holds if the neutral is auto generated.

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -72,11 +72,11 @@ predicate summaryElement(
7272
}
7373

7474
/**
75-
* Holds if a neutral model exists for `c` with provenance `provenance`,
75+
* Holds if a neutral summary model exists for `c` with provenance `provenance`,
7676
* which means that there is no flow through `c`.
7777
* Note. Neutral models have not been implemented for Go.
7878
*/
79-
predicate neutralElement(SummarizedCallable c, string provenance) { none() }
79+
predicate neutralSummaryElement(SummarizedCallable c, string provenance) { none() }
8080

8181
/** Gets the summary component for specification component `c`, if any. */
8282
bindingset[c]

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -335,7 +335,7 @@ module Public {
335335
class NeutralCallable extends SummarizedCallableBase {
336336
private Provenance provenance;
337337

338-
NeutralCallable() { neutralElement(this, provenance) }
338+
NeutralCallable() { neutralSummaryElement(this, provenance) }
339339

340340
/**
341341
* Holds if the neutral is auto generated.

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -91,11 +91,11 @@ predicate summaryElement(
9191
}
9292

9393
/**
94-
* Holds if a neutral model exists for `c` with provenance `provenance`,
94+
* Holds if a neutral summary model exists for `c` with provenance `provenance`,
9595
* which means that there is no flow through `c`.
9696
* Note. Neutral models have not been implemented for Python.
9797
*/
98-
predicate neutralElement(FlowSummary::SummarizedCallable c, string provenance) { none() }
98+
predicate neutralSummaryElement(FlowSummary::SummarizedCallable c, string provenance) { none() }
9999

100100
/**
101101
* Gets the summary component for specification component `c`, if any.

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -335,7 +335,7 @@ module Public {
335335
class NeutralCallable extends SummarizedCallableBase {
336336
private Provenance provenance;
337337

338-
NeutralCallable() { neutralElement(this, provenance) }
338+
NeutralCallable() { neutralSummaryElement(this, provenance) }
339339

340340
/**
341341
* Holds if the neutral is auto generated.

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

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -62,10 +62,11 @@ predicate summaryElement(
6262
}
6363

6464
/**
65-
* Holds if a neutral model exists for `c` with provenance `provenance`,
65+
* Holds if a neutral summary model exists for `c` with provenance `provenance`,
6666
* which means that there is no flow through `c`.
67+
* Note. Neutral models have not been implemented for Ruby.
6768
*/
68-
predicate neutralElement(FlowSummary::SummarizedCallable c, string provenance) { none() }
69+
predicate neutralSummaryElement(FlowSummary::SummarizedCallable c, string provenance) { none() }
6970

7071
bindingset[arg]
7172
private SummaryComponent interpretElementArg(string arg) {

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -335,7 +335,7 @@ module Public {
335335
class NeutralCallable extends SummarizedCallableBase {
336336
private Provenance provenance;
337337

338-
NeutralCallable() { neutralElement(this, provenance) }
338+
NeutralCallable() { neutralSummaryElement(this, provenance) }
339339

340340
/**
341341
* Holds if the neutral is auto generated.

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -68,10 +68,10 @@ predicate summaryElement(Function c, string input, string output, string kind, s
6868
}
6969

7070
/**
71-
* Holds if a neutral model exists for `c` with provenance `provenance`,
71+
* Holds if a neutral summary model exists for `c` with provenance `provenance`,
7272
* which means that there is no flow through `c`.
7373
*/
74-
predicate neutralElement(Function c, string provenance) { none() }
74+
predicate neutralSummaryElement(Function c, string provenance) { none() }
7575

7676
/**
7777
* Holds if an external source specification exists for `e` with output specification

0 commit comments

Comments
 (0)