Public Member Functions
	show_goto_functions_jsont (bool _list_only=false)
	For outputting the GOTO program in a readable JSON format.

json_objectt	convert (const goto_functionst &goto_functions)
	Walks through all of the functions in the program and returns a JSON object representing all their functions.

void	operator() (const goto_functionst &goto_functions, std::ostream &out, bool append=true)
	Print the json object generated by show_goto_functions_jsont::show_goto_functions to the provided stream (e.g.

Detailed Description

Definition at line 19 of file show_goto_functions_json.h.

Constructor & Destructor Documentation

show_goto_functions_jsont::show_goto_functions_jsont ( bool _list_only = false )

explicit

For outputting the GOTO program in a readable JSON format.

Parameters

_list_only output only list of functions, but not their bodies

json_objectt show_goto_functions_jsont::convert ( const goto_functionst & goto_functions )

Walks through all of the functions in the program and returns a JSON object representing all their functions.

Parameters

goto_functions the goto functions that make up the program

void show_goto_functions_jsont::operator()	(	const goto_functionst &	goto_functions,
		std::ostream &	out,
		bool	append = true )

Print the json object generated by show_goto_functions_jsont::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 JSON object. Defaults to true

bool show_goto_functions_jsont::list_only

private

Definition at line 30 of file show_goto_functions_json.h.

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