Skip to content

Commit 42b51d4

Browse files
authored
Merge pull request #2449 from felicitymay/1.23/SD-4095-finalize-change-notes-java2
Update data-flow note to match that for C/C++
2 parents 380a5fc + 403565b commit 42b51d4

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

change-notes/1.23/analysis-java.md

+3-3
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)