]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TTokenizer.hh
* code cleanup
[helm.git] / helm / DEVEL / mathml_editor / src / TTokenizer.hh
index d0a54bf2869ce16a268ceda0604b876e3f045b0b..54618c88b1e4c10120f31fc4cc159afacc47dd30 100644 (file)
 class TTokenizer : private APushParser
 {
 public:
-  TTokenizer(void) { };
+  TTokenizer(class ALogger& l) : APushParser(l) { };
 
   std::vector<TToken> tokenize(const std::string&);
 
 private:
   virtual void push(const TToken&);
-  virtual void setCursor(const std::string&) { };
+  virtual void setCursorHint(const std::string&) { };
 
   std::list<TToken> tokens;
 };