#include "dom.hh"
#include "TPushParser.hh"
-#include "LPushLexer.hh"
-
-#include "TPushLexer.hh"
#include "ILPushLexer.hh"
#include "TDictionary.hh"
#include "CLoggerConsole.hh"
#include "guiGTK.h"
-typedef ILPushLexer MyPushLexer;
-
extern void *parseMathMLFile(char *);
struct Context
/*
Context(const std::string& s, TPushLexer& l, TPushParser& p) : buffer(s), i(0), lexer(l), parser(p) { };
*/
- Context(const std::string& s, MyPushLexer& l, TPushParser& p, DOMX::XSLTStylesheet& ts)
+ Context(const std::string& s, APushLexer& l, TPushParser& p, DOMX::XSLTStylesheet& ts)
: buffer(s), i(0), lexer(l), parser(p), texStyle(ts) { };
void send(void)
std::string buffer;
unsigned i;
- //TPushLexer& lexer;
- MyPushLexer& lexer;
+ APushLexer& lexer;
TPushParser& parser;
DOMX::XSLTStylesheet& texStyle;
};
CMathMLFactoryXSLT factory(logger, mmlStyle);
TPushParser parser(logger, factory, dictionary);
- MyPushLexer lexer(logger, parser, dictionary);
+ ILPushLexer lexer(logger, parser, dictionary);
#if 0
lexer.push('$');