All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object | +----fr.inria.openmath.omapi.ParserAdapter | +----fr.inria.openmath.omapi.implementation.XMLParser
public XMLParser(ParserHandler parserHandler, ParserErrorHandler parserErrorHandler)
public XMLParser(ParserHandler parserHandler)
public XMLParser()
public void initParse(InputStream source) throws OMException
public void parseElement(InputStream source) throws OMException
public void parseObject(InputStream source) throws OMException
public void parse(InputStream source) throws OMException
public boolean skipObject(InputStream source) throws OMException
Skip current object without parsing handler callbacks. This may be a good way to throw away the end of an erroneous object to restart a parse with next one on stream. This is a non blocking call. You may have to call this function several times if object is not available on input stream.
public int getLineNumber()
public int getColumnNumber()
public void setParserHandler(ParserHandler handler)
public ParserHandler getParserHandler()
public void setParserErrorHandler(ParserErrorHandler handler)
public ParserErrorHandler getParserErrorHandler()
All Packages Class Hierarchy This Package Previous Next Index