* added license and copyright to every source file

[helm.git] / helm / DEVEL / mathml_editor / src / TPushLexer.cc

diff --git a/helm/DEVEL/mathml_editor/src/TPushLexer.cc b/helm/DEVEL/mathml_editor/src/TPushLexer.cc
index b943877870c0400a8c42f94d469feab5fbe8f4f2..6529a7da36311e657573a03773043ba6439044a2 100644 (file)
--- a/helm/DEVEL/mathml_editor/src/TPushLexer.cc
+++ b/helm/DEVEL/mathml_editor/src/TPushLexer.cc
@@ -1,9 +1,33 @@
+/* Copyright (C) 2002-2003, Luca Padovani <luca.padovani@cs.unibo.it>,
+ *                    2003, Paolo Marinelli <pmarinel@cs.unibo.it>.
+ *
+ * This file is part of EdiTeX, an editor of mathematical
+ * expressions based on TeX syntax
+ * 
+ * EdiTeX is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ *
+ * EdiTeX is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with EdiTeX; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
+ * 
+ * For details, see the EdiTeX World-Wide-Web page,
+ * http://helm.cs.unibo.it/editex, or send a mail to
+ * <luca.padovani@cs.unibo.it>
+ */
 
 #include "TToken.hh"
 #include "TPushLexer.hh"
 #include "APushParser.hh"
 
-TPushLexer::TPushLexer(APushParser& p) : APushLexer(p)
+TPushLexer::TPushLexer(ALogger& l, APushParser& p) : APushLexer(l, p)
 {
   state = ACCEPT;
 }
@@ -15,6 +39,12 @@ TPushLexer::reset()
   state = ACCEPT;
 }
 
+void
+TPushLexer::flush()
+{
+  push(-1);
+}
+
 void
 TPushLexer::transaction(char ch, State newState)
 {
@@ -31,7 +61,7 @@ TPushLexer::transaction(char ch, State newState)
     case '\t':
     case ' ': parser.push(TToken(TToken::SPACE, ch)); break;
     case '~': parser.push(TToken(TToken::ACTIVE, ch)); break;
-    case '%': parser.push(TToken(TToken::COMMENT)); break;
+    case '%': parser.push(TToken(TToken::COMMENT)); break;     
     default:
       if (isalpha(ch)) parser.push(TToken(TToken::LETTER, ch));
       else if (isdigit(ch)) parser.push(TToken(TToken::DIGIT, ch));
@@ -49,6 +79,7 @@ TPushLexer::push(char ch)
     case ACCEPT:
       if (ch == '\\') state = ESCAPE;
       else if (ch == '#') state = PARAMETER;
+      else if (ch == -1) ;
       else transaction(ch, ACCEPT);
       break;
     case ESCAPE:
@@ -57,6 +88,7 @@ TPushLexer::push(char ch)
          buffer.push_back(ch);
          state = MACRO;
        }
+      else if (ch == -1) error();
       else
        {
          parser.push(TToken(TToken::CONTROL, ch));
@@ -78,6 +110,12 @@ TPushLexer::push(char ch)
        }
       else if (isalpha(ch))
        buffer.push_back(ch);
+      else if (ch == -1)
+        {
+         parser.push(TToken(TToken::CONTROL, buffer));
+         buffer.erase();
+         state = ACCEPT;
+       }
       else
        {
          parser.push(TToken(TToken::CONTROL, buffer));
@@ -90,12 +128,56 @@ TPushLexer::push(char ch)
       if (ch == '\\') state = ESCAPE;
       else if (ch == '#') state = PARAMETER;
       else if (isspace(ch)) ;
+      else if (ch == -1) state = ACCEPT;
       else transaction(ch, ACCEPT);
       break;
     case PARAMETER:
-      parser.push(TToken(TToken::PARAMETER, ch));
+      if (ch == -1) error();
+      else
+        {
+         parser.push(TToken(TToken::PARAMETER, ch));
+         state = ACCEPT;
+       }
+      break;
+    default:
+      assert(0);
+      break;
+    }
+
+  switch (state)
+    {
+    case ESCAPE: parser.setCursorHint("\\"); break;
+    case MACRO: parser.setCursorHint("\\" + buffer); break;
+    case PARAMETER: parser.setCursorHint("#"); break;
+    default: parser.setCursorHint(""); break;
+    }
+}
+
+void
+TPushLexer::drop(bool alt)
+{
+  std::string restore = "";
+
+  switch (state)
+    {
+    case ACCEPT:
+    case IGNORE_SPACE:
+      restore = parser.drop(alt);
+      if (restore.length() > 0 && restore[0] == '\\')
+       {
+         buffer = std::string(restore, 1, restore.length() - 1);
+         state = (buffer.length() > 0) ? MACRO : ESCAPE;
+       }
+      break;
+    case ESCAPE:
       state = ACCEPT;
       break;
+    case MACRO:
+      if (alt) buffer.erase();
+      else buffer.erase(buffer.length() - 1, 1);
+      if (buffer.length() == 0) state = ESCAPE;
+      break;
+    case PARAMETER:
     default:
       assert(0);
       break;
@@ -103,10 +185,10 @@ TPushLexer::push(char ch)
 
   switch (state)
     {
-    case ESCAPE: parser.setCursor("\\"); break;
-    case MACRO: parser.setCursor("\\" + buffer); break;
-    case PARAMETER: parser.setCursor("#"); break;
-    default: parser.setCursor("?"); break;
+    case ESCAPE: parser.setCursorHint("\\"); break;
+    case MACRO: parser.setCursorHint("\\" + buffer); break;
+    case PARAMETER: parser.setCursorHint("#"); break;
+    default: parser.setCursorHint(""); break;
     }
 }