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>
29 #include "TPushParser.hh"
31 #include "ILPushLexer.hh"
32 #include "TDictionary.hh"
33 #include "CLoggerConsole.hh"
34 #include "CMathMLFactoryXSLT.hh"
35 #include "CMathMLFactoryXSLTDiff.hh"
36 #include "AMathMLConsumer.hh"
40 extern void *parseMathMLFile(char *);
45 Context(const std::string& s, TPushLexer& l, TPushParser& p) : buffer(s), i(0), lexer(l), parser(p) { };
47 Context(const std::string& s, APushLexer& l, TPushParser& p, DOMX::XSLTStylesheet& ts)
48 : buffer(s), i(0), lexer(l), parser(p), texStyle(ts) { };
52 if (i < buffer.length()) lexer.push(buffer[i++]);
59 DOMX::XSLTStylesheet& texStyle;
63 edit_output_tex(Context* data)
66 DOM::Document res = data->texStyle.apply(data->parser.document());
69 DOM::Node c = res.get_firstChild();
70 if (c) std::cout << "HEY, there is a child! " << c.get_nodeName() << " " << c.get_nodeValue() << std::endl;
72 data->texStyle.save(res, stdout);
76 edit_timeout(Context* data)
86 edit_push_char(Context* context, gchar ch)
88 assert(context != NULL);
90 std::cout << "*** SENDING " << ch << std::endl;
91 context->lexer.push(ch);
98 edit_push_string(Context* context, const gchar* s)
100 assert(context != NULL);
104 // context->parser.freeze();
105 for (unsigned i = 0; s[i]; i++)
108 context->lexer.push(s[i]);
113 // context->parser.thaw();
120 edit_drop(Context* context, gboolean alt, gboolean control)
122 // At the moment, the last parameter is not used, but it will
123 // be useful when we will handle the "fast" deletion
124 assert(context != NULL);
126 context->lexer.drop(alt);
131 edit_reset_tex(Context* context)
133 assert(context != NULL);
135 context->lexer.reset();
136 context->parser.reset();
141 edit_complete(Context* context)
143 assert(context != NULL);
145 if (!context->lexer.complete()) context->lexer.push('\t');
150 main(int argc, char* argv[])
152 CLoggerConsole logger;
153 logger.verbosity(ALogger::Debug);
155 TDictionary dictionary(logger);
156 logger.info("loading the dictionary...");
157 dictionary.load("/usr/share/editex/dictionary-tex.xml");
159 logger.info("loading the stylesheet...");
160 DOM::DOMImplementation di;
161 DOM::Document mmlStyleDoc = di.createDocumentFromURI("./xsl/tml-mmlp.xsl");
162 DOMX::XSLTStylesheet mmlStyle(mmlStyleDoc);
164 DOM::Document texStyleDoc = di.createDocumentFromURI("./xsl/tml-texid.xsl");
165 DOMX::XSLTStylesheet texStyle(texStyleDoc);
167 CMathMLFactoryXSLTDiff factory(logger, mmlStyle);
168 TPushParser parser(logger, factory, dictionary);
169 ILPushLexer lexer(logger, parser, dictionary);
178 DOM::Document doc = parser.document().document();
179 std::vector< std::pair<DOM::GdomeString, DOM::GdomeString> > np;
180 result = style.apply(doc, np);
181 style.save(result, stdout);
184 Context context("", lexer, parser, texStyle);
186 GUI_init(&argc, &argv, "EditTeX", 500, 600, &context);
187 GUI_load_document(gdome_cast_doc(static_cast<GdomeNode*>(factory.document())));
190 GUI_unload_document();