]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TPushLexer.hh
ocaml 3.09 transition
[helm.git] / helm / DEVEL / mathml_editor / src / TPushLexer.hh
index 63ec45450e6817cea271b16b566b71713031b714..2aafd6ec9c3911109ed63fc1925356353564c7e6 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,
@@ -53,9 +54,11 @@ private:
     };
 
   void transaction(char, State);
+  void displayCursor(void);
 
   State state;
   std::string buffer;
+
 };
 
 #endif // __TPushLexer_hh__