html_report Class Reference

Public Member Functions
	html_report (const goto_tracet &goto_trace, const namespacet &ns, const optionst &options)
void	output (std::ostream &oss) const

Public Attributes
bool	show_partial_assertions = false

Protected Member Functions
const std::string	generate_head () const
const std::string	generate_body () const

Protected Attributes
const goto_tracet &	goto_trace

Constructor & Destructor Documentation

html_report()

html_report::html_report	(	const goto_tracet &	goto_trace,
		const namespacet &	ns,
		const optionst &	options )

Member Function Documentation

generate_body()

const std::string html_report::generate_body ( ) const

protected

generate_head()

const std::string html_report::generate_head ( ) const

protected

output()

void html_report::output

(

std::ostream &

oss

)

const

Member Data Documentation

goto_trace

const goto_tracet& html_report::goto_trace

protected

show_partial_assertions

bool html_report::show_partial_assertions = false

---

The documentation for this class was generated from the following file:

• src/goto-symex/trace/html.cpp