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)