helm/DEVEL/mathml_editor/src/Diff.hh

   1 /* Copyright (C) 2002-2003, Luca Padovani <luca.padovani@cs.unibo.it>,
   2  *                    2003, Paolo Marinelli <pmarinel@cs.unibo.it>.
   3  *
   4  * This file is part of EdiTeX, an editor of mathematical
   5  * expressions based on TeX syntax
   6  *
   7  * EdiTeX is free software; you can redistribute it and/or
   8  * modify it under the terms of the GNU General Public License
   9  * as published by the Free Software Foundation; either version 2
  10  * of the License, or (at your option) any later version.
  11  *
  12  * EdiTeX 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
  15  * GNU General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License
  18  * along with EdiTeX; if not, write to the Free Software
  19  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
  20  *
  21  * For details, see the EdiTeX World-Wide-Web page,
  22  * http://helm.cs.unibo.it/editex, or send a mail to
  23  * <luca.padovani@cs.unibo.it>
  24  */
  25
  26 #ifndef __Diff_hh__
  27 #define __Diff_hh__
  28
  29 #include <GdomeSmartDOM.hh>
  30
  31 #define XMLNS_NS_URI "http://www.w3.org/2000/xmlns/"
  32 #define DDIFF_NS_URI "http://helm.cs.unibo.it/2002/DDIFF"
  33
  34 namespace GdomeSmartDOMExt
  35 {
  36
  37   using namespace GdomeSmartDOM;
  38
  39   class Diff
  40   {
  41   public:
  42     typedef bool (*flatNodeEq)(const Node&, const Node&);
  43     static bool defaultFlatNodeEq(const Node&, const Node&);
  44
  45   private:
  46     Diff(const Node& n, const Document& d, flatNodeEq e) : dest(n), doc(d), eq(e) { };
  47
  48   public:
  49     static Diff diff(const Document&, const Document&, flatNodeEq = defaultFlatNodeEq);
  50     static Diff diff(const Element&, const Element&, flatNodeEq = defaultFlatNodeEq);
  51
  52     Document document(void) const { return doc; };
  53     Node     node(void) const { return dest; };
  54
  55     void patch(void) const;
  56
  57     struct BADDiff
  58     {
  59       BADDiff(const std::string& s) : msg(s) { };
  60       const std::string msg;
  61     };
  62
  63   private:
  64     Node diffNodes(const Node&, const Node&) const;
  65     bool diffChildren(const Node&, const Node&, const Node&) const;
  66     void sameChunk(const Node&, unsigned long) const;
  67     void patchRootNode(const Node&, const Element&) const;
  68     void patchChildren(const Node&, const Element&) const;
  69
  70     Document   doc;
  71     Node       dest;
  72     flatNodeEq eq;
  73   };
  74
  75 }
  76
  77 #endif // __ddiff_hh__