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

java.lang.Object
  fr.ove.openmath.jome.ctrl.mml.MathMLParserHandler

public class MathMLParserHandler

extends java.lang.Object

A handler for the MathML objects parser.

Version:

1.0 25/05/2000

Author:

© 2000 DIRAT Laurent

Constructor Summary

MathMLParserHandler()
The constructor.

Method Summary

void	endApplication() Receives notification of the end of an application element.
void	endBVars() Receives notification of the end of a bvar element.
void	endElement(Tag tag) Receives notification of the end of an element.
void	endLambda() Receives notification of the end of a lambda element.
void	endObject() Receives notification of the end of an object element.
void	readValue(java.lang.String value) Receives notification of the read of an element value.
void	setEventSource(LinearParserEventSource eventSource) Sets the event source.
void	startApplication() Receives notification of the beginning of a application element.
void	startBVars() Receives notification of the beginning of a bvar element.
void	startElement(Tag tag) Receives notification of the beginning of an element.
void	startLambda() Receives notification of the beginning of a lambda element.
void	startObject() Receives notification of the beginning of a object element.

Methods inherited from class java.lang.Object

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

Constructor Detail

MathMLParserHandler

public MathMLParserHandler()

The constructor.
formula must be the root of an empty one.

Method Detail

setEventSource

public void setEventSource(LinearParserEventSource eventSource)

Sets the event source.
Even if it is the instance which fires the events during the parsing, the instance (as a handler), just... handles the parser. Basically, in a common sense, it is the parser which fires the events. We try to respect the common sense by setting the right event source : the parser.

Parameters:

eventSource - the event source

startObject

public void startObject()

Receives notification of the beginning of a object element.

endObject

public void endObject()

Receives notification of the end of an object element.

startApplication

public void startApplication()

Receives notification of the beginning of a application element.

endApplication

public void endApplication()

Receives notification of the end of an application element.

startLambda

public void startLambda()

Receives notification of the beginning of a lambda element.

startBVars

public void startBVars()

Receives notification of the beginning of a bvar element.

endBVars

public void endBVars()

Receives notification of the end of a bvar element.

endLambda

public void endLambda()

Receives notification of the end of a lambda element.

startElement

public void startElement(Tag tag)

Receives notification of the beginning of an element.

endElement

public void endElement(Tag tag)

Receives notification of the end of an element.

readValue

public void readValue(java.lang.String value)

Receives notification of the read of an element value.