]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mathml_editor/src/TTokenizer.hh
- added ragman process who cleans up old registrations
[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(void) { };
16
17   std::vector<TToken> tokenize(const std::string&);
18
19 private:
20   virtual void push(const TToken&);
21   virtual void setCursor(const std::string&) { };
22
23   std::list<TToken> tokens;
24 };
25
26 #endif // __TTokenizer_hh__