Definition at line 22 of file document_properties.cpp.
§ anonymous enum
§ document_propertiest()
document_propertiest::document_propertiest |
( |
const goto_functionst & |
_goto_functions, |
|
|
std::ostream & |
_out |
|
) |
| |
|
inline |
§ doit()
void document_propertiest::doit |
( |
| ) |
|
|
private |
Definition at line 270 of file document_properties.cpp.
References escape_html(), escape_latex(), forall_goto_functions, forall_goto_program_instructions, format, get_code(), irept::get_string(), goto_functions, HTML, id2string(), LATEX, out, source_locationt::set_file(), source_locationt::set_function(), and source_locationt::set_line().
Referenced by html(), and latex().
§ get_code()
void document_propertiest::get_code |
( |
const source_locationt & |
source_location, |
|
|
std::string & |
dest |
|
) |
| |
|
private |
Definition at line 148 of file document_properties.cpp.
References escape_html(), escape_latex(), format, source_locationt::get_file(), source_locationt::get_line(), HTML, id2string(), is_empty(), LATEX, strip_space(), and unsafe_string2int().
Referenced by doit().
§ html()
void document_propertiest::html |
( |
| ) |
|
|
inline |
§ latex()
void document_propertiest::latex |
( |
| ) |
|
|
inline |
§ strip_space()
void document_propertiest::strip_space |
( |
std::list< linet > & |
lines | ) |
|
|
staticprivate |
§ format
enum { ... } document_propertiest::format |
§ goto_functions
§ out
std::ostream& document_propertiest::out |
|
private |
The documentation for this class was generated from the following file: