xml_chooser.hh

Go to the documentation of this file.

// xml_chooser.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_XML_CHOOSER_HH
# define VCSN_XML_XML_CHOOSER_HH

# include <string>
# include <sstream>
# include <xercesc/dom/DOM.hpp>

# include <vaucanson/design_pattern/element.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/misc/usual_macros.hh>
# include <vaucanson/xml/tools.hh>


namespace vcsn
{
  namespace xml
  {
    template <class S, class T>
    struct xml_chooser_base
    {
        const char* choose_start_tag();
        void create_type_tag(const Element<S, T>&, xercesc::DOMDocument*,
                             xercesc::DOMElement*);
        void create_label(xercesc::DOMDocument*,
                          htransition_t, const Element<S, T>&,
                          xercesc::DOMElement*, bool use_label_node);
        void create_initial_label(xercesc::DOMDocument*,
                                  hstate_t, const Element<S, T>&,
                                  xercesc::DOMElement*, bool use_label_node);
        void create_final_label(xercesc::DOMDocument*,
                                hstate_t, const Element<S, T>&,
                                xercesc::DOMElement*, bool use_label_node);
    };

    template <class S, class T>
    struct xml_chooser : xml_chooser_base<S, T>
    {};

    template <class S, class T>
    struct xml_chooser<Automata<S>, T> : xml_chooser_base<Automata<S>, T>
    {};

    template <class S, class T>
    struct xml_chooser<Transducer<S>, T> : xml_chooser_base<Transducer<S>, T>
    {
        const char* choose_start_tag();
        void create_type_tag(const Element<Transducer<S>, T>&,
                             xercesc::DOMDocument*, xercesc::DOMElement*);
    };

# define FMPtype                                                        \
    Automata<                                                           \
      vcsn::algebra::Series<S, vcsn::algebra::FreeMonoidProduct<M1, M2> > \
      >, T

    template <class S, class T, class M1, class M2>
    struct xml_chooser<FMPtype> : xml_chooser_base<FMPtype>
    {
        const char* choose_start_tag();
        void create_type_tag(const Element<FMPtype>&, xercesc::DOMDocument*,
                             xercesc::DOMElement*);
    };


  } // !xml

} // !vcsn

# ifndef VCSN_USE_INTERFACE_ONLY
#  include <vaucanson/xml/xml_chooser.hxx>
# endif // VCSN_USE_INTERFACE_ONLY

# undef FMPtype

#endif // ! VCSN_XML_XML_CHOOSER_HH

---