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_DISPLAY_HH) and VCSN_INCLUDE_XML()
00021 # define VCSN_TOOLS_XML_DISPLAY_HH
00022
00023 # ifndef VCSN_USE_XML
00024 # error Vaucanson XML support is disabled.
00025 # endif
00026
00035 # include <vaucanson/design_pattern/element.hh>
00036
00037 # include <string>
00038
00039 namespace vcsn
00040 {
00041 namespace tools
00042 {
00043 static char *const xml_argv[] = { "./VGI", 0 };
00044
00045 template <class S, class T>
00046 bool
00047 xml_display(const Element<S, T>& a,
00048 const std::string& name,
00049 const bool bg = false,
00050 char *const argv[] = xml_argv);
00051 }
00052 }
00053
00054 # ifndef VCSN_USE_INTERFACE_ONLY
00055 # include <vaucanson/tools/xml_display.hxx>
00056 # endif // VCSN_USE_INTERFACE_ONLY
00057
00058 #endif // ! VCSN_TOOLS_XML_DISPLAY_HH && VCSN_INCLUDE_XML()