cprover
|
#include <show_goto_functions_xml.h>
Public Member Functions | |
show_goto_functions_xmlt (const namespacet &ns) | |
For outputting the GOTO program in a readable xml format. More... | |
xmlt | convert (const goto_functionst &goto_functions) |
Walks through all of the functions in the program and returns an xml object representing all their functions. More... | |
void | operator() (const goto_functionst &goto_functions, std::ostream &out, bool append=true) |
Print the xml object generated by show_goto_functions_xmlt::show_goto_functions to the provided stream (e.g. More... | |
Private Attributes | |
const namespacet & | ns |
Definition at line 20 of file show_goto_functions_xml.h.
|
explicit |
For outputting the GOTO program in a readable xml format.
ns | the namespace to use to resolve names with |
Definition at line 28 of file show_goto_functions_xml.cpp.
xmlt show_goto_functions_xmlt::convert | ( | const goto_functionst & | goto_functions | ) |
Walks through all of the functions in the program and returns an xml object representing all their functions.
Produces output like this: <functions> <function name="main," is_body_available="true," is_internal="false"> <instructions> <instruction_id=ASSIGN> <location file="main.c" line="14"> <instruction_value> // 34 file main.c line 1 s = { 'a', 'b', 'c', 0 }; </instruction_value> </instruction> </instructions> </function> </functions>
goto_functions | the goto functions that make up the program |
Definition at line 39 of file show_goto_functions_xml.cpp.
References CPROVER_PREFIX, xmlt::data, xmlt::elements, goto_functions_templatet< bodyT >::entry_point(), goto_functions_templatet< bodyT >::function_map, has_prefix(), id2string(), xmlt::new_element(), ns, xmlt::set_attribute(), xmlt::set_attribute_bool(), and xml().
Referenced by operator()().
void show_goto_functions_xmlt::operator() | ( | const goto_functionst & | goto_functions, |
std::ostream & | out, | ||
bool | append = true |
||
) |
Print the xml object generated by show_goto_functions_xmlt::show_goto_functions to the provided stream (e.g.
std::cout)
goto_functions | the goto functions that make up the program |
out | the stream to write the object to |
append | should a command and newline be appended to the stream before writing the xml object. Defaults to true |
Definition at line 94 of file show_goto_functions_xml.cpp.
References convert().
|
private |
Definition at line 30 of file show_goto_functions_xml.h.
Referenced by convert().