#include <show_goto_functions_xml.h>
Definition at line 20 of file show_goto_functions_xml.h.
◆ show_goto_functions_xmlt()
show_goto_functions_xmlt::show_goto_functions_xmlt |
( |
const namespacet & |
_ns, |
|
|
bool |
_list_only = false |
|
) |
| |
|
explicit |
For outputting the GOTO program in a readable xml format.
- Parameters
-
_ns | the namespace to use to resolve names with |
_list_only | output only list of functions, but not their bodies |
Definition at line 29 of file show_goto_functions_xml.cpp.
◆ convert()
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>
- Parameters
-
goto_functions | the goto functions that make up the program |
Definition at line 44 of file show_goto_functions_xml.cpp.
◆ 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)
- Parameters
-
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 108 of file show_goto_functions_xml.cpp.
◆ list_only
bool show_goto_functions_xmlt::list_only |
|
private |
◆ ns
The documentation for this class was generated from the following files: