|
Hilbert II - Version 0.03.01 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.qedeq.kernel.parser.MathParser org.qedeq.kernel.parser.AsciiMathParser
Parse term or formula data into Term
s.
This parser uses simple ascii text operators.
Constructor Summary | |
AsciiMathParser(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 |
public AsciiMathParser(TextInput input, List operators)
input
- Parse this input.operators
- Operator definitions.Method Detail |
protected final String readToken()
MathParser
readToken
in class MathParser
null
if end of data reached.protected final Operator getOperator(String token)
MathParser
getOperator
in class MathParser
token
- Get an operator for this token.
null
.protected final List getOperators(String token)
MathParser
getOperators
in class MathParser
token
- Get operators for this token.
null
.protected boolean eot(String token)
MathParser
eot
in class MathParser
token
- Check this token.
|
Hilbert II - Version 0.03.01 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |