889890891892893894895896897898899900901902
MetaTag meta; String httpEquiv; String charset; boolean restart; EndTag end; IteratorImpl ret; remove_scanner = false; restart = false; ret = new IteratorImpl(reader, resourceLocn, feedback); ret = createIteratorImpl(remove_scanner, ret); return (ret); }
933934935936937938939940941942943
if (!charset.equalsIgnoreCase(character_set)) { // oops, different character set, restart character_set = charset; recreateReader(); ret = new IteratorImpl( reader, resourceLocn, feedback); } // once we see the Content-Type meta tag we're finished the pre-read
652653654655656657658
* @throws ParserException If a parsing error occurs. * @return An iterator over the top level nodes (usually {@.html <html>}). */ public NodeIterator elements () throws ParserException { return (new IteratorImpl (getLexer (), getFeedback ())); }
901902903904905906907908909910911912913914
939940941942943944945946947948949
// character // set, // restart character_set = charset; recreateReader(); ret = new IteratorImpl(reader, resourceLocn, feedback); } // once we see the Content-Type meta tag we're // finished the pre-read break; }