+/* This file is part of EdiTeX, an editor of mathematical
+ * expressions based on TeX syntax.
+ *
+ * Copyright (C) 2002-2003 Luca Padovani <lpadovan@cs.unibo.it>,
+ * 2003 Paolo Marinelli <pmarinel@cs.unibo.it>.
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2.1 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+ *
+ * For more information, please visit the project's home page
+ * http://helm.cs.unibo.it/editex/
+ * or send an email to <lpadovan@cs.unibo.it>
+ */
+
+#include <cassert>
#include "dom.hh"
#include "TPushParser.hh"
-#include "TPushLexer.hh"
+#include "timer.hh"
+
+#include "ILPushLexer.hh"
#include "TDictionary.hh"
#include "CLoggerConsole.hh"
#include "CMathMLFactoryXSLT.hh"
struct Context
{
- Context(const std::string& s, TPushLexer& l, TPushParser& p, DOMX::XSLTStylesheet& ts)
+ /*
+ Context(const std::string& s, TPushLexer& l, TPushParser& p) : buffer(s), i(0), lexer(l), parser(p) { };
+ */
+ 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)
{
if (i < buffer.length()) lexer.push(buffer[i++]);
- else lexer.push('\n');
}
std::string buffer;
unsigned i;
- TPushLexer& 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>
+
extern "C" void
edit_push_string(Context* context, const gchar* s)
{
assert(context != NULL);
assert(s != NULL);
- GUI_freeze();
- context->parser.freeze();
- for (unsigned i = 0; s[i]; i++) context->lexer.push(s[i]);
- context->parser.thaw();
- GUI_thaw();
+#if 0
+// GUI_freeze();
+// context->parser.freeze();
+ for (unsigned i = 0; s[i]; i++)
+ {
+ GUI_freeze();
+ context->lexer.push(s[i]);
+ GUI_thaw();
+ usleep(100000);
+ usleep(100000);
+ }
+// context->parser.thaw();
+// GUI_thaw();
+#endif
+ context->buffer = s;
}
extern "C" void
-edit_drop(Context* context, gboolean alt)
+edit_drop(Context* context, gboolean alt, gboolean control)
{
+ // At the moment, the last parameter is not used, but it will
+ // be useful when we will handle the "fast" deletion
assert(context != NULL);
GUI_freeze();
context->lexer.drop(alt);
GUI_thaw();
}
-void
+extern "C" void
+edit_complete(Context* context)
+{
+ assert(context != NULL);
+ GUI_freeze();
+ if (!context->lexer.complete()) context->lexer.push('\t');
+ GUI_thaw();
+}
+
+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;
DOM::Document mmlStyleDoc = di.createDocumentFromURI("./xsl/tml-mmlp.xsl");
DOMX::XSLTStylesheet mmlStyle(mmlStyleDoc);
- DOM::Document texStyleDoc = di.createDocumentFromURI("./xsl/tml-tex.xsl");
+ DOM::Document texStyleDoc = di.createDocumentFromURI("./xsl/tml-texid.xsl");
DOMX::XSLTStylesheet texStyle(texStyleDoc);
- CMathMLFactoryXSLTDiff factory(logger, mmlStyle);
+ CMathMLFactoryXSLT factory(logger, mmlStyle);
TPushParser parser(logger, factory, dictionary);
- TPushLexer lexer(logger, parser);
+ ILPushLexer lexer(logger, parser, dictionary);
#if 0
lexer.push('$');
Context context("", lexer, parser, texStyle);
- GUI_init(&argc, &argv, "mathmleditor", 500, 600, &context);
+ GUI_init(&argc, &argv, "EditTeX", 500, 600, &context);
GUI_load_document(gdome_cast_doc(static_cast<GdomeNode*>(factory.document())));
GUI_run();
GUI_uninit();
GUI_unload_document();
+
}