]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/LPushLexer.hh
ocaml 3.09 transition
[helm.git] / helm / DEVEL / mathml_editor / src / LPushLexer.hh
index c9b6c91af0583a914278dd0163ab1c1a5dabf208..a9f95e200cbefff34bfcd44d2492458c639b0ad7 100644 (file)
@@ -38,11 +38,12 @@ public:
 
   virtual void push(char);
   virtual void drop(bool);
+  virtual bool complete(void) {};
   virtual void reset(void);
   virtual void flush(void);
   virtual bool error(void) const;
 
-private:
+protected:
   enum State
     {
       ACCEPT,
@@ -50,10 +51,12 @@ private:
       MACRO,
       PARAMETER,
       IDENTIFIER,
+      ESCAPED_CHARACTER,
       NUMBER
     };
 
   void transaction(char, State);
+  void displayCursor(void);
 
   State state;
   std::string buffer;