Package com.singularsys.extensions.mathml.parser

Class MathMLDocumentHandler

java.lang.Object

org.xml.sax.helpers.DefaultHandler

com.singularsys.extensions.mathml.parser.MathMLDocumentHandler

All Implemented Interfaces:

ContentHandler, DTDHandler, EntityResolver, ErrorHandler

public class MathMLDocumentHandler
extends DefaultHandler

Central class for parsing MathML. Rules for converting individual elements are represented by TagHandler. When a closing tag is encountered a StackFrame is created and the appropriate FragmentHandler called the result from this become a child element of parent element.

Constructor Summary

Constructors

Constructor	Description
MathMLDocumentHandler()

Method Summary

Modifier and Type	Method	Description
void	characters(char[] ch, int start, int length)
void	endDocument()
void	endElement(String uri, String localName, String name)
TagHandler	get(String key)	Get the handler for a given key
Map<String,TagHandler>	getHandlers()
List<Object>	getResults()
Map<String,StartTagHandler>	getStartHandlers()
TagHandler	getUnknownHandler()
protected void	processChars()	Called before a start or end tag is encountered.
TagHandler	put(String key, TagHandler value)
TagHandler	remove(String key)
protected void	resetChars()
void	setDocumentLocator(Locator locator)
void	setUnknownHandler(TagHandler unknownHandler)
void	startDocument()
void	startElement(String uri, String localName, String name, Attributes attributes)

Methods inherited from class org.xml.sax.helpers.DefaultHandler

endPrefixMapping, error, fatalError, ignorableWhitespace, notationDecl, processingInstruction, resolveEntity, skippedEntity, startPrefixMapping, unparsedEntityDecl, warning

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.xml.sax.ContentHandler

declaration

Constructor Details

MathMLDocumentHandler

public MathMLDocumentHandler()

Method Details

startDocument

public void startDocument()
                   throws SAXException

Specified by:

startDocument in interface ContentHandler

Overrides:

startDocument in class DefaultHandler

Throws:

SAXException

endDocument

public void endDocument()
                 throws SAXException

Specified by:

endDocument in interface ContentHandler

Overrides:

endDocument in class DefaultHandler

Throws:

SAXException

startElement

public void startElement(String uri,
 String localName,
 String name,
 Attributes attributes)
                  throws SAXException

Specified by:

startElement in interface ContentHandler

Overrides:

startElement in class DefaultHandler

Throws:

SAXException

endElement

public void endElement(String uri,
 String localName,
 String name)
                throws SAXException

Specified by:

endElement in interface ContentHandler

Overrides:

endElement in class DefaultHandler

Throws:

SAXException

characters

public void characters(char[] ch,
 int start,
 int length)

Specified by:

characters in interface ContentHandler

Overrides:

characters in class DefaultHandler

processChars

protected void processChars()

Called before a start or end tag is encountered. If the character contain non whitespace character then starting and trailing whitespace character are removed and multiple white-space character are replaced by a single space. The resulting string is then added to the surrounding stack frame.

resetChars

protected void resetChars()

setDocumentLocator

public void setDocumentLocator(Locator locator)

Specified by:

setDocumentLocator in interface ContentHandler

Overrides:

setDocumentLocator in class DefaultHandler

getResults

public List<Object> getResults()

put

public TagHandler put(String key,
 TagHandler value)

remove

public TagHandler remove(String key)

getStartHandlers

public Map<String,StartTagHandler> getStartHandlers()

getHandlers

public Map<String,TagHandler> getHandlers()

get

public TagHandler get(String key)

Get the handler for a given key

Parameters:

key -

Returns:

the TagHandler

getUnknownHandler

public TagHandler getUnknownHandler()

setUnknownHandler

public void setUnknownHandler(TagHandler unknownHandler)