]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mathml_editor/src/TTokenizer.hh
* added show/hide cursro methods
[helm.git] / helm / DEVEL / mathml_editor / src / TTokenizer.hh
1
2 #ifndef __TTokenizer_hh__
3 #define __TTokenizer_hh__
4
5 #include <string>
6 #include <vector>
7 #include <list>
8
9 #include "TToken.hh"
10 #include "APushParser.hh"
11
12 class TTokenizer : private APushParser
13 {
14 public:
15   TTokenizer(class ALogger& l) : APushParser(l) { };
16
17   std::vector<TToken> tokenize(const std::string&);
18
19 private:
20   virtual void reset(void);
21   virtual void push(const TToken&);
22   virtual std::string drop(void);
23   virtual void setCursorHint(const std::string&) { };
24   virtual bool hideCursor(void) { return false; };
25   virtual bool showCursor(void) { return false; };
26
27   std::list<TToken> tokens;
28 };
29
30 #endif // __TTokenizer_hh__