File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
python/ql/lib/semmle/python/dataflow/new/internal Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff 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.
You can’t perform that action at this time.
0 commit comments