javax.swing.text.html.parser
public class DocumentParser extends Parser implements DTDConstants
A simple error-tolerant HTML parser that uses a DTD document to access data on the possible tokens, arguments and syntax.
The parser reads an HTML content from a Reader and calls various notifying methods (which should be overridden in a subclass) when tags or data are encountered.
Some HTML elements need no opening or closing tags. The task of this parser is to invoke the tag handling methods also when the tags are not explicitly specified and must be supposed using information, stored in the DTD. For example, parsing the document
<table><tr><td>a<td>b<td>c</tr>
will invoke exactly the handling methods exactly in the same order
(and with the same parameters) as if parsing the document:
<html><head></head><body><table><
tbody><tr><td>a</td><td>b
</td><td>c</td></tr><
/tbody></table></body></html>
In this implementation, DocumentParser is directly derived from its ancestor without changes of functionality.
ANY, CDATA, CONREF, CURRENT, DEFAULT, EMPTY, ENDTAG, ENTITIES, ENTITY, FIXED, GENERAL, ID, IDREF, IDREFS, IMPLIED, MD, MODEL, MS, NAME, NAMES, NMTOKEN, NMTOKENS, NOTATION, NUMBER, NUMBERS, NUTOKEN, NUTOKENS, PARAMETER, PI, PUBLIC, RCDATA, REQUIRED, SDATA, STARTTAG, SYSTEM
Constructor and Description |
---|
DocumentParser(DTD a_dtd)
Creates a new parser that uses the given DTD to access data on the
possible tokens, arguments and syntax.
|
Modifier and Type | Method and Description |
---|---|
protected void |
handleComment(char[] comment)
Handle HTML comment.
|
protected void |
handleEmptyTag(TagElement tag)
Handle the tag with no content, like <br>.
|
protected void |
handleEndTag(TagElement tag)
The method is called when the HTML closing tag ((like </table>)
is found or if the parser concludes that the one should be present
in the current position.
|
protected void |
handleError(int line,
String message) |
protected void |
handleStartTag(TagElement tag)
The method is called when the HTML opening tag ((like <table>)
is found or if the parser concludes that the one should be present
in the current position.
|
protected void |
handleText(char[] text)
Handle the text section.
|
void |
parse(Reader reader,
HTMLEditorKit.ParserCallback aCallback,
boolean ignoreCharSet)
Parses the HTML document, calling methods of the provided
callback.
|
endTag, error, error, error, error, flushAttributes, getAttributes, getCurrentLine, getCurrentPos, handleEOFInComment, handleTitle, makeTag, makeTag, markFirstTime, parse, parseDTDMarkup, parseMarkupDeclarations, startTag
public DocumentParser(DTD a_dtd)
HTMLEditorKit.getParser()
.a_dtd
- a DTD to use.public void parse(Reader reader, HTMLEditorKit.ParserCallback aCallback, boolean ignoreCharSet) throws IOException
reader
- The reader to read the HTML document fromaCallback
- The callback that is notifyed about the presence
of HTML elements in the document.ignoreCharSet
- If thrue, any charset changes during parsing
are ignored.IOException
protected void handleComment(char[] comment)
handleComment
in class Parser
comment
- the comment being handledprotected void handleEmptyTag(TagElement tag) throws ChangedCharSetException
handleEmptyTag
in class Parser
tag
- the tag being handled.ChangedCharSetException
protected void handleEndTag(TagElement tag)
handleEndTag
in class Parser
tag
- The tag being handledprotected void handleError(int line, String message)
handleError
in class Parser
protected void handleStartTag(TagElement tag)
handleStartTag
in class Parser
tag
- The tag being handledprotected void handleText(char[] text)
handleText
in class Parser
text
- a section text.