org.qedeq.kernel.parser
Class LatexMathParser

java.lang.Object
  org.qedeq.kernel.parser.MathParser
      org.qedeq.kernel.parser.LatexMathParser

public final class LatexMathParser

extends MathParser

Parse LaTeX term or formula data into Terms.

Version:

$Revision: 1.1 $

Constructor Summary

LatexMathParser(StringBuffer buffer, List operators)
Constructor.

LatexMathParser(TextInput input, List operators)
Constructor.

Method Summary

protected boolean	eot(String token) Is this an end of term token?
protected Operator	getOperator(String token) Get an operator for that token.
protected List	getOperators(String token) Get operators for that token.
protected String	readToken() Read next token from input and move reading position.

Methods inherited from class org.qedeq.kernel.parser.MathParser

clearMark, eof, getChar, getOperators, getRewindStackSize, getToken, markPosition, readChar, readTerm, rewindPosition

Methods inherited from class java.lang.Object

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

Constructor Detail

LatexMathParser

public LatexMathParser(TextInput input,
                       List operators)

Constructor.

Parameters:

input - Parse this input.

operators - List of operators.

LatexMathParser

public LatexMathParser(StringBuffer buffer,
                       List operators)

Constructor.

Parameters:

buffer - Parse this input.

operators - List of operators.

Method Detail

readToken

protected final String readToken()

Description copied from class: MathParser

Read next token from input and move reading position. A token is a recognized character sequence. A token is no elementary whitespace. Also a dosn't start or end with elementary whitespace.

Specified by:

readToken in class MathParser

Returns:

Token read, is null if end of data reached.

getOperator

protected final Operator getOperator(String token)

Description copied from class: MathParser

Get an operator for that token. If there are more than one possibilities the first matching is returned.

Specified by:

getOperator in class MathParser

Parameters:

token - Get an operator for this token.

Returns:

Operator. Might be null.

getOperators

protected final List getOperators(String token)

Description copied from class: MathParser

Get operators for that token. If there are more than one possibilities all matching are returned.

Specified by:

getOperators in class MathParser

Parameters:

token - Get operators for this token.

Returns:

Operators. Might be null.

eot

protected boolean eot(String token)

Description copied from class: MathParser

Is this an end of term token?

Specified by:

eot in class MathParser

Parameters:

token - Check this token.

Returns:

Is this an end of term token.