* changed handling of ' (\primes) with a few patches in the stylesheets

[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 9d548289c6a2625491060ef5b83ae543a492c369..b22bd3beda42b021a979814678083699dce614a4 100644 (file)
--- a/helm/DEVEL/mathml_editor/test/editor.cc
+++ b/helm/DEVEL/mathml_editor/test/editor.cc
@@ -2,51 +2,47 @@
 #include "dom.hh"
 #include "TPushParser.hh"
 #include "TPushLexer.hh"
+#include "LPushLexer.hh"
 #include "TDictionary.hh"
 #include "CLoggerConsole.hh"
 #include "CMathMLFactoryXSLT.hh"
+#include "CMathMLFactoryXSLTDiff.hh"
 #include "AMathMLConsumer.hh"
 
 #include "guiGTK.h"
 
-TDictionary dictionary;
-
 extern void *parseMathMLFile(char *);
 
-class CMathMLConsumer : public AMathMLConsumer
-{
-public:
-  CMathMLConsumer(void) { firstTime = true; };
-
-  virtual void documentModified(const DOM::Document& result)
-  {
-    if (firstTime)
-      {
-       if (GUI_load_document(gdome_cast_doc(static_cast<GdomeNode*>(result))) < 0)
-         cerr << "c'e' stato un errore" << endl;
-       firstTime = false;
-      }
-  }
-
-private:
-  bool firstTime;
-};
-
 struct Context
 {
-  Context(const std::string& s, TPushLexer& l) : buffer(s), i(0), lexer(l) { };
+  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;
 };
 
+extern "C" void
+edit_output_tex(Context* data)
+{
+  assert(data);
+  DOM::Document res = data->texStyle.apply(data->parser.document());
+#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;
+#endif
+  data->texStyle.save(res, stdout);
+}
+
 extern "C" int
 edit_timeout(Context* data)
 {
@@ -58,29 +54,79 @@ edit_timeout(Context* data)
 }
 
 extern "C" void
-push_char(Context* context, gchar ch)
+edit_push_char(Context* context, gchar ch)
 {
+  assert(context != NULL);
   GUI_freeze();
   cout << "*** SENDING " << ch << endl;
   context->lexer.push(ch);
   GUI_thaw();
 }
 
+#include <unistd.h>
+
+extern "C" void
+edit_push_string(Context* context, const gchar* s)
+{
+  assert(context != NULL);
+  assert(s != NULL);
+#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)
+{
+  assert(context != NULL);
+  GUI_freeze();
+  context->lexer.drop(alt);
+  GUI_thaw();
+}
+
+extern "C" void
+edit_reset_tex(Context* context)
+{
+  assert(context != NULL);
+  GUI_freeze();
+  context->lexer.reset();
+  context->parser.reset();
+  GUI_thaw();
+}
+
+void
 main(int argc, char* argv[])
 {
   CLoggerConsole logger;
+  logger.verbosity(ALogger::Debug);
+
+  TDictionary dictionary(logger);
   logger.info("loading the dictionary...");
-  dictionary.load("dictionary.xml");
+  dictionary.load("dictionary-test.xml");
 
   logger.info("loading the stylesheet...");
   DOM::DOMImplementation di;
-  DOM::Document docStyle = di.createDocumentFromURI("./xsl/tml-mmlp.xsl");
-  DOM::XSLTStylesheet style(docStyle);
+  DOM::Document mmlStyleDoc = di.createDocumentFromURI("./xsl/tml-mmlp.xsl");
+  DOMX::XSLTStylesheet mmlStyle(mmlStyleDoc);
+
+  DOM::Document texStyleDoc = di.createDocumentFromURI("./xsl/tml-tex.xsl");
+  DOMX::XSLTStylesheet texStyle(texStyleDoc);
 
-  CMathMLConsumer consumer;
-  CMathMLFactoryXSLT factory(logger, consumer, style);
+  CMathMLFactoryXSLT factory(logger, mmlStyle);
   TPushParser parser(logger, factory, dictionary);
-  TPushLexer lexer(logger, parser);
+  LPushLexer lexer(logger, parser);
 
 #if 0
   lexer.push('$');
@@ -95,9 +141,10 @@ main(int argc, char* argv[])
   style.save(result, stdout);
 #endif
 
-  Context context("", lexer);
+  Context context("", lexer, parser, texStyle);
 
   GUI_init(&argc, &argv, "mathmleditor", 500, 600, &context);
+  GUI_load_document(gdome_cast_doc(static_cast<GdomeNode*>(factory.document())));
   GUI_run();
   GUI_uninit();
   GUI_unload_document();