1 /* Copyright (C) 2002-2003, Luca Padovani <luca.padovani@cs.unibo.it>,
2 * 2003, Paolo Marinelli <pmarinel@cs.unibo.it>.
4 * This file is part of EdiTeX, an editor of mathematical
5 * expressions based on TeX syntax
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.
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.
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.
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>
26 #ifndef __TDocument_hh__
27 #define __TDocument_hh__
32 class TDocument : private DOM::EventListener
39 TNode create(const std::string&, unsigned = 0) const;
40 TNode createG(unsigned id = 0) const { return create("g", id); };
41 TNode createC(const std::string&, unsigned = 0) const;
42 TNode createT(const std::string&, const std::string&, unsigned = 0) const;
43 TNode createI(const std::string& text, unsigned id = 0) const { return createT("i", text, id); };
44 TNode createN(const std::string& text, unsigned id = 0) const { return createT("n", text, id); };
45 TNode createO(const std::string& text, unsigned id = 0) const { return createT("o", text, id); };
47 DOM::Document document(void) const { return doc; };
49 TNode getNodeById(unsigned) const;
50 TNode root(void) { return doc.get_documentElement(); };
51 TNode dirtyNode(void) const { return dirty; };
52 void clearDirty(void) { dirty = DOM::Element(0); };
54 void serialize(const char*) const;
60 virtual void handleEvent(const DOM::Event&);
61 static std::string makeId(unsigned);
62 static TNode getNodeByIdAux(const TNode&, const std::string&);
63 static unsigned nodeDepth(const DOM::Node&);
64 static DOM::Node findCommonAncestor(const DOM::Node&, const DOM::Node&);
65 static DOM::Node findIdNode(const DOM::Node&);
68 #endif // __TDocument_hh__