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"
29 #include "ILPushLexer.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 *);
43 Context(const std::string& s, TPushLexer& l, TPushParser& p) : buffer(s), i(0), lexer(l), parser(p) { };
45 Context(const std::string& s, APushLexer& l, TPushParser& p, DOMX::XSLTStylesheet& ts)
46 : buffer(s), i(0), lexer(l), parser(p), texStyle(ts) { };
50 if (i < buffer.length()) lexer.push(buffer[i++]);
57 DOMX::XSLTStylesheet& texStyle;
61 edit_output_tex(Context* data)
64 DOM::Document res = data->texStyle.apply(data->parser.document());
67 DOM::Node c = res.get_firstChild();
68 if (c) std::cout << "HEY, there is a child! " << c.get_nodeName() << " " << c.get_nodeValue() << std::endl;
70 data->texStyle.save(res, stdout);
74 edit_timeout(Context* data)
84 edit_push_char(Context* context, gchar ch)
86 assert(context != NULL);
88 std::cout << "*** SENDING " << ch << std::endl;
89 context->lexer.push(ch);
96 edit_push_string(Context* context, const gchar* s)
98 assert(context != NULL);
102 // context->parser.freeze();
103 for (unsigned i = 0; s[i]; i++)
106 context->lexer.push(s[i]);
111 // context->parser.thaw();
118 edit_drop(Context* context, gboolean alt, gboolean control)
120 // At the moment, the last parameter is not used, but it will
121 // be useful when we will handle the "fast" deletion
122 assert(context != NULL);
124 context->lexer.drop(alt);
129 edit_reset_tex(Context* context)
131 assert(context != NULL);
133 context->lexer.reset();
134 context->parser.reset();
139 edit_complete(Context* context)
141 assert(context != NULL);
143 if (!context->lexer.complete()) context->lexer.push('\t');
148 main(int argc, char* argv[])
150 CLoggerConsole logger;
151 logger.verbosity(ALogger::Debug);
153 TDictionary dictionary(logger);
154 logger.info("loading the dictionary...");
155 dictionary.load("./dictionary-test.xml");
157 logger.info("loading the stylesheet...");
158 DOM::DOMImplementation di;
159 DOM::Document mmlStyleDoc = di.createDocumentFromURI("./xsl/tml-mmlp.xsl");
160 DOMX::XSLTStylesheet mmlStyle(mmlStyleDoc);
162 DOM::Document texStyleDoc = di.createDocumentFromURI("./xsl/tml-texid.xsl");
163 DOMX::XSLTStylesheet texStyle(texStyleDoc);
165 CMathMLFactoryXSLTDiff factory(logger, mmlStyle);
166 TPushParser parser(logger, factory, dictionary);
167 ILPushLexer lexer(logger, parser, dictionary);
176 DOM::Document doc = parser.document().document();
177 std::vector< std::pair<DOM::GdomeString, DOM::GdomeString> > np;
178 result = style.apply(doc, np);
179 style.save(result, stdout);
182 Context context("", lexer, parser, texStyle);
184 GUI_init(&argc, &argv, "EditTeX", 500, 600, &context);
185 GUI_load_document(gdome_cast_doc(static_cast<GdomeNode*>(factory.document())));
188 GUI_unload_document();