#include "TDictionary.hh"
#include "CLoggerConsole.hh"
#include "CMathMLFactoryXSLT.hh"
+#include "CMathMLFactoryXSLTDiff.hh"
#include "AMathMLConsumer.hh"
#include "guiGTK.h"
-TDictionary dictionary;
-
extern void *parseMathMLFile(char *);
-class CMathMLConsumer : public AMathMLConsumer
-{
-public:
- CMathMLConsumer(void) { firstTime = true; };
-
- virtual void documentModified(const DOM::Document& result)
- {
- if (firstTime)
- {
- if (GUI_load_document(gdome_cast_doc(static_cast<GdomeNode*>(result))) < 0)
- cerr << "c'e' stato un errore" << endl;
- firstTime = false;
- }
- }
-
-private:
- bool firstTime;
-};
-
struct Context
{
- Context(const std::string& s, TPushLexer& l) : buffer(s), i(0), lexer(l) { };
+ Context(const std::string& s, TPushLexer& l, TPushParser& p) : buffer(s), i(0), lexer(l), parser(p) { };
void send(void)
{
std::string buffer;
unsigned i;
TPushLexer& lexer;
+ TPushParser& parser;
};
extern "C" int
}
extern "C" void
-push_char(Context* context, gchar ch)
+edit_push_char(Context* context, gchar ch)
{
+ assert(context != NULL);
GUI_freeze();
cout << "*** SENDING " << ch << endl;
context->lexer.push(ch);
GUI_thaw();
}
+extern "C" void
+edit_push_string(Context* context, const gchar* s)
+{
+ assert(context != NULL);
+ assert(s != NULL);
+ GUI_freeze();
+ context->parser.freeze();
+ for (unsigned i = 0; s[i]; i++) context->lexer.push(s[i]);
+ context->parser.thaw();
+ GUI_thaw();
+}
+
+extern "C" void
+edit_drop(Context* context, gboolean alt)
+{
+ assert(context != NULL);
+ GUI_freeze();
+ context->lexer.drop(alt);
+ GUI_thaw();
+}
+
+void
main(int argc, char* argv[])
{
CLoggerConsole logger;
+ logger.verbosity(ALogger::Debug);
+
+ TDictionary dictionary(logger);
logger.info("loading the dictionary...");
- dictionary.load("dictionary.xml");
+ dictionary.load("dictionary-test.xml");
logger.info("loading the stylesheet...");
DOM::DOMImplementation di;
DOM::Document docStyle = di.createDocumentFromURI("./xsl/tml-mmlp.xsl");
- DOM::XSLTStylesheet style(docStyle);
+ DOMX::XSLTStylesheet style(docStyle);
- CMathMLConsumer consumer;
- CMathMLFactoryXSLT factory(logger, consumer, style);
+ CMathMLFactoryXSLTDiff factory(logger, style);
TPushParser parser(logger, factory, dictionary);
TPushLexer lexer(logger, parser);
style.save(result, stdout);
#endif
- Context context("", lexer);
+ Context context("", lexer, parser);
GUI_init(&argc, &argv, "mathmleditor", 500, 600, &context);
+ GUI_load_document(gdome_cast_doc(static_cast<GdomeNode*>(factory.document())));
GUI_run();
GUI_uninit();
GUI_unload_document();