cprover
xml_goto_function_convertt Class Reference

#include <xml_goto_function_hashing.h>

Collaboration diagram for xml_goto_function_convertt:
[legend]

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_containertireps_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: