de.tilman.mathParser.mathMLParser
Class MathMLParserOld2

java.lang.Object
  de.tilman.mathParser.mathMLParser.MathMLParserOld2

public class MathMLParserOld2

extends java.lang.Object

Author:

Tilman Walther, Martin Wilke

Field Summary

(package private) java.lang.String	COMMENT_PREFIX
protected boolean	inside
(package private) java.lang.String	PH_BLOCK
protected int	pos
protected java.lang.StringBuffer	result
protected java.lang.String	startTag
protected java.lang.StringBuffer	strBuf
protected java.util.Hashtable	substitutions
(package private) static java.lang.String	SUBSTITUTIONS_FILE
protected java.lang.StringBuffer	tagBuf
protected java.lang.StringBuffer	tagBuf2

Constructor Summary

MathMLParserOld2()

Method Summary

private int	getBlockEnd(java.lang.String startTag, java.lang.String endTag)
private java.util.Hashtable	getSubstitutionTable(java.lang.String filePath)
java.lang.String	parse(java.lang.StringBuffer strBuf)
private java.lang.String	parseArea(int areaEnd)
private void	readTag()
private void	skipClosingTag()
private void	skipToNextBlock()

Methods inherited from class java.lang.Object

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

Field Detail

COMMENT_PREFIX

final java.lang.String COMMENT_PREFIX

See Also:

Constant Field Values

PH_BLOCK

final java.lang.String PH_BLOCK

See Also:

Constant Field Values

SUBSTITUTIONS_FILE

static final java.lang.String SUBSTITUTIONS_FILE

See Also:

Constant Field Values

substitutions

protected java.util.Hashtable substitutions

result

protected java.lang.StringBuffer result

strBuf

protected java.lang.StringBuffer strBuf

tagBuf

protected java.lang.StringBuffer tagBuf

startTag

protected java.lang.String startTag

pos

protected int pos

inside

protected boolean inside

tagBuf2

protected java.lang.StringBuffer tagBuf2

Constructor Detail

MathMLParserOld2

public MathMLParserOld2()
                 throws java.io.FileNotFoundException,
                        java.io.IOException

Method Detail

parse

public java.lang.String parse(java.lang.StringBuffer strBuf)

parseArea

private java.lang.String parseArea(int areaEnd)

skipToNextBlock

private void skipToNextBlock()

readTag

private void readTag()

skipClosingTag

private void skipClosingTag()

getBlockEnd

private int getBlockEnd(java.lang.String startTag,
                        java.lang.String endTag)

getSubstitutionTable

private java.util.Hashtable getSubstitutionTable(java.lang.String filePath)
                                          throws java.io.FileNotFoundException,
                                                 java.io.IOException

Throws:

java.io.FileNotFoundException

java.io.IOException