Skip to content

Commit f4f7d83

Browse files
committed
Python: Rename Negative Summary Model to Neutral Model.
1 parent 3af00a8 commit f4f7d83

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

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

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -92,11 +92,11 @@ predicate summaryElement(
9292
}
9393

9494
/**
95-
* Holds if a negative flow summary exists for `c`, which means that there is no
96-
* flow through `c`. The flag `generated` states whether the summary is autogenerated.
97-
* Note. Negative flow summaries has not been implemented for Python.
95+
* Holds if a neutral model exists for `c`, which means that there is no
96+
* flow through `c`. The flag `generated` states whether the neutral model is autogenerated.
97+
* Note. Neutral models have not been implemented for Python.
9898
*/
99-
predicate negativeSummaryElement(FlowSummary::SummarizedCallable c, boolean generated) { none() }
99+
predicate neutralElement(FlowSummary::SummarizedCallable c, boolean generated) { none() }
100100

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

0 commit comments

Comments
 (0)