]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mathml_editor/src/TPushParser.hh
* code cleanup
[helm.git] / helm / DEVEL / mathml_editor / src / TPushParser.hh
1
2 #ifndef __TPushParser_hh__
3 #define __TPushParser_hh__
4
5 #include <list>
6 #include <stack>
7 #include "TToken.hh"
8 #include "APushParser.hh"
9 #include "TDictionary.hh"
10 #include "TDocument.hh"
11 #include "TNode.hh"
12
13 class TPushParser : public APushParser
14 {
15 public:
16   TPushParser(class ALogger&, const class TDictionary&);
17   TPushParser(class ALogger&, class AMathMLFactory&, const class TDictionary&);
18   virtual ~TPushParser();
19
20   virtual void push(const TToken&);
21   virtual void setCursorHint(const std::string&);
22
23 protected:
24   TDocument document(void) const { return doc; }
25
26 private:
27   void init(void);
28
29   std::string PRIME(void) const;
30   bool isPrimes(const TNode&) const;
31   
32   void do_begin(void);
33   void do_end(void);
34   void do_shift(void);
35   void do_align(void);
36   void do_eol(void);
37   void do_parameter(const std::string&);
38   void do_superscript(void);
39   void do_subscript(void);
40   void do_space(const std::string&);
41   void do_letter(const std::string&);
42   void do_digit(const std::string&);
43   void do_other(const std::string&);
44   void do_active(const std::string&);
45   void do_comment(void);
46   void do_control(const std::string&);
47   void gdelete_prev(void);
48   void rgreplace_futher(void);
49   void do_gdelete(void);
50
51   void do_cr(void);
52   void do_apostrophe(void);
53   void advance(const TNode&);
54
55   void process(const TToken&);
56
57   struct Frame
58   {
59     Frame(const TDictionary::Entry& e) : entry(e), pos(0) { };
60     const TDictionary::Entry& entry;
61     unsigned pos;
62   };
63
64   std::stack<Frame> frames;
65   unsigned  nextId;
66   TDocument doc;
67   TNode     cursor;
68   const class TDictionary& dictionary;
69 };
70
71 #endif // __TPushParser_hh__