X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FLPushLexer.hh;h=a9f95e200cbefff34bfcd44d2492458c639b0ad7;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=c9b6c91af0583a914278dd0163ab1c1a5dabf208;hpb=c112706f347e08e7f345131fbc4c3aa0e9ecc7b5;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/src/LPushLexer.hh b/helm/DEVEL/mathml_editor/src/LPushLexer.hh
index c9b6c91af..a9f95e200 100644
--- a/helm/DEVEL/mathml_editor/src/LPushLexer.hh
+++ b/helm/DEVEL/mathml_editor/src/LPushLexer.hh
@@ -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;