]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mathml_editor/src/ILPushLexer.hh
better dependencies among modules and symlinking of several matitatools to a single...
[helm.git] / helm / DEVEL / mathml_editor / src / ILPushLexer.hh
1
2 #ifndef __ILPushLexer_hh__
3 #define __ILPushLexer_hh__
4
5 #include <string>
6
7 #include "LPushLexer.hh"
8
9 class ILPushLexer : public LPushLexer
10 {
11 public:
12   ILPushLexer(class ALogger&, class APushParser&, class TDictionary&);
13   ~ILPushLexer(void) { };
14
15   virtual bool complete(void);
16   
17 protected:  
18   class TDictionary& dictionary;
19 };
20
21 #endif