]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TDocument.hh
* this is a large commit
[helm.git] / helm / DEVEL / mathml_editor / src / TDocument.hh
index cf4b7c391b2c7e60a491b8abd169a0f4293ce009..b1ca562c63431125a7f54a7b0919e8709a0f6afd 100644 (file)
@@ -21,6 +21,7 @@ public:
 
   DOM::Document document(void) const { return doc; };
 
+  TNode getNodeById(unsigned) const;
   TNode root(void) { return doc.get_documentElement(); };
   TNode dirtyNode(void) const { return dirty; };
   void  clearDirty(void) { dirty = DOM::Element(0); };
@@ -32,6 +33,8 @@ private:
   DOM::Element dirty;
 
   virtual void handleEvent(const DOM::Event&);
+  static std::string makeId(unsigned);
+  static TNode getNodeByIdAux(const TNode&, const std::string&);
   static unsigned nodeDepth(const DOM::Node&);
   static DOM::Node findCommonAncestor(const DOM::Node&, const DOM::Node&);
   static DOM::Node findIdNode(const DOM::Node&);