Class MathMLDocumentHandler
- java.lang.Object
-
- org.xml.sax.helpers.DefaultHandler
-
- com.singularsys.extensions.mathml.parser.MathMLDocumentHandler
-
- All Implemented Interfaces:
org.xml.sax.ContentHandler,org.xml.sax.DTDHandler,org.xml.sax.EntityResolver,org.xml.sax.ErrorHandler
public class MathMLDocumentHandler extends org.xml.sax.helpers.DefaultHandlerCentral class for parsing MathML. Rules for converting individual elements are represented byTagHandler. When a closing tag is encountered aStackFrameis 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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidcharacters(char[] ch, int start, int length)voidendDocument()voidendElement(java.lang.String uri, java.lang.String localName, java.lang.String name)TagHandlerget(java.lang.Object key)Get the handler for a given keyjava.util.Map<java.lang.String,TagHandler>getHandlers()java.util.List<java.lang.Object>getResults()java.util.Map<java.lang.String,StartTagHandler>getStartHandlers()TagHandlergetUnknownHandler()protected voidprocessChars()Called before a start or end tag is encountered.TagHandlerput(java.lang.String key, TagHandler value)TagHandlerremove(java.lang.Object key)protected voidresetChars()voidsetDocumentLocator(org.xml.sax.Locator locator)voidsetUnknownHandler(TagHandler unknownHandler)voidstartDocument()voidstartElement(java.lang.String uri, java.lang.String localName, java.lang.String name, org.xml.sax.Attributes attributes)
-
-
-
Method Detail
-
startDocument
public void startDocument() throws org.xml.sax.SAXException- Specified by:
startDocumentin interfaceorg.xml.sax.ContentHandler- Overrides:
startDocumentin classorg.xml.sax.helpers.DefaultHandler- Throws:
org.xml.sax.SAXException
-
endDocument
public void endDocument() throws org.xml.sax.SAXException- Specified by:
endDocumentin interfaceorg.xml.sax.ContentHandler- Overrides:
endDocumentin classorg.xml.sax.helpers.DefaultHandler- Throws:
org.xml.sax.SAXException
-
startElement
public void startElement(java.lang.String uri, java.lang.String localName, java.lang.String name, org.xml.sax.Attributes attributes) throws org.xml.sax.SAXException- Specified by:
startElementin interfaceorg.xml.sax.ContentHandler- Overrides:
startElementin classorg.xml.sax.helpers.DefaultHandler- Throws:
org.xml.sax.SAXException
-
endElement
public void endElement(java.lang.String uri, java.lang.String localName, java.lang.String name) throws org.xml.sax.SAXException- Specified by:
endElementin interfaceorg.xml.sax.ContentHandler- Overrides:
endElementin classorg.xml.sax.helpers.DefaultHandler- Throws:
org.xml.sax.SAXException
-
characters
public void characters(char[] ch, int start, int length) throws org.xml.sax.SAXException- Specified by:
charactersin interfaceorg.xml.sax.ContentHandler- Overrides:
charactersin classorg.xml.sax.helpers.DefaultHandler- Throws:
org.xml.sax.SAXException
-
processChars
protected void processChars()
Called before a start or end tag is encountered. If the character contain non white space character then starting and trailing white space 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(org.xml.sax.Locator locator)
- Specified by:
setDocumentLocatorin interfaceorg.xml.sax.ContentHandler- Overrides:
setDocumentLocatorin classorg.xml.sax.helpers.DefaultHandler
-
getResults
public java.util.List<java.lang.Object> getResults()
-
put
public TagHandler put(java.lang.String key, TagHandler value)
-
remove
public TagHandler remove(java.lang.Object key)
-
getStartHandlers
public java.util.Map<java.lang.String,StartTagHandler> getStartHandlers()
-
getHandlers
public java.util.Map<java.lang.String,TagHandler> getHandlers()
-
get
public TagHandler get(java.lang.Object key)
Get the handler for a given key- Parameters:
key-- Returns:
- the TagHandler
-
getUnknownHandler
public TagHandler getUnknownHandler()
-
setUnknownHandler
public void setUnknownHandler(TagHandler unknownHandler)
-
-