]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TPushLexer.cc
Now it's possible to insert and delete control sequence with arguments
[helm.git] / helm / DEVEL / mathml_editor / src / TPushLexer.cc
index 4b24523da5e494c01ac2202bfbea438063fbf996..466ee2bd8b48c51644a4c901d16f7a178d59c15f 100644 (file)
@@ -15,6 +15,12 @@ TPushLexer::reset()
   state = ACCEPT;
 }
 
+void
+TPushLexer::flush()
+{
+  push(-1);
+}
+
 void
 TPushLexer::transaction(char ch, State newState)
 {
@@ -50,6 +56,7 @@ TPushLexer::push(char ch)
       if (ch == '\\') state = ESCAPE;
       else if (ch == '#') state = PARAMETER;
       else if (ch == '\b') parser.push(TToken(TToken::GDELETE));
+      else if (ch == -1) ;
       else transaction(ch, ACCEPT);
       break;
     case ESCAPE:
@@ -62,6 +69,7 @@ TPushLexer::push(char ch)
         {
          state = ACCEPT;
        }
+      else if (ch == -1) error();
       else
        {
          parser.push(TToken(TToken::CONTROL, ch));
@@ -88,6 +96,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));
@@ -101,11 +115,16 @@ TPushLexer::push(char ch)
       else if (ch == '#') state = PARAMETER;
       else if (isspace(ch)) ;
       else if (ch == '\b') parser.push(TToken(TToken::GDELETE));
+      else if (ch == -1) state = ACCEPT;
       else transaction(ch, ACCEPT);
       break;
     case PARAMETER:
-      parser.push(TToken(TToken::PARAMETER, ch));
-      state = ACCEPT;
+      if (ch == -1) error();
+      else
+        {
+         parser.push(TToken(TToken::PARAMETER, ch));
+         state = ACCEPT;
+       }
       break;
     default:
       assert(0);