fr.ove.openmath.jome.ctrl.mml
Class MathMLParser

java.lang.Object
  fr.ove.openmath.jome.ctrl.mml.BasicXMLParser
      fr.ove.openmath.jome.ctrl.mml.MathMLParser

All Implemented Interfaces:

LinearParserEventSource, java.io.Serializable

public class MathMLParser

extends BasicXMLParser

implements java.io.Serializable, LinearParserEventSource

A parser for MathML objects.

Version:

1.0 25/05/2000

Author:

© 2000 DIRAT Laurent

See Also:

Serialized Form

Constructor Summary

MathMLParser()
The constructor.

Method Summary

void	addLinearParserListener(LinearParserListener linearParserListener) Registers another listener of the instance.
void	fireLinearParserEvent(LinearParserEvent linearParserEvent) Fires a LinearParserEvent event to registered listeners.
void	parseMathMLObject(java.lang.String mmlObject)
void	readTag(Tag tag) Called by the parser when an tag has been parsed.
void	readValue(java.lang.String value) Called by the parser when the value of an element has been parsed.
void	removeLinearParserListener(LinearParserListener linearParserListener) Removes a listener.

Methods inherited from class fr.ove.openmath.jome.ctrl.mml.BasicXMLParser

parse

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MathMLParser

public MathMLParser()

The constructor.

Method Detail

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.

parseMathMLObject

public void parseMathMLObject(java.lang.String mmlObject)

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.

readTag

public void readTag(Tag tag)

Called by the parser when an tag has been parsed.

Specified by:

readTag in class BasicXMLParser

Parameters:

tag - the parsed tag.

readValue

public void readValue(java.lang.String value)

Called by the parser when the value of an element has been parsed.

Specified by:

readValue in class BasicXMLParser