Skip to content

Commit d13307e

Browse files
committed
Swift: Rename Negative Summary Model to Neutral Model.
1 parent a14df1c commit d13307e

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

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

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -71,11 +71,11 @@ predicate summaryElement(
7171
}
7272

7373
/**
74-
* Holds if a negative flow summary exists for `c`, which means that there is no
75-
* flow through `c`. The flag `generated` states whether the summary is autogenerated.
76-
* Note. Negative flow summaries has not been implemented for swift.
74+
* Holds if a neutral model exists for `c`, which means that there is no
75+
* flow through `c`. The flag `generated` states whether the neutral model is autogenerated.
76+
* Note. Neutral models have not been implemented for swift.
7777
*/
78-
predicate negativeSummaryElement(AbstractFunctionDecl c, boolean generated) { none() }
78+
predicate neutralElement(AbstractFunctionDecl c, boolean generated) { none() }
7979

8080
/**
8181
* Holds if an external source specification exists for `e` with output specification

0 commit comments

Comments
 (0)