* licenses updated

[helm.git] / helm / DEVEL / mathml_editor / test / editor.cc

diff --git a/helm/DEVEL/mathml_editor/test/editor.cc b/helm/DEVEL/mathml_editor/test/editor.cc
index 181dbf540657817d1421d9db1abaae7dd37a3401..cdf6d51a5877a1c103e5ae3dc437c1ae14fad6bc 100644 (file)
--- a/helm/DEVEL/mathml_editor/test/editor.cc
+++ b/helm/DEVEL/mathml_editor/test/editor.cc
@@ -1,7 +1,32 @@
+/* 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 "dom.hh"
 #include "TPushParser.hh"
 #include "TPushLexer.hh"
+#include "LPushLexer.hh"
 #include "TDictionary.hh"
 #include "CLoggerConsole.hh"
 #include "CMathMLFactoryXSLT.hh"
@@ -14,18 +39,17 @@ extern void *parseMathMLFile(char *);
 
 struct Context
 {
-  Context(const std::string& s, TPushLexer& 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)
   {
     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;
 };
@@ -63,16 +87,28 @@ edit_push_char(Context* context, gchar ch)
   GUI_thaw();
 }
 
+#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
@@ -102,7 +138,7 @@ main(int argc, char* argv[])
 
   TDictionary dictionary(logger);
   logger.info("loading the dictionary...");
-  dictionary.load("dictionary-test.xml");
+  dictionary.load("/home/luca/projects/helm/DEVEL/mathml_editor/dictionary-test.xml");
 
   logger.info("loading the stylesheet...");
   DOM::DOMImplementation di;
@@ -112,9 +148,9 @@ main(int argc, char* argv[])
   DOM::Document texStyleDoc = di.createDocumentFromURI("./xsl/tml-tex.xsl");
   DOMX::XSLTStylesheet texStyle(texStyleDoc);
 
-  CMathMLFactoryXSLTDiff factory(logger, mmlStyle);
+  CMathMLFactoryXSLT factory(logger, mmlStyle);
   TPushParser parser(logger, factory, dictionary);
-  TPushLexer lexer(logger, parser);
+  LPushLexer lexer(logger, parser);
 
 #if 0
   lexer.push('$');
@@ -131,7 +167,7 @@ main(int argc, char* argv[])
 
   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();