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