27 if(
function.body_available)
40 function.body.clear();
xmlt xml(const source_locationt &location)
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
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)