]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TLexerPush.hh
* code cleanup
[helm.git] / helm / DEVEL / mathml_editor / src / TLexerPush.hh
diff --git a/helm/DEVEL/mathml_editor/src/TLexerPush.hh b/helm/DEVEL/mathml_editor/src/TLexerPush.hh
deleted file mode 100644 (file)
index f47def4..0000000
+++ /dev/null
@@ -1,31 +0,0 @@
-
-#include <deque>
-
-#include "TToken.hh"
-
-class TLexerPush
-{
-public:
-  TLexerPush(void);
-
-  void   push(TChar);
-  TToken pop(void);
-  TToken front(void) const;
-  bool   ambiguous(void) const;
-  bool   pending(void) const;
-  bool   empty(void) const;
-
-  class EmptyBuffer { };
-
-private:
-  enum State
-    {
-      ACCEPT,
-      ESCAPE,
-      CONTROL,
-      IGNORE_SPACE
-    };
-
-  State state;
-  std::deque<TToken> tokens;
-};