cprover
xml_goto_function.cpp File Reference

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

#include "xml_goto_function.h"
#include <util/xml_irep.h>
#include "xml_goto_program.h"
Include dependency graph for xml_goto_function.cpp:

Go to the source code of this file.

Functions

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

Detailed Description

Convert goto functions to xml structures and back.

Definition in file xml_goto_function.cpp.

Function Documentation

◆ convert() [1/2]

◆ convert() [2/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().