1 /* This file is part of EdiTeX, an editor of mathematical
2 * expressions based on TeX syntax.
4 * Copyright (C) 2002-2003 Luca Padovani <lpadovan@cs.unibo.it>,
5 * 2003 Paolo Marinelli <pmarinel@cs.unibo.it>.
7 * This library is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU Lesser General Public
9 * License as published by the Free Software Foundation; either
10 * version 2.1 of the License, or (at your option) any later version.
12 * This library is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 * Lesser General Public License for more details.
17 * You should have received a copy of the GNU Lesser General Public
18 * License along with this library; if not, write to the Free Software
19 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
21 * For more information, please visit the project's home page
22 * http://helm.cs.unibo.it/editex/
23 * or send an email to <lpadovan@cs.unibo.it>
27 #include "LPushLexer.hh"
28 #include "APushParser.hh"
30 LPushLexer::LPushLexer(ALogger& l, APushParser& p) : APushLexer(l, p)
49 LPushLexer::transaction(char ch, State newState)
53 case '{': parser.push(TToken(TToken::BEGIN)); break;
54 case '}': parser.push(TToken(TToken::END)); break;
55 case '$': parser.push(TToken(TToken::SHIFT)); break;
56 case '&': parser.push(TToken(TToken::ALIGN)); break;
58 case '\r': parser.push(TToken(TToken::EOL, ch)); break;
59 case '^': parser.push(TToken(TToken::SUPERSCRIPT)); break;
60 case '_': parser.push(TToken(TToken::SUBSCRIPT)); break;
62 case ' ': parser.push(TToken(TToken::SPACE, ch)); break;
63 case '~': parser.push(TToken(TToken::ACTIVE, ch)); break;
64 case '%': parser.push(TToken(TToken::COMMENT)); break;
65 default: parser.push(TToken(TToken::OTHER, ch)); break;
71 LPushLexer::push(char ch)
76 if (ch == '\\') state = ESCAPE;
77 else if (ch == '#') state = PARAMETER;
86 // we translate this space in a macro.
87 parser.push(TToken(TToken::CONTROL, "space"));
94 else transaction(ch, ACCEPT);
102 else if (ch == -1) error();
103 else if (isdigit(ch))
105 // in this case, the previous '\' is ignored
106 buffer.push_back(ch);
111 parser.push(TToken(TToken::CONTROL, ch));
118 parser.push(TToken(TToken::CONTROL, buffer));
124 parser.push(TToken(TToken::CONTROL, buffer));
128 else if (isalpha(ch))
129 buffer.push_back(ch);
132 parser.push(TToken(TToken::CONTROL, buffer));
136 else if (isspace(ch))
138 parser.push(TToken(TToken::CONTROL, buffer));
141 * we comment this line, because a space after a macro
142 * is useful to exit from a macro
143 //parser.push(TToken(TToken::CONTROL, ";"));
147 else if (isdigit(ch))
149 parser.push(TToken(TToken::CONTROL, buffer));
151 buffer.push_back(ch);
156 parser.push(TToken(TToken::CONTROL, buffer));
158 transaction(ch, ACCEPT);
162 if (ch == -1) error();
165 parser.push(TToken(TToken::PARAMETER, ch));
172 parser.push(TToken(TToken::LETTER, buffer));
176 else if (isalpha(ch) || isdigit(ch))
178 buffer.push_back(ch);
180 else if (isspace(ch))
182 parser.push(TToken(TToken::LETTER, buffer));
184 parser.push(TToken(TToken::CONTROL, "space"));
189 parser.push(TToken(TToken::LETTER, buffer));
195 parser.push(TToken(TToken::LETTER, buffer));
201 parser.push(TToken(TToken::LETTER, buffer));
203 transaction(ch, ACCEPT);
207 if (isdigit(ch)) buffer.push_back(ch);
208 else if (isspace(ch))
210 parser.push(TToken(TToken::DIGIT, buffer));
212 parser.push(TToken(TToken::CONTROL, "space"));
215 else if (isalpha(ch))
217 parser.push(TToken(TToken::DIGIT, buffer));
219 buffer.push_back(ch);
224 parser.push(TToken(TToken::DIGIT, buffer));
230 parser.push(TToken(TToken::DIGIT, buffer));
236 parser.push(TToken(TToken::DIGIT, buffer));
242 parser.push(TToken(TToken::DIGIT, buffer));
244 transaction(ch, ACCEPT);
254 case ESCAPE: parser.setCursorHint("\\"); break;
255 case MACRO: parser.setCursorHint("\\" + buffer); break;
256 case PARAMETER: parser.setCursorHint("#"); break;
257 case IDENTIFIER: parser.setCursorHint(buffer); break;
258 case NUMBER: parser.setCursorHint(buffer); break;
259 default: parser.setCursorHint(""); break;
264 LPushLexer::drop(bool alt)
266 std::string restore = "";
271 restore = parser.drop(alt);
272 if (restore.length() > 0 && restore[0] == '\\')
274 cout << restore << endl;
275 buffer = std::string(restore, 1, restore.length() - 1);
276 state = (buffer.length() > 0) ? MACRO : ESCAPE;
278 else if (restore.length() > 0 && isdigit(restore[0]))
283 else if (restore.length() > 0 && isalpha(restore[0]))
293 if (alt) buffer.erase();
294 else buffer.erase(buffer.length() - 1, 1);
295 if (buffer.length() == 0) state = ESCAPE;
298 if (alt) buffer.erase();
299 else buffer.erase(buffer.length() - 1, 1);
300 if (buffer.length() == 0) state = ACCEPT;
303 if (alt) buffer.erase();
304 else buffer.erase(buffer.length() - 1, 1);
305 if (buffer.length() == 0) state = ACCEPT;
316 case ESCAPE: parser.setCursorHint("\\"); break;
317 case MACRO: parser.setCursorHint("\\" + buffer); break;
318 case PARAMETER: parser.setCursorHint("#"); break;
319 case IDENTIFIER: parser.setCursorHint(buffer); break;
320 case NUMBER: parser.setCursorHint(buffer); break;
321 default: parser.setCursorHint(""); break;
326 LPushLexer::error() const