]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mathml_editor/src/TTokenizer.hh
* this is a large commit
[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 push(const TToken&);
21   virtual std::string drop(void);
22   virtual void setCursorHint(const std::string&) { };
23
24   std::list<TToken> tokens;
25 };
26
27 #endif // __TTokenizer_hh__