tools.hh

Go to the documentation of this file.

// tools.hh: this file is part of the Vaucanson project.
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2005, 2006 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
// as published by the Free Software Foundation; either version 2
// of the License, or (at your option) any later version.
//
// The complete GNU General Public Licence Notice can be found as the
// `COPYING' file in the root directory.
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//

#ifndef VCSN_XML_TOOLS_HH
# define VCSN_XML_TOOLS_HH

# include <xercesc/dom/DOM.hpp>
# include <xercesc/framework/MemBufFormatTarget.hpp>
# include <xercesc/util/XMLString.hpp>
# include <xercesc/util/PlatformUtils.hpp>

# include <vaucanson/design_pattern/element.hh>
# include <vaucanson/misc/usual_macros.hh>
# include <vaucanson/boolean_automaton.hh>
# include <vaucanson/z_automaton.hh>
# include <vaucanson/z_max_plus_automaton.hh>
# include <vaucanson/z_min_plus_automaton.hh>
# include <vaucanson/r_automaton.hh>
# include <vaucanson/fmp_transducer.hh>
# include <vaucanson/boolean_transducer.hh>

# include <vaucanson/algebra/concept/monoid_base.hh>
# include <vaucanson/automata/concept/transducer_base.hh>

# include <vaucanson/xml/strings.hh>

namespace vcsn
{
  namespace xml
  {

    namespace tools
    {

      template <class S>
      const char* get_monoid_type(const S&);

      template <class S>
      const char* get_semiring_operations(const S&);

      template <class S, class T>
      const char* get_semiring_set(const S&, const T&);

      template <class S, class T, class U>
      void add_label(xercesc::DOMElement*, const Element<S, T>&, const U&);

      template <class M>
      xercesc::DOMElement* create_monoid(const M& monoid,
                                         xercesc::DOMDocument* doc,
                                         xercesc::DOMElement* elt);

      template <class A>
      void create_alphabet(const A& alphabet, xercesc::DOMDocument* doc,
                           xercesc::DOMElement* root);

      template <class A, class S>
      xercesc::DOMElement* create_semiring(const A& aut,
                                           const S& semiring,
                                           xercesc::DOMDocument* doc,
                                           xercesc::DOMElement* elt);

      template <class T>
      typename T::series_set_elt_t get_series(xercesc::DOMElement* node,
                                              T& aut);

      template <class U, class V>
      void insert_letter(Element<vcsn::algebra::AlphabetSet<U>, V>& a,
                         const std::string& str);

      template <class U>
      void ensure_monoid_type(const xercesc::DOMElement* node,
                              const U& param);

      template <class T, class U>
      void ensure_semiring_type(const xercesc::DOMElement* node, const T& a,
                                const U& param);

      template <class OStream>
      void print_document(xercesc::DOMImplementationLS* impl,
                          xercesc::DOMElement* node,
                          OStream& os);
    } // tools

  } // xml

} // vcsn

# if !defined VCSN_USE_INTERFACE_ONLY || defined VCSN_USE_LIB
#  include <vaucanson/xml/tools.hxx>
# endif // VCSN_USE_INTERFACE_ONLY

#endif // ! VCSN_XML_TOOLS_HH

---