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

Constructor Index

 o BinaryParser()
 o BinaryParser(ParserHandler)
 o BinaryParser(ParserHandler, ParserErrorHandler)

Method Index

 o getColumnNumber()
 o getLineNumber()
 o getParserErrorHandler()
 o getParserHandler()
 o initParse(InputStream)
 o parse(InputStream)
 o parseElement(InputStream)
 o parseObject(InputStream)
 o setParserErrorHandler(ParserErrorHandler)
 o setParserHandler(ParserHandler)

Constructors

 o BinaryParser
 public BinaryParser(ParserHandler parserHandler,
                     ParserErrorHandler parserErrorHandler)
 o BinaryParser
 public BinaryParser(ParserHandler parserHandler)
 o BinaryParser
 public BinaryParser()

Methods

 o initParse
 public void initParse(InputStream source) throws OMException
See Also:
initParse
 o parseElement
 public void parseElement(InputStream source) throws OMException
See Also:
parseElement
 o parseObject
 public void parseObject(InputStream source) throws OMException
See Also:
parseObject
 o parse
 public void parse(InputStream source) throws OMException
See Also:
parse
 o getLineNumber
 public int getLineNumber()
See Also:
getLineNumber
 o getColumnNumber
 public int getColumnNumber()
See Also:
getColumnNumber
 o setParserHandler
 public void setParserHandler(ParserHandler handler)
See Also:
setParserHandler
 o getParserHandler
 public ParserHandler getParserHandler()
See Also:
getParserHandler
 o setParserErrorHandler
 public void setParserErrorHandler(ParserErrorHandler handler)
See Also:
setParserErrorHandler
 o getParserErrorHandler
 public ParserErrorHandler getParserErrorHandler()
See Also:
getParserErrorHandler

All Packages  Class Hierarchy  This Package  Previous  Next  Index