xml_goto_function.h File Reference

Convert goto functions into xml structures and back. More...

#include <util/xml.h>
#include <goto-programs/goto_functions.h>

Include dependency graph for xml_goto_function.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
void	convert (const xmlt &, goto_functionst::goto_functiont &)
	constructs the goto_function according to the information in the xml structure. More...
void	convert (const goto_functionst::goto_functiont &, xmlt &)
	takes a goto_function and creates an according xml structure More...

Detailed Description

Convert goto functions into xml structures and back.

Definition in file xml_goto_function.h.

Function Documentation

convert() [1/2]

void convert	(	const xmlt &	xml,
		goto_functionst::goto_functiont &	function
	)

constructs the goto_function according to the information in the xml structure.

parameters: xml structure and a goto_function to fill

Returns

none

Definition at line 33 of file xml_goto_function.cpp.

References convert(), and xml().

convert() [2/2]

void convert	(	const goto_functionst::goto_functiont &	function,
		xmlt &	xml
	)

takes a goto_function and creates an according xml structure

parameters: goto_function and an xml node

Returns

none

Definition at line 23 of file xml_goto_function.cpp.

References convert(), and xml().

Referenced by string_constraint_generatort::add_axioms_for_to_lower_case(), string_constraint_generatort::add_axioms_for_to_upper_case(), convert(), bmct::error_trace(), bmc_covert::operator()(), bmc_all_propertiest::report(), symex_parse_optionst::report_cover(), clobber_parse_optionst::show_counterexample(), symex_parse_optionst::show_counterexample(), and show_value_sets().