00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018 #include <vaucanson/config/system.hh>
00019
00020 #if not defined (VCSN_TOOLS_XML_DUMP_HH) and \
00021 (not defined (VCSN_SANITY_CHECK) or defined (VCSN_USE_XML))
00022 # define VCSN_TOOLS_XML_DUMP_HH
00023
00024 # ifndef VCSN_USE_XML
00025 # error Vaucanson XML support is disabled.
00026 # endif
00027
00036 # include <iostream>
00037 # include <string>
00038 # include <vaucanson/tools/io.hh>
00039 # include <vaucanson/xml/XML.hh>
00040
00041 namespace vcsn
00042 {
00043 namespace tools
00044 {
00045 template <typename Auto>
00046 void xml_dump(std::ostream& o, const Auto& a,
00047 const std::string& name = "");
00048 }
00049 }
00050
00051 # ifndef VCSN_USE_INTERFACE_ONLY
00052 # include <vaucanson/tools/xml_dump.hxx>
00053 # endif // VCSN_USE_INTERFACE_ONLY
00054
00055 #endif // ! VCSN_TOOLS_XML_DUMP_HH && (! VCSN_SANITY_CHECK || VCSN_USE_XML)