Skip to content

Commit 67cbe38

Browse files
committed
Sync files.
1 parent 8112058 commit 67cbe38

File tree

5 files changed

+30
-5
lines changed

5 files changed

+30
-5
lines changed

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

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -261,10 +261,15 @@ module Public {
261261
NeutralCallable() { neutralElement(this, _) }
262262

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

268+
/**
269+
* Holds if there exists a manual neutral that applies to `this`.
270+
*/
271+
final predicate isManual() { this.hasProvenance("manual") }
272+
268273
/**
269274
* Holds if the neutral has provenance `provenance`.
270275
*/

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

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -261,10 +261,15 @@ module Public {
261261
NeutralCallable() { neutralElement(this, _) }
262262

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

268+
/**
269+
* Holds if there exists a manual neutral that applies to `this`.
270+
*/
271+
final predicate isManual() { this.hasProvenance("manual") }
272+
268273
/**
269274
* Holds if the neutral has provenance `provenance`.
270275
*/

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

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -261,10 +261,15 @@ module Public {
261261
NeutralCallable() { neutralElement(this, _) }
262262

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

268+
/**
269+
* Holds if there exists a manual neutral that applies to `this`.
270+
*/
271+
final predicate isManual() { this.hasProvenance("manual") }
272+
268273
/**
269274
* Holds if the neutral has provenance `provenance`.
270275
*/

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

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -261,10 +261,15 @@ module Public {
261261
NeutralCallable() { neutralElement(this, _) }
262262

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

268+
/**
269+
* Holds if there exists a manual neutral that applies to `this`.
270+
*/
271+
final predicate isManual() { this.hasProvenance("manual") }
272+
268273
/**
269274
* Holds if the neutral has provenance `provenance`.
270275
*/

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

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -261,10 +261,15 @@ module Public {
261261
NeutralCallable() { neutralElement(this, _) }
262262

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

268+
/**
269+
* Holds if there exists a manual neutral that applies to `this`.
270+
*/
271+
final predicate isManual() { this.hasProvenance("manual") }
272+
268273
/**
269274
* Holds if the neutral has provenance `provenance`.
270275
*/

0 commit comments

Comments
 (0)