diff options
Diffstat (limited to 'gcc/diagnostic-format-html.h')
| -rw-r--r-- | gcc/diagnostic-format-html.h | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/gcc/diagnostic-format-html.h b/gcc/diagnostic-format-html.h index ff5edca..09a97e0 100644 --- a/gcc/diagnostic-format-html.h +++ b/gcc/diagnostic-format-html.h @@ -24,6 +24,25 @@ along with GCC; see the file COPYING3. If not see #include "diagnostic-format.h" #include "diagnostic-output-file.h" +struct html_generation_options +{ + html_generation_options (); + + bool m_css; + bool m_javascript; + + // Debugging options: + + // If true, attempt to show state diagrams at events + bool m_show_state_diagrams; + + // If true, show the XML form of the state with such diagrams + bool m_show_state_diagram_xml; + + // If true, show the .dot source used for the diagram + bool m_show_state_diagram_dot_src; +}; + extern diagnostic_output_file diagnostic_output_format_open_html_file (diagnostic_context &context, line_maps *line_maps, @@ -32,6 +51,14 @@ diagnostic_output_format_open_html_file (diagnostic_context &context, extern std::unique_ptr<diagnostic_output_format> make_html_sink (diagnostic_context &context, const line_maps &line_maps, + const html_generation_options &html_gen_opts, diagnostic_output_file output_file); +extern void +print_path_as_html (xml::printer &xp, + const diagnostic_path &path, + diagnostic_context &dc, + html_label_writer *event_label_writer, + const diagnostic_source_print_policy &dspp); + #endif /* ! GCC_DIAGNOSTIC_FORMAT_HTML_H */ |