mbenson commented on PR #223: URL: https://github.com/apache/ant/pull/223#issuecomment-3177605680
I thought that "big commit" sounded familiar! 😀 Matt On Mon, Aug 11, 2025, 8:47 PM Matt Bertolini ***@***.***> wrote: > *mattbertolini* left a comment (apache/ant#223) > <https://github.com/apache/ant/pull/223#issuecomment-3177420746> > > @bodewig <https://github.com/bodewig> Thank you for taking a look and for > this extra detail about the size and Spliterator. I agree that it would > make sense to override the spliterator() method to leverage the known > size. Worse case, for the filtered collections, it will have to iterate the > collection which is no worse than what the stream() method is doing now. > > I have updated the PR with the overloaded method. I think I got the > characteristics argument correct but a review of my assumptions is always > appreciated. > > — > Reply to this email directly, view it on GitHub > <https://github.com/apache/ant/pull/223#issuecomment-3177420746>, or > unsubscribe > <https://github.com/notifications/unsubscribe-auth/AADXAJSPBHQOGCOSTRY4TPT3NFBUHAVCNFSM6AAAAACCNVPR56VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZTCNZXGQZDANZUGY> > . > You are receiving this because you are subscribed to this thread.Message > ID: ***@***.***> > -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org
