1 /* This file is part of EdiTeX, an editor of mathematical
2 * expressions based on TeX syntax.
4 * Copyright (C) 2002-2003 Luca Padovani <lpadovan@cs.unibo.it>,
5 * 2003 Paolo Marinelli <pmarinel@cs.unibo.it>.
7 * This library is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU Lesser General Public
9 * License as published by the Free Software Foundation; either
10 * version 2.1 of the License, or (at your option) any later version.
12 * This library is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 * Lesser General Public License for more details.
17 * You should have received a copy of the GNU Lesser General Public
18 * License along with this library; if not, write to the Free Software
19 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
21 * For more information, please visit the project's home page
22 * http://helm.cs.unibo.it/editex/
23 * or send an email to <lpadovan@cs.unibo.it>
27 #include "TPushParser.hh"
28 #include "TPushLexer.hh"
29 #include "LPushLexer.hh"
30 #include "TDictionary.hh"
31 #include "CLoggerConsole.hh"
32 #include "CMathMLFactoryXSLT.hh"
33 #include "CMathMLFactoryXSLTDiff.hh"
34 #include "AMathMLConsumer.hh"
38 extern void *parseMathMLFile(char *);
42 Context(const std::string& s, APushLexer& l, TPushParser& p, DOMX::XSLTStylesheet& ts)
43 : buffer(s), i(0), lexer(l), parser(p), texStyle(ts) { };
47 if (i < buffer.length()) lexer.push(buffer[i++]);
54 DOMX::XSLTStylesheet& texStyle;
58 edit_output_tex(Context* data)
61 DOM::Document res = data->texStyle.apply(data->parser.document());
64 DOM::Node c = res.get_firstChild();
65 if (c) cout << "HEY, there is a child! " << c.get_nodeName() << " " << c.get_nodeValue() << endl;
67 data->texStyle.save(res, stdout);
71 edit_timeout(Context* data)
81 edit_push_char(Context* context, gchar ch)
83 assert(context != NULL);
85 cout << "*** SENDING " << ch << endl;
86 context->lexer.push(ch);
93 edit_push_string(Context* context, const gchar* s)
95 assert(context != NULL);
99 // context->parser.freeze();
100 for (unsigned i = 0; s[i]; i++)
103 context->lexer.push(s[i]);
108 // context->parser.thaw();
115 edit_drop(Context* context, gboolean alt)
117 assert(context != NULL);
119 context->lexer.drop(alt);
124 edit_reset_tex(Context* context)
126 assert(context != NULL);
128 context->lexer.reset();
129 context->parser.reset();
134 main(int argc, char* argv[])
136 CLoggerConsole logger;
137 logger.verbosity(ALogger::Debug);
139 TDictionary dictionary(logger);
140 logger.info("loading the dictionary...");
141 dictionary.load("/home/luca/projects/helm/DEVEL/mathml_editor/dictionary-test.xml");
143 logger.info("loading the stylesheet...");
144 DOM::DOMImplementation di;
145 DOM::Document mmlStyleDoc = di.createDocumentFromURI("./xsl/tml-mmlp.xsl");
146 DOMX::XSLTStylesheet mmlStyle(mmlStyleDoc);
148 DOM::Document texStyleDoc = di.createDocumentFromURI("./xsl/tml-tex.xsl");
149 DOMX::XSLTStylesheet texStyle(texStyleDoc);
151 CMathMLFactoryXSLT factory(logger, mmlStyle);
152 TPushParser parser(logger, factory, dictionary);
153 LPushLexer lexer(logger, parser);
162 DOM::Document doc = parser.document().document();
163 std::vector< std::pair<DOM::GdomeString, DOM::GdomeString> > np;
164 result = style.apply(doc, np);
165 style.save(result, stdout);
168 Context context("", lexer, parser, texStyle);
170 GUI_init(&argc, &argv, "EditTeX", 500, 600, &context);
171 GUI_load_document(gdome_cast_doc(static_cast<GdomeNode*>(factory.document())));
174 GUI_unload_document();