debian release 0.0.4-1

[helm.git] / helm / DEVEL / mathml_editor / src / CMathMLFactoryXSLTDiff.cc

diff --git a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc
index 53fa5aa3679b61ee39a6ea270fde5cbaf41a0ac2..34d628147fae0039264491a9906df6a749170265 100644 (file)
--- a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc
+++ b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc
@@ -8,12 +8,6 @@
 
 CMathMLFactoryXSLTDiff::CMathMLFactoryXSLTDiff(ALogger& l, const DOMX::XSLTStylesheet& s)
   : AMathMLFactory(l), style(s)
-{
-  reset();
-}
-
-void
-CMathMLFactoryXSLTDiff::reset()
 {
   DOM::DOMImplementation di;
   DOM::DocumentType dt;
@@ -23,40 +17,27 @@ CMathMLFactoryXSLTDiff::reset()
 void
 CMathMLFactoryXSLTDiff::documentModified(TDocument& doc)
 {
-  if (TNode dirty = doc.dirtyNode()) 
-    {
-      std::vector< std::pair<DOM::GdomeString, DOM::GdomeString> > dirtyId;
-      if (false && result.get_documentElement().hasAttribute("xref"))
-       dirtyId.push_back(std::make_pair(DOM::GdomeString("id"),
-                                        DOM::GdomeString("'" + std::string(dirty["id"]) + "'")));
-      DOM::Document res = style.apply(doc.document(), dirtyId);
-      assert(res);
-      //cout << "*** THE DIRTY FRAGMENT HAS ID = " << std::string(dirty["id"]) << endl;
-      //style.save(doc.document(), stdout);
-      cout << "*** THE CURRENT DOCUMENT:" << endl;
-      if (result) style.save(result, stdout);
-      cout << "*** THE NEW DOCUMENT:" << endl;
-      style.save(res, stdout);
-      cout << "*** THE DIFF:" << endl;
-      DOMX::Diff diff = DOMX::Diff::diff(result, res);
-      style.save(diff.document(), stdout);
-      diff.patch();
 #if 0
-      DOM::Element root = res.get_documentElement();
-      assert(root);
-      assert(root.hasAttribute("xref"));
-      if (result.get_documentElement().hasAttribute("xref"))
-       {
-         bool ok = subst(result.get_documentElement(), root.getAttribute("xref"), result.importNode(root, true));
-         assert(ok);
-       }
-      else
-       result = res;
+  std::vector< std::pair<DOM::GdomeString, DOM::GdomeString> > dirtyId;
+  if (TNode dirty = doc.dirtyNode()) 
+    if (false && result.get_documentElement().hasAttribute("xref"))
+      dirtyId.push_back(std::make_pair(DOM::GdomeString("id"),
+                                      DOM::GdomeString("'" + std::string(dirty["id"]) + "'")));
 #endif
-      //style.save(result, stdout);
+  DOM::Document res = style.apply(doc.document());
+  assert(res);
+  //cout << "*** THE TEX DOCUMENT" << endl;
+  //style.save(doc.document(), stdout);
+  cout << "*** THE CURRENT DOCUMENT:" << endl;
+  if (result) style.save(result, stdout);
+  cout << "*** THE NEW DOCUMENT:" << endl;
+  style.save(res, stdout);
+  cout << "*** THE DIFF:" << endl;
+  DOMX::Diff diff = DOMX::Diff::diff(result, res);
+  style.save(diff.document(), stdout);
+  diff.patch();
 
-      doc.clearDirty();
-    }
+  doc.clearDirty();
 }
 
 bool