#include <show_goto_functions_xml.h>
|
| show_goto_functions_xmlt (const namespacet &_ns, bool _list_only=false) |
| For outputting the GOTO program in a readable xml format.
|
|
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.
|
|
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.
|
|
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 25 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 40 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 104 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: