Merge pull request #2449 from felicitymay/1.23/SD-4095-finalize-change-notes-java2

aschackmull · web-flow · commit 42b51d4ebb6e · 2019-11-27T08:50:31.000+01:00
Update data-flow note to match that for C/C++
diff --git a/change-notes/1.23/analysis-java.md b/change-notes/1.23/analysis-java.md
@@ -22,7 +22,7 @@ The following changes in version 1.23 affect Java analysis in all applications.
 ## Changes to libraries
 
 The data-flow library has been extended with a new feature to aid debugging. 
-If you want to explore the possible flow from a source, replace
-`isSink(Node n) { any() }` with the new `Configuration::hasPartialFlow` predicate. 
-This gives a more complete picture of the partial flow paths from a given source. 
+Previously, to explore the possible flow from all sources you could specify `isSink(Node n) { any() }` on a configuration. 
+Now you can use the new `Configuration::hasPartialFlow` predicate, 
+which gives a more complete picture of the partial flow paths from a given source, including flow that doesn't reach any sink.
 The feature is disabled by default and can be enabled for individual configurations by overriding `int explorationLimit()`.
