show_goto_functions_xmlt Class Reference

#include <show_goto_functions_xml.h>

Public Member Functions
	show_goto_functions_xmlt (bool _list_only=false)
	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
bool	list_only

Detailed Description

Definition at line 19 of file show_goto_functions_xml.h.

Constructor & Destructor Documentation

show_goto_functions_xmlt()

show_goto_functions_xmlt::show_goto_functions_xmlt ( bool  _list_only = false )

explicit

For outputting the GOTO program in a readable xml format.

Parameters

_list_only

output only list of functions, but not their bodies

Definition at line 24 of file show_goto_functions_xml.cpp.

Member Function Documentation

convert()

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> 

Parameters

goto_functions

the goto functions that make up the program

Definition at line 37 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 100 of file show_goto_functions_xml.cpp.

Member Data Documentation

list_only

bool show_goto_functions_xmlt::list_only

private

Definition at line 30 of file show_goto_functions_xml.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-programs/show_goto_functions_xml.h
• /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-programs/show_goto_functions_xml.cpp