cprover
xml_goto_function_hashing.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Convert goto functions to xml structures and back (with irep
4  hashing)
5 
6 Author: CM Wintersteiger
7 
8 Date: July 2006
9 
10 \*******************************************************************/
11 
14 
16 
18 
23  const goto_functionst::goto_functiont &function,
24  xmlt &xml)
25 {
27  if(function.body_available)
28  gpconverter.convert(function.body, xml);
29 }
30 
36  const xmlt &xml,
38 {
40  function.body.clear();
41  gpconverter.convert(xml, function.body);
42  // don't forget to fix the functions type via the symbol table!
43 }
xmlt xml(const source_locationt &location)
Definition: xml_expr.cpp:25
void convert(const goto_programt &, xmlt &)
constructs the xml structure according to the goto program and the namespace into the given xml objec...
void convert(const xmlt &, goto_functionst::goto_functiont &)
constructs the goto_function according to the information in the xml structure.
xml_irep_convertt::ireps_containert & ireps_container
Definition: xml.h:18
goto_function_templatet< goto_programt > goto_functiont
Convert goto functions into xml structures and back (with irep hashing).
Convert goto programs into xml structures and back (with irep hashing)