fr.ove.openmath.jome.ctrl.om
Class OMParser

java.lang.Object
  extended byfr.ove.openmath.jome.ctrl.om.OMParser
All Implemented Interfaces:
LinearParserEventSource, java.io.Serializable

public class OMParser
extends java.lang.Object
implements java.io.Serializable, LinearParserEventSource

A parser for OpenMath objects.

Version:
1.0 06/10/1999
Author:
© 1999 DIRAT Laurent
See Also:
Serialized Form

Constructor Summary
OMParser()
           
 
Method Summary
 void addLinearParserListener(LinearParserListener linearParserListener)
          Registers another listener of the instance.
 void fireLinearParserEvent(LinearParserEvent linearParserEvent)
          Fires a LinearParserEvent event to registered listeners.
 void initParse(java.io.InputStream is)
           
 void parseObject(java.io.InputStream is)
           
 void parseOMObject(java.lang.String omObject)
           
 void removeLinearParserListener(LinearParserListener linearParserListener)
          Removes a listener.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OMParser

public OMParser()
Method Detail

parseOMObject

public void parseOMObject(java.lang.String omObject)

initParse

public void initParse(java.io.InputStream is)

parseObject

public void parseObject(java.io.InputStream is)

addLinearParserListener

public void addLinearParserListener(LinearParserListener linearParserListener)
Registers another listener of the instance.

Specified by:
addLinearParserListener in interface LinearParserEventSource
Parameters:
linearParserListener - the listener to add.

removeLinearParserListener

public void removeLinearParserListener(LinearParserListener linearParserListener)
Removes a listener.

Specified by:
removeLinearParserListener in interface LinearParserEventSource
Parameters:
linearParserListener - the listener to remove.

fireLinearParserEvent

public void fireLinearParserEvent(LinearParserEvent linearParserEvent)
Fires a LinearParserEvent event to registered listeners.

Specified by:
fireLinearParserEvent in interface LinearParserEventSource
Parameters:
linearParserEvent - event encapsulating relevant information.


Copyright © 1999-2007 Universit?© de Nice Sophia-Antipolis, I3S, Ove SARL, DFKI and Universit?§t des Saarlandes. All Rights Reserved.