]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/test/editor.cc
* added show/hide cursro methods
[helm.git] / helm / DEVEL / mathml_editor / test / editor.cc
index 62435ca788e95322d9ca128f88231a17960039da..181dbf540657817d1421d9db1abaae7dd37a3401 100644 (file)
@@ -14,7 +14,8 @@ 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, TPushLexer& l, TPushParser& p, DOMX::XSLTStylesheet& ts) 
+    : buffer(s), i(0), lexer(l), parser(p), texStyle(ts) { };
 
   void send(void)
   {
@@ -26,8 +27,22 @@ struct Context
   unsigned i;
   TPushLexer& 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)
 {
@@ -69,6 +84,16 @@ edit_drop(Context* context, gboolean 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[])
 {
@@ -81,10 +106,13 @@ main(int argc, char* argv[])
 
   logger.info("loading the stylesheet...");
   DOM::DOMImplementation di;
-  DOM::Document docStyle = di.createDocumentFromURI("./xsl/tml-mmlp.xsl");
-  DOMX::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);
 
-  CMathMLFactoryXSLTDiff factory(logger, style);
+  CMathMLFactoryXSLTDiff factory(logger, mmlStyle);
   TPushParser parser(logger, factory, dictionary);
   TPushLexer lexer(logger, parser);
 
@@ -101,7 +129,7 @@ main(int argc, char* argv[])
   style.save(result, stdout);
 #endif
 
-  Context context("", lexer, parser);
+  Context context("", lexer, parser, texStyle);
 
   GUI_init(&argc, &argv, "mathmleditor", 500, 600, &context);
   GUI_load_document(gdome_cast_doc(static_cast<GdomeNode*>(factory.document())));