]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mathml_editor/src/APushLexer.hh
Added the special deletion. Pressing backspace, the user has a normal deletion
[helm.git] / helm / DEVEL / mathml_editor / src / APushLexer.hh
1
2 #ifndef __APushLexer_hh__
3 #define __APushLexer_hh__
4
5 class APushLexer
6 {
7 public:
8   APushLexer(class ALogger& l, class APushParser& p) : logger(l), parser(p) { };
9   virtual ~APushLexer() { };
10
11   virtual void push(char) = 0;
12   virtual void drop(bool) = 0;
13   virtual void reset(void) = 0;
14   virtual bool error(void) const = 0;
15
16 protected:
17   class ALogger&     logger;
18   class APushParser& parser;
19 };
20
21 #endif // __APushLexer_hh__