1 |
| |
2 |
| |
3 |
| |
4 |
| |
5 |
| |
6 |
| |
7 |
| |
8 |
| |
9 |
| |
10 |
| |
11 |
| |
12 |
| |
13 |
| |
14 |
| |
15 |
| |
16 |
| |
17 |
| |
18 |
| package org.qedeq.kernel.parser; |
19 |
| |
20 |
| import java.util.ArrayList; |
21 |
| import java.util.List; |
22 |
| |
23 |
| import org.qedeq.kernel.trace.Trace; |
24 |
| import org.qedeq.kernel.utility.TextInput; |
25 |
| |
26 |
| |
27 |
| |
28 |
| |
29 |
| |
30 |
| |
31 |
| |
32 |
| |
33 |
| |
34 |
| |
35 |
| |
36 |
| |
37 |
| |
38 |
| public final class AsciiMathParser extends MathParser { |
39 |
| |
40 |
| |
41 |
| private static final String SEPARATORS = "()[],{}"; |
42 |
| |
43 |
| |
44 |
| |
45 |
| |
46 |
| |
47 |
| |
48 |
| |
49 |
51
| public AsciiMathParser(final TextInput input, final List operators) {
|
50 |
51
| super(new MementoTextInput(input), operators);
|
51 |
| } |
52 |
| |
53 |
5989
| protected final String readToken() {
|
54 |
5989
| final String method = "readToken()";
|
55 |
5989
| int lines = 0;
|
56 |
5989
| while (getChar() != -1 && Character.isWhitespace((char) getChar())) {
|
57 |
2444
| if ('\n' == (char) getChar()) {
|
58 |
309
| lines++;
|
59 |
| } |
60 |
2444
| readChar();
|
61 |
| } |
62 |
5989
| if (lines > 1) {
|
63 |
4
| return "";
|
64 |
| } |
65 |
5985
| if (eof()) {
|
66 |
232
| return null;
|
67 |
| } |
68 |
5753
| if (SEPARATORS.indexOf(getChar()) >= 0) {
|
69 |
2179
| Trace.param(this, method, "Read token", "" + (char) getChar());
|
70 |
2179
| return "" + (char) readChar();
|
71 |
| } |
72 |
3574
| final StringBuffer token = new StringBuffer();
|
73 |
3574
| String operator = null;
|
74 |
3574
| markPosition();
|
75 |
3574
| while (!eof() && !Character.isWhitespace((char) getChar())
|
76 |
| && SEPARATORS.indexOf(getChar()) < 0) { |
77 |
4569
| token.append((char) readChar());
|
78 |
4569
| if (null != getOperator(token.toString())) {
|
79 |
1137
| operator = token.toString();
|
80 |
1137
| clearMark();
|
81 |
1137
| markPosition();
|
82 |
| } |
83 |
| } |
84 |
3574
| if (operator != null) {
|
85 |
1135
| rewindPosition();
|
86 |
1135
| token.setLength(0);
|
87 |
1135
| token.append(operator);
|
88 |
| } else { |
89 |
2439
| clearMark();
|
90 |
| } |
91 |
3574
| Trace.param(this, method, "Read token", token);
|
92 |
3574
| return token.toString();
|
93 |
| } |
94 |
| |
95 |
6139
| protected final Operator getOperator(final String token) {
|
96 |
6139
| Operator result = null;
|
97 |
6139
| if (token == null) {
|
98 |
0
| return result;
|
99 |
| } |
100 |
6139
| for (int i = 0; i < getOperators().size(); i++) {
|
101 |
81154
| if (token.equals(((Operator) getOperators().get(i)).getStartSymbol())) {
|
102 |
1814
| result = (Operator) getOperators().get(i);
|
103 |
1814
| break;
|
104 |
| } |
105 |
| } |
106 |
6139
| return result;
|
107 |
| } |
108 |
| |
109 |
1268
| protected final List getOperators(final String token) {
|
110 |
1268
| final List result = new ArrayList();
|
111 |
1268
| if (token == null) {
|
112 |
0
| return result;
|
113 |
| } |
114 |
1268
| for (int i = 0; i < getOperators().size(); i++) {
|
115 |
20288
| if (token.equals(((Operator) getOperators().get(i)).getStartSymbol())) {
|
116 |
310
| result.add(getOperators().get(i));
|
117 |
| } |
118 |
| } |
119 |
1268
| return result;
|
120 |
| } |
121 |
| |
122 |
1371
| protected boolean eot(final String token) {
|
123 |
1371
| return token == null || token.trim().length() == 0;
|
124 |
| } |
125 |
| |
126 |
| } |