]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/texlexer.cc
* code cleanup
[helm.git] / helm / DEVEL / mathml_editor / src / texlexer.cc
diff --git a/helm/DEVEL/mathml_editor/src/texlexer.cc b/helm/DEVEL/mathml_editor/src/texlexer.cc
deleted file mode 100644 (file)
index f062732..0000000
+++ /dev/null
@@ -1,26 +0,0 @@
-
-#include "dom.hh"
-#include "TLexerPush.hh"
-
-main()
-{
-  std::string s;
-  while (getline(std::cin, s))
-    {
-      TLexerPush lexer;
-      for (unsigned long i = 0; i < s.length(); i++)
-       {
-         lexer.push(s[i]);
-         cout << "pending: " << lexer.pending()
-              << " amb: " << lexer.ambiguous();
-         if (!lexer.empty())
-           {
-             TToken tok = lexer.front();
-             DOM::GdomeString v(tok.value);
-             cout << " cat: " << tok.category << " value: " << v << " length: " << v.length();
-             if (!lexer.ambiguous()) lexer.pop();
-           }
-         cout << endl;
-       }
-    }
-}