Details
-
Improvement
-
Status: Closed
-
Minor
-
Resolution: Fixed
-
5.0
-
New, Patch Available
Description
Replaced Operations.getFiniteStrings() by an optimized FiniteStringIterator.
Benefits:
Avoid huge hash set of finite strings.
Avoid massive object/array creation during processing.
"Downside":
Iteration order changed, so when iterating with a limit, the result may differ slightly. Old: emit current node, if accept / recurse. New: recurse / emit current node, if accept.
The old method Operations.getFiniteStrings() still exists, because it eases the tests. It is now implemented by use of the new FiniteStringIterator.