cprover
xml_goto_function.h File Reference

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

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().

§ convert() [2/2]