> From: Uwe Schindler [mailto:[email protected]]
> TokenStream.close() is called (and was everytime called > before, too), when the tokenization is done to close the > Reader. The call to reset(Reader) is the same like creating a > new instance (only that the cost of creating a new instance > is not needed). Shouldn't that be done in end()? If not, what is the difference in purpose between end() and close()? What is the purpose of end()? In any event, if close() is meant to close the Reader, I think the current description of TokenStream.close() in the javadoc is a bit confusing. Instead of saying "Releases resources associated with this stream.", perhaps it should say something like "Release resources associated with the current input source.". -kuro --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
