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 
24 {
25  if(function.body_available)
26  convert(function.body, xml);
27 }
28 
34 {
35  function.body.clear();
36  convert(xml, function.body);
37  // don't forget to fix the functions type via the symbol table!
38 }
Convert goto functions into xml structures and back.
xmlt xml(const source_locationt &location)
Definition: xml_expr.cpp:25
Definition: xml.h:18
void convert(const goto_functionst::goto_functiont &function, xmlt &xml)
takes a goto_function and creates an according xml structure
goto_function_templatet< goto_programt > goto_functiont
Convert goto programs into xml structures and back.