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"
32 #include "ILPushLexer.hh"
33 #include "TDictionary.hh"
34 #include "CLoggerConsole.hh"
35 #include "CMathMLFactoryXSLT.hh"
36 #include "CMathMLFactoryXSLTDiff.hh"
37 #include "AMathMLConsumer.hh"
41 extern void *parseMathMLFile(char *);
46 Context(const std::string& s, TPushLexer& l, TPushParser& p) : buffer(s), i(0), lexer(l), parser(p) { };
48 Context(const std::string& s, APushLexer& l, TPushParser& p, DOMX::XSLTStylesheet& ts)
49 : buffer(s), i(0), lexer(l), parser(p), texStyle(ts) { };
53 if (i < buffer.length()) lexer.push(buffer[i++]);
60 DOMX::XSLTStylesheet& texStyle;
64 edit_output_tex(Context* data)
67 DOM::Document res = data->texStyle.apply(data->parser.document());
70 DOM::Node c = res.get_firstChild();
71 if (c) std::cout << "HEY, there is a child! " << c.get_nodeName() << " " << c.get_nodeValue() << std::endl;
73 //data->texStyle.save(res, stdout);
77 edit_timeout(Context* data)
87 edit_push_char(Context* context, gchar ch)
89 assert(context != NULL);
92 std::cout << "*** SENDING " << ch << std::endl;
93 context->lexer.push(ch);
96 std::cout << "=== OVERALL TIME = " << (t1 - t0) / 1000 << std::endl;
102 edit_push_string(Context* context, const gchar* s)
104 assert(context != NULL);
108 // context->parser.freeze();
109 for (unsigned i = 0; s[i]; i++)
112 context->lexer.push(s[i]);
117 // context->parser.thaw();
124 edit_drop(Context* context, gboolean alt, gboolean control)
126 // At the moment, the last parameter is not used, but it will
127 // be useful when we will handle the "fast" deletion
128 assert(context != NULL);
130 context->lexer.drop(alt);
135 edit_reset_tex(Context* context)
137 assert(context != NULL);
139 context->lexer.reset();
140 context->parser.reset();
145 edit_complete(Context* context)
147 assert(context != NULL);
149 if (!context->lexer.complete()) context->lexer.push('\t');
154 main(int argc, char* argv[])
156 CLoggerConsole logger;
157 logger.verbosity(ALogger::Debug);
159 TDictionary dictionary(logger);
160 logger.info("loading the dictionary...");
161 dictionary.load("./dict/dictionary-tex.xml");
163 logger.info("loading the stylesheet...");
164 DOM::DOMImplementation di;
165 DOM::Document mmlStyleDoc = di.createDocumentFromURI("./xsl/tml-mmlp.xsl");
166 DOMX::XSLTStylesheet mmlStyle(mmlStyleDoc);
168 DOM::Document texStyleDoc = di.createDocumentFromURI("./xsl/tml-texid.xsl");
169 DOMX::XSLTStylesheet texStyle(texStyleDoc);
171 CMathMLFactoryXSLT factory(logger, mmlStyle);
172 TPushParser parser(logger, factory, dictionary);
173 ILPushLexer lexer(logger, parser, dictionary);
182 DOM::Document doc = parser.document().document();
183 std::vector< std::pair<DOM::GdomeString, DOM::GdomeString> > np;
184 result = style.apply(doc, np);
185 style.save(result, stdout);
188 Context context("", lexer, parser, texStyle);
190 GUI_init(&argc, &argv, "EditTeX", 500, 600, &context);
191 GUI_load_document(gdome_cast_doc(static_cast<GdomeNode*>(factory.document())));
194 GUI_unload_document();