cprover
xml_goto_function.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Convert goto functions to xml structures and back.
4
5
Author: CM Wintersteiger
6
7
Date: June 2006
8
9
\*******************************************************************/
10
13
14
#include "
xml_goto_function.h
"
15
16
#include <
util/xml_irep.h
>
17
18
#include "
xml_goto_program.h
"
19
23
void
convert
(
const
goto_functionst::goto_functiont
&
function
,
xmlt
&
xml
)
24
{
25
if
(
function
.body_available)
26
convert
(
function
.body,
xml
);
27
}
28
33
void
convert
(
const
xmlt
&
xml
,
goto_functionst::goto_functiont
&
function
)
34
{
35
function
.body.clear();
36
convert
(
xml
,
function
.body);
37
// don't forget to fix the functions type via the symbol table!
38
}
xml_irep.h
xml_goto_function.h
Convert goto functions into xml structures and back.
xml
xmlt xml(const source_locationt &location)
Definition:
xml_expr.cpp:25
xmlt
Definition:
xml.h:18
convert
void convert(const goto_functionst::goto_functiont &function, xmlt &xml)
takes a goto_function and creates an according xml structure
Definition:
xml_goto_function.cpp:23
goto_functions_templatet< goto_programt >::goto_functiont
goto_function_templatet< goto_programt > goto_functiont
Definition:
goto_functions_template.h:102
xml_goto_program.h
Convert goto programs into xml structures and back.
goto-cc
xml_binaries
xml_goto_function.cpp
Generated by
1.8.14