Skip to content

Commit 403565b

Browse files
author
Felicity Chapman
committed
Update data-flow note to match that for C/C++
1 parent 95bceae commit 403565b

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

change-notes/1.23/analysis-java.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ The following changes in version 1.23 affect Java analysis in all applications.
2222
## Changes to libraries
2323

2424
The data-flow library has been extended with a new feature to aid debugging.
25-
If you want to explore the possible flow from a source, replace
26-
`isSink(Node n) { any() }` with the new `Configuration::hasPartialFlow` predicate.
27-
This gives a more complete picture of the partial flow paths from a given source.
25+
Previously, to explore the possible flow from all sources you could specify `isSink(Node n) { any() }` on a configuration.
26+
Now you can use the new `Configuration::hasPartialFlow` predicate,
27+
which gives a more complete picture of the partial flow paths from a given source, including flow that doesn't reach any sink.
2828
The feature is disabled by default and can be enabled for individual configurations by overriding `int explorationLimit()`.

0 commit comments

Comments
 (0)