All Packages Class Hierarchy This Package Previous Next Index
Class fr.inria.openmath.omapi.implementation.BinaryParser
java.lang.Object
|
+----fr.inria.openmath.omapi.ParserAdapter
|
+----fr.inria.openmath.omapi.implementation.BinaryParser
- public class BinaryParser
- extends ParserAdapter
- implements Parser, Locator
-
BinaryParser()
-
-
BinaryParser(ParserHandler)
-
-
BinaryParser(ParserHandler, ParserErrorHandler)
-
-
getColumnNumber()
-
-
getLineNumber()
-
-
getParserErrorHandler()
-
-
getParserHandler()
-
-
initParse(InputStream)
-
-
parse(InputStream)
-
-
parseElement(InputStream)
-
-
parseObject(InputStream)
-
-
setParserErrorHandler(ParserErrorHandler)
-
-
setParserHandler(ParserHandler)
-
BinaryParser
public BinaryParser(ParserHandler parserHandler,
ParserErrorHandler parserErrorHandler)
BinaryParser
public BinaryParser(ParserHandler parserHandler)
BinaryParser
public BinaryParser()
initParse
public void initParse(InputStream source) throws OMException
- See Also:
- initParse
parseElement
public void parseElement(InputStream source) throws OMException
- See Also:
- parseElement
parseObject
public void parseObject(InputStream source) throws OMException
- See Also:
- parseObject
parse
public void parse(InputStream source) throws OMException
- See Also:
- parse
getLineNumber
public int getLineNumber()
- See Also:
- getLineNumber
getColumnNumber
public int getColumnNumber()
- See Also:
- getColumnNumber
setParserHandler
public void setParserHandler(ParserHandler handler)
- See Also:
- setParserHandler
getParserHandler
public ParserHandler getParserHandler()
- See Also:
- getParserHandler
setParserErrorHandler
public void setParserErrorHandler(ParserErrorHandler handler)
- See Also:
- setParserErrorHandler
getParserErrorHandler
public ParserErrorHandler getParserErrorHandler()
- See Also:
- getParserErrorHandler
All Packages Class Hierarchy This Package Previous Next Index