X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Ftest%2Feditor.cc;fp=helm%2FDEVEL%2Fmathml_editor%2Ftest%2Feditor.cc;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=38c8bbbd0d5ebaee248d133d3c1df6ec5c9aef96;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/test/editor.cc b/helm/DEVEL/mathml_editor/test/editor.cc
deleted file mode 100644
index 38c8bbbd0..000000000
--- a/helm/DEVEL/mathml_editor/test/editor.cc
+++ /dev/null
@@ -1,192 +0,0 @@
-/* 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 "ILPushLexer.hh"
-#include "TDictionary.hh"
-#include "CLoggerConsole.hh"
-#include "CMathMLFactoryXSLT.hh"
-#include "CMathMLFactoryXSLTDiff.hh"
-#include "AMathMLConsumer.hh"
-
-#include "guiGTK.h"
-
-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, 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++]);
-  }
-
-  std::string buffer;
-  unsigned i;
-  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) std::cout << "HEY, there is a child! " << c.get_nodeName() << " " << c.get_nodeValue() << std::endl;
-#endif
-  data->texStyle.save(res, stdout);
-}
-
-extern "C" int
-edit_timeout(Context* data)
-{
-  assert(data);
-  GUI_freeze();
-  data->send();
-  GUI_thaw();
-  return 1;
-}
-
-extern "C" void
-edit_push_char(Context* context, gchar ch)
-{
-  assert(context != NULL);
-  GUI_freeze();
-  std::cout << "*** SENDING " << ch << std::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, 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();
-}
-
-extern "C" void
-edit_reset_tex(Context* context)
-{
-  assert(context != NULL);
-  GUI_freeze();
-  context->lexer.reset();
-  context->parser.reset();
-  GUI_thaw();
-}
-
-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;
-  logger.verbosity(ALogger::Debug);
-
-  TDictionary dictionary(logger);
-  logger.info("loading the dictionary...");
-  dictionary.load("/usr/share/editex/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-texid.xsl");
-  DOMX::XSLTStylesheet texStyle(texStyleDoc);
-
-  CMathMLFactoryXSLTDiff factory(logger, mmlStyle);
-  TPushParser parser(logger, factory, dictionary);
-  ILPushLexer lexer(logger, parser, dictionary);
-
-#if 0
-  lexer.push('$');
-  lexer.push(' ');
-  assert(result);
-#endif
-
-#if 0
-  DOM::Document doc = parser.document().document();
-  std::vector< std::pair<DOM::GdomeString, DOM::GdomeString> > np;
-  result = style.apply(doc, np);
-  style.save(result, stdout);
-#endif
-
-  Context context("", lexer, parser, texStyle);
-
-  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();
-
-}