html.cpp File Reference

#include <filesystem>
#include <goto-symex/trace/goto_trace.h>
#include <langapi/language_util.h>
#include <optional>
#include <regex>

Include dependency graph for html.cpp:

Classes
class	html_report

Namespaces
namespace	clang_bug_report
	Namespace for scripts taken from Clang, as generated by: clang –analyze -Xclang -analyzer-output=html -o test test.c.

Functions
const std::string	clang_bug_report::counterexample_filter (const std::string_view relevant_lines_js)
void	generate_html_report (const std::string_view uuid, const namespacet &ns, const goto_tracet &goto_trace, const optionst &options)

Variables
constexpr std::string_view	clang_bug_report::html_style
constexpr std::string_view	clang_bug_report::annotated_source_header_fmt
constexpr std::string_view	clang_bug_report::counterexample_checkbox
constexpr std::string_view	clang_bug_report::keyboard_navigation_js

Function Documentation

generate_html_report()

void generate_html_report	(	const std::string_view	uuid,
		const namespacet &	ns,
		const goto_tracet &	goto_trace,
		const optionst &	options )