* or send an email to <lpadovan@cs.unibo.it>
*/
+#include <cassert>
+
#include "dom.hh"
#include "TPushParser.hh"
+#include "timer.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;
};
#if 0
res.normalize();
DOM::Node c = res.get_firstChild();
- if (c) cout << "HEY, there is a child! " << c.get_nodeName() << " " << c.get_nodeValue() << endl;
+ if (c) std::cout << "HEY, there is a child! " << c.get_nodeName() << " " << c.get_nodeValue() << std::endl;
#endif
- data->texStyle.save(res, stdout);
+ //data->texStyle.save(res, stdout);
}
extern "C" int
edit_push_char(Context* context, gchar ch)
{
assert(context != NULL);
+ long t0 = getTimer();
GUI_freeze();
- cout << "*** SENDING " << ch << endl;
+ std::cout << "*** SENDING " << ch << std::endl;
context->lexer.push(ch);
GUI_thaw();
+ long t1 = getTimer();
+ std::cout << "=== OVERALL TIME = " << (t1 - t0) / 1000 << std::endl;
}
#include <unistd.h>
GUI_thaw();
}
-void
+int
main(int argc, char* argv[])
{
CLoggerConsole logger;
TDictionary dictionary(logger);
logger.info("loading the dictionary...");
- dictionary.load("./dictionary-test.xml");
+ dictionary.load("./dict/dictionary-tex.xml");
logger.info("loading the stylesheet...");
DOM::DOMImplementation di;
CMathMLFactoryXSLT factory(logger, mmlStyle);
TPushParser parser(logger, factory, dictionary);
- MyPushLexer lexer(logger, parser, dictionary);
+ ILPushLexer lexer(logger, parser, dictionary);
#if 0
lexer.push('$');
GUI_run();
GUI_uninit();
GUI_unload_document();
+
}