class TPushParser : public APushParser
{
public:
- TPushParser(const class TDictionary&);
- TPushParser(const class TDictionary&, class TListener&);
+ TPushParser(class ALogger&, const class TDictionary&);
+ TPushParser(class ALogger&, class AMathMLFactory&, const class TDictionary&);
virtual ~TPushParser();
virtual void push(const TToken&);
- virtual void setCursor(const std::string&);
+ virtual void setCursorHint(const std::string&);
+protected:
TDocument document(void) const { return doc; }
private:
};
std::stack<Frame> frames;
- //std::list<TToken> buffer;
unsigned nextId;
TDocument doc;
TNode cursor;
-
const class TDictionary& dictionary;
- class TListener* listener;
};
#endif // __TPushParser_hh__