]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mathml_editor/src/ITPushLexer.hh
Bug fixed: wrong exception was raised (instead of returning false)
[helm.git] / helm / DEVEL / mathml_editor / src / ITPushLexer.hh
1
2 #ifndef __ITPushLexer_hh__
3 #define __ITPushLexer_hh__
4
5 #include <string>
6
7 #include "TPushLexer.hh"
8
9 class ITPushLexer : public TPushLexer
10 {
11 public:
12   ITPushLexer(class ALogger&, class APushParser&, class TDictionary&);
13   ~ITPushLexer(void) { };
14
15   virtual bool complete(void);
16 private:  
17   class TDictionary& dictionary;
18 };
19
20 #endif