xml_goto_function_convertt Class Reference

#include <xml_goto_function_hashing.h>

Collaboration diagram for xml_goto_function_convertt:

Public Member Functions
	xml_goto_function_convertt (xml_irep_convertt::ireps_containert &ic)
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...

Private Attributes
xml_irep_convertt::ireps_containert &	ireps_container

Detailed Description

Definition at line 23 of file xml_goto_function_hashing.h.

Constructor & Destructor Documentation

xml_goto_function_convertt()

xml_goto_function_convertt::xml_goto_function_convertt ( xml_irep_convertt::ireps_containert &  ic )

inlineexplicit

Definition at line 29 of file xml_goto_function_hashing.h.

Member Function Documentation

convert() [1/2]

void xml_goto_function_convertt::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 35 of file xml_goto_function_hashing.cpp.

References xml_goto_program_convertt::convert(), ireps_container, and xml().

Referenced by read_goto_object().

convert() [2/2]

void xml_goto_function_convertt::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 22 of file xml_goto_function_hashing.cpp.

References xml_goto_program_convertt::convert(), ireps_container, and xml().

Member Data Documentation

ireps_container

xml_irep_convertt::ireps_containert& xml_goto_function_convertt::ireps_container

private

Definition at line 26 of file xml_goto_function_hashing.h.

Referenced by convert().

---

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

• goto-cc/xml_binaries/xml_goto_function_hashing.h
• goto-cc/xml_binaries/xml_goto_function_hashing.cpp